Dynamic Value-Based Diagnosis System for Assembler Program
Leilei Lin, Yong Jiang, Zhongqin Fan, Chengqi Zhang · UTS ePRESS (University of Technology Sydney) · 2004
Program diagnosis is playing an increasingly important role in computer science.The key steps are general models, slice algorithms and techniques of candidate generation.In this paper, we transferred value-based model and trajectory concept in software diagnosis, which is simple, general and accepted technique applicable to Assembler language program diagnosis system.We have also given a diagnosis system (ADS) and rewritten the PUSH and POP instructions slice strategy which is inconsistent with the definition of conflict set.