一种用于软件测试的程序结构划分方法

A Program Structure Partition Method Used for Software Testing

软件测试中的结构性测试是以程序的结构为基础生成测试用例 ,以测试准则来判定测试的充分性 .由于程序结构的复杂性 ,难于保证对程序进行充分而高效的测试 .本文提出了一种基于程序依赖图的程序结构划分的测试方法 ,即程序块划分法 .该方法通过对程序进行结构划分 ,将复杂的程序分解为若干程序块 ,并通过程序块间的数据依赖关系导出各程序块的语义 。

Structural testing, a kind of software testing, generates test cases based on program code, and then judges the completeness of the testing based on the testing criterion. Because of the complexity of programs, it's hard to make a complete and efficient testing on programs. The paper presents a program structure partition method based on the program dependence graph, i.e. Program Block Partition Method, which eases the testing process. With this method, a complex program is divided into several program block, for which the semantic is deduced by the data-dependence relations. So the testing can be done independently on the program block level.