摘要
介绍了数据流测试的几个相关概念,分析了汇编语言和高级语言C中哪些定值-引用关系可以静态确定,哪些必须动态确定,并提出了实现数据流分析的方法.
In this paper introduces some relevant definitions in data-flow testing, analyzes which definition-use relations can be determined statistically and which must be determined dynamically, and also gives the method to realize data-flow analyzing.
出处
《装甲兵工程学院学报》
2000年第3期5-9,共5页
Journal of Academy of Armored Force Engineering
关键词
软件测试
数据流
测试充分性
software testing
data-now
sufficiency of test
