基于形式化描述测试用例生成的研究与实现  

Testing case generator based on formal specifications

作　　者：王伟光[1] 丁洪达[1] 曾庆凯[1] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室

出　　处：《计算机应用》2008年第4期1018-1022,共5页journal of Computer Applications

基　　金：国家自然科学基金资助项目(60773170;60721002;60473053);国家863计划项目(2006AA01Z432);江苏省自然科学基金资助项目(BK2005074)

摘　　要：根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形式化描述的要求,减少人工参与的成分,提高测试用例生成的有效性和效率。According to the requirements of validating higher secure systems, an approach to generate testing cases based on Z formal descriptions was proposed. With this approach, a testing case generator was implemented, which could produce testing cases with MC/DC （ modified condition/decision coverage） criterion to balance the quantity and quality of the produced testing cases. Compared with related work, this approach can reduce the manual interferences and the requirements in designing the formal specification, and improve the accuracy and efficiency of testing-case generation.

关 键 词：安全评估 测试用例生成 形式化描述 更改条件判定覆盖 

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