基于布尔表达式约束的测试用例生成技术

布尔表达式约束在软件规格说明和程序中广泛存在,这些约束可作为软件系统的模型,成为测试用例生成依据。本文调研分析基于布尔表达式约束的测试用例生成方法,主要分为基于约束语法的测试和基于约束语义的测试。归纳总结基于约束语法测试的各种故障类型和测试策略,并比较各种测试策略的适用情形和故障检测能力,也对基于约束语义测试的各种约束获取和求解方法进行性能分析,并介绍了典型工具。最后对未来的研究发展进行展望。

Test Case Generation Techniques Based on Constraints Presented as Boolean Expressions

Constraints presented as Boolean expression exist widely in software specifications and programs, these constraints can be used as models of software systems and become the basis for test case generation. This paper investigates and analyzes test case generation methods based on constraints presented as Boolean expression, which are mainly divided into constraint syntax-based testing and constraint semantics-based testing. This paper summarizes various fault classes and test strategies in constraint syntax-based testing, and compares their applicability and fault detection capability. The paper also analyzes the performance of miscellaneous methods of getting and solving constraints in constraint semantics-based testing, and introduces typical tools. Finally, the future research and development are prospected.