基于χChek 的软件产品线多值模型检测方法

摘要：

软件产品线保持产品个性化的同时提高了公共部分的复用。但软件产品线中包含的不确定信息，给产品带来了潜在风险。形式化验证技术逐步应用于软件产品线验证。但是传统的布尔逻辑模型不能很好地描述软件产品线的不确定性和不一致性。本文结合多值模型检测器χChek，通过基于动作的模型描述方法，对软件产品线进行描述，然后转换成为χChek规定的模型格式，同时提供多值逻辑描述。最后采用计算树逻辑描述产品线属性，使用χChek进行验证。

关键词：软件产品线、模型检测、χChek、多值逻辑

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61170043

在线出版日期：2014-08-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：87-90