作者：孙溢; 阳小华; 刘杰; 余童兰; 吴志强; 陈...软件测试测试用例生成约束布尔表达式
摘要：布尔表达式约束在软件规格说明和程序中广泛存在,这些约束可作为软件系统的模型,成为测试用例生成依据。本文调研分析基于布尔表达式约束的测试用例生成方法,主要分为基于约束语法的测试和基于约束语义的测试。归纳总结基于约束语法测试的各种故障类型和测试策略,并比较各种测试策略的适用情形和故障检测能力,也对基于约束语义测试的各种约束获取和求解方法进行性能分析,并介绍了典型工具。最后对未来的研究发展进行展望。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
