一种基于特征迁移系统的软件产品线测试方法

Featured transition system based test method for software product line

为了在软件产品线的应用工程阶段最大程度地复用领域工程的测试用例,领域测试用例需要覆盖领域模型中的变化性。针对此问题,提出了一种以特征模型为出发点的软件产品线测试方法,通过扩展特征迁移系统建立软件产品线的领域行为模型,对模型中的变化性迁移进行抽象,得到精简的测试模型;应用迁移覆盖准则,导出包含变化性的领域测试用例;在应用工程阶段,根据具体应用所包含的特征,绑定领域测试用例中的变化性,复用领域测试用例导出针对具体应用的测试用例。最后通过一个咖啡机产品线验证了该测试方法,导出了可复用的领域测试用例。

To reuse as many domain test assets as possible in application engineering of software product line, domain test ca- ses should cover the variability in domain model. On assumption that this paper had the feature model of a software product line, it extended the featured transition system to create behavioral model. It abstracted the variable transitions in the extended featured transition system to variant points. It applied coverage criterion to the abstracted extended featured transition system to derive reusable domain test cases. In application engineering, it bound variability in domain test cases according to the fea- tures a customized application chosen. It applies the test approach to a family of coffee machines and successfully generates re- usable domain test cases.