Incremental Test Generation for Software Product Lines
Incremental Test Generation for Software Product Lines
复制标题
软件产品线的增量测试生成
DOI：
--
复制
发表时间：
2010
影响因子：
7.4
通讯作者：
D. Batory
中科院分区：
文献类型：
--
作者：
E. Uzuncaova;S. Khurshid;D. Batory
用于系统测试的机械技术的最新进展提高了我们自动发现细微错误的能力，从而部署更可靠的软件。本文建立在一种系统技术（范围限定测试）的基础上，开发一种新颖的基于规范的方法，用于有效地为软件产品线中的产品生成测试。给定 Alloy 中的一阶逻辑公式的特征属性，我们的方法使用基于 SAT 的分析来自动为产品线中的每个产品生成测试输入。为了确保生成的健全性，我们引入了一种自动技术，用于将指定特征的公式映射到定义测试套件的增量细化的转换中。我们使用不同数据结构产品线的实验结果表明，增量方法可以比传统技术提供一个数量级的加速。我们还提出了使用专用整数约束求解器对引入整数约束的特征属性进行进一步优化，并展示了如何串联使用求解器组合来求解合金公式。
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence, to deploy more dependable software. This paper builds on one such systematic technique, scope-bounded testing, to develop a novel specification-based approach for efficiently generating tests for products in a software product line. Given properties of features as first-order logic formulas in Alloy, our approach uses SAT-based analysis to automatically generate test inputs for each product in a product line. To ensure soundness of generation, we introduce an automatic technique for mapping a formula that specifies a feature into a transformation that defines incremental refinement of test suites. Our experimental results using different data structure product lines show that an incremental approach can provide an order of magnitude speedup over conventional techniques. We also present a further optimization using dedicated integer constraint solvers for feature properties that introduce integer constraints, and show how to use a combination of solvers in tandem for solving Alloy formulas.
DOI：
10.1109/sefm.2008.38
发表时间：
2008
期刊：
--
影响因子：
--
作者：
Kahsai T
通讯作者：
Kahsai T