Coverage and adequacy in software product line testing
Coverage and adequacy in software product line testing
复制标题
DOI：
10.1145/1147249.1147257
复制
发表时间：
2006-07
期刊：
影响因子：
--
通讯作者：
Myra B. Cohen;Matthew B. Dwyer;Jiangfan Shi
中科院分区：
文献类型：
--
作者：
Myra B. Cohen;Matthew B. Dwyer;Jiangfan Shi
软件产品线建模因其在促进跨开发阶段的软件构件重用方面的潜力而受到极大关注。对测试阶段的研究，侧重于确定跨产品线实例重用测试用例的潜力。虽然这可能会减少给定产品线实例的测试开发工作量，但它并没有关注和利用软件产品线固有的基本抽象-可变性。在本文中，我们说明了如何将丰富的软件产品线建模符号映射到底层关系模型上，以捕获可行产品线实例中的可变性。此关系模型用作定义产品线测试的一系列覆盖标准的语义基础。这些标准使得在多个产品线实例开发过程中积累产品线本身的测试覆盖率信息成为可能。累计覆盖范围反过来又支持对新产品线实例进行有针对性的测试工作。我们描述了如何应用组合交互测试方法来定义测试配置，以达到所需的覆盖率级别，并确定将这些方法扩展到大型、复杂的软件产品线所面临的挑战。
Software product line modeling has received a great deal of attention for its potential in fostering reuse of software artifacts across development phases. Research on the testing phase, has focused on identifying the potential for reuse of test cases across product line instances. While this offers potential reductions in test development effort for a given product line instance, it does not focus on and leverage the fundamental abstraction that is inherent in software product lines - variability.In this paper, we illustrate how rich software product line modeling notations can be mapped onto an underlying relational model that captures variability in the feasible product line instances. This relational model serves as the semantic basis for defining a family of coverage criteria for testing of a product line. These criteria make it possible to accumulate test coverage information for the product line itself over the course of multiple product line instance development efforts. Cumulative coverage, in turn, enables targeted testing efforts for new product line instances. We describe how combinatorial interaction testing methods can be applied to define test configurations that achieve a desired level of coverage and identify challenges to scaling such methods to large, complex software product lines.