首页>
外国专利>
Computer program testing using control flow graph techniques with psi term models for instruction modeling so that target instructions can be more easily located
Computer program testing using control flow graph techniques with psi term models for instruction modeling so that target instructions can be more easily located
展开▼
机译:使用控制流图技术和psi术语模型进行指令模型的计算机程序测试,以便可以更轻松地定位目标指令
展开▼
页面导航
摘要
著录项
相似文献
摘要
Method for detecting errors in a computer program in which at least one target instruction in the program is searched for. Accordingly the instruction is represented in control flow graph format with transitions shown between program instructions. Accordingly a target instruction is modeled using at least one psi-term model. A sub-graph of the graph is run-through using a source instruction, while testing for each instruction in the sub-graph if the if instruction run-through conforms to that of the modeled target instruction. The invention also relates to a corresponding code generation system with a compiler adapted to read a computer program and supply a control flow graph comprising transitions between the instructions of the said computer program.
展开▼