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

A Program Structure Partition Method Used for Software Testing

作　　者：曹化工[1] 刘澎[1] 秦友淑[1] 

机构地区：[1]华中科技大学计算机科学与技术学院,武汉430074

出　　处：《小型微型计算机系统》2002年第4期492-495,共4页Journal of Chinese Computer Systems

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

关 键 词：软件测试 结构性测试 程序依赖图 程序块划分 程序结构划分方法 软件开发 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]