【作者】 王磊； 马建红； 樊世燕； 周华； 辛政华；

【Author】 Wang Lei Ma Jianhong Fan Shiyan Zhou Hua Xin Zhenghua (School of Computer Science and Engineering,Hebei University of Technology,Tianjin 300401,China)

【机构】 河北工业大学计算机科学与软件学院；

【摘要】 测试作为软件开发过程中的一个重要环节,是保证软件质量的重要保证。对白盒测试(结构测试) 和测试用例的生成来说,如何选择测试路径直接影响着测试的充分性和有效性,以及测试用例的质量,单纯地测试程序难以达到良好的效果,不能保证软件的质量。本文的主要是采用程序切片中静态切片技术并结合最小谓词策略对程序进行可达路径的选择,并以一个实例进行了说明。更多还原

【Abstract】 Effective testing is important to develop high quality software.How to select feasible paths plays a great effect on the adequacy and availability of test case.If testing the software with simply method,the result could not satisfy our goal and guarantee the quality of software.In this paper,the technology of static program slicing and the tactic of fewer predicates are used to selecting feasible paths.There is an instance to show the method.更多还原