摘要
在对汇编语言源程序的测试工作中,由于其非结构化的设计思想以及众多的跳转指令,使得插桩非常困难。该文在汇编嵌入式软件程序流程图自动生成的研究基础上,提出了以PC值为基准条件的断点设置、检测机制以及虚拟插桩机制。并结合特定的测试用例在仿真测试平台上得以实现,最后通过实验检验了其正确性。
It is very difficult to make implementation in the assembly code because of its none structural design idea. Based on the research of embedded assembly program flow chart automatic building, the breakpoint setting and checking mechanism, virtual instrumentation mechanism based on the PC values are proposed. The mechanisms are realized and verified in the emulation testing platform with special test case.
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第7期87-88,98,共3页
Computer Engineering
关键词
汇编程序
LEX
YACC
虚拟插桩
语句覆盖
分支覆盖
Assembly program
Lex
Yacc
Virtual instrumentation
Statement coverage
Branch coverage