基于GCL语言的测试用例生成方法  

The Method of Test Case Generation Based on GCL Language

作　　者：丁佐华[1] JeffSanders 江明月[1] 张娜[1] 蒲戈光[3] 

机构地区：[1]浙江理工大学智能计算与软件工程实验室,杭州310018 [2]联合国大学国际软件技术研究所P.O.Box3058澳门 [3]华东师范大学软件学院,上海200062

出　　处：《计算机学报》2014年第12期2492-2504,共13页Chinese Journal of Computers

基　　金：国家自然科学基金(61170015,61210004)资助

摘　　要：提出一种基于GCL语言生成程序测试用例的形式化方法.程序的语义为测试用例的生成提供了基本框架,而由Hoare等人提供的规则保证了用例的正确性.作者的这种方法可被认为是一种严格的,自动生成测试用例的方法.这种方法的优点在于:所获得的测试用例都是可行的,在测试用例生成过程中可以避免状态爆炸问题,而且该方法可以延拓到任何目标语言.据此开发了一个基于Haskell语言的原型工具来支持作者的方法.A formal method is presented to generate test cases for programs written in Guarded- Command-Language （GCL）. The laws provided by Hoare et al. guarantee the correctness of the test cases. Semantics of the language provides the framework for the test case generation. Our method may be considered as a rigorous and automatic approach to the test case generation. From this method, we can get at least the following benefits： all the test cases are feasible, the state explosion problem can be avoided in the test case generation process, and this method can be extended to any target languages. A prototype tool written in Haskell has been built to support our method.

关 键 词：测试用例 Guarded—Command—Language 执行树 条件计算 软件测试 

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