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

• 作者: 石玉峰 黄鸣宇
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 软件产品线 模型检测 χChek 多值逻辑
• 年，卷（期）: 2014,（8）
• 所属期刊栏目: 算法设计与分析
• 页码范围: 87-90
• 页数: 4页
• 分类号: TP311
• 字数: 2693字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2014.08.019

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄鸣宇	南京航空航天大学计算机科学与技术学院	9	37	4.0	5.0
2	石玉峰	南京航空航天大学计算机科学与技术学院	3	17	2.0	3.0