基于χChek的软件产品线多值模型检测方法 |
| |
引用本文: | 黄鸣宇,石玉峰.基于χChek的软件产品线多值模型检测方法[J].计算机与现代化,2014,0(8):87-90. |
| |
作者姓名: | 黄鸣宇 石玉峰 |
| |
作者单位: | 南京航空航天大学计算机科学与技术学院,江苏南京210016 |
| |
基金项目: | 国家自然科学基金资助项目(61170043) |
| |
摘 要: | 软件产品线保持产品个性化的同时提高了公共部分的复用。但软件产品线中包含的不确定信息,给产品带来了潜在风险。形式化验证技术逐步应用于软件产品线验证。但是传统的布尔逻辑模型不能很好地描述软件产品线的不确定性和不一致性。本文结合多值模型检测器χChek,通过基于动作的模型描述方法,对软件产品线进行描述,然后转换成为χChek规定的模型格式,同时提供多值逻辑描述。最后采用计算树逻辑描述产品线属性,使用χChek进行验证。
|
关 键 词: | 软件产品线 模型检测 χChek 多值逻辑 |
本文献已被 CNKI 维普 等数据库收录! |
| 点击此处可从《计算机与现代化》浏览原始摘要信息 |
|
点击此处可从《计算机与现代化》下载全文 |
|