| 基于双格的软件产品线模型检测 |
| |
| 引用本文： | 石玉峰,魏欧,周宇. 基于双格的软件产品线模型检测[J]. 计算机科学, 2015, 42(2): 167-172 |
| |
| 作者姓名： | 石玉峰 魏欧 周宇 |
| |
| 作者单位： | 南京航空航天大学计算机科学与技术学院 南京210016 |
| |
| 基金项目： | 本文受国家自然科学基金项目(61170043,2),国家重点基础研究发展计划(973)项目(2014CB744904)资助 |
| |
| 摘 要： | 软件产品线在保留每个产品的可变性前提下通过最大化产品间的共性实现资源的再利用,从而提高生产效率和节约生产成本。近年来,基于特征的状态迁移系统应用于软件产品线的建模和验证中。然而现有的方法不能很好地支持软件产品线中存在的信息不确定和不一致的情况。为此,首先提出一种基于双格的特征迁移系统,用于软件产品线的行为建模,采用投影的方法定义产品的行为模型;然后采用动作计算树逻辑描述系统的时序属性,并且给出它在新系统上的语义,用于支持基于双格的模型检测;最后,采用多值模型检测工具χchek对方法的有效性进行实验分析。
|
| 关 键 词： | 模型检测 软件产品线 多值逻辑 |
| 收稿时间： | 2014-04-07 |
| 修稿时间： | 2014-06-12 |
Model Checking of Software Product Line Based on Bilattices |
| |
| SHI Yu-feng,WEI Ou and ZHOU Yu. Model Checking of Software Product Line Based on Bilattices[J]. Computer Science, 2015, 42(2): 167-172 |
| |
| Authors: | SHI Yu-feng WEI Ou ZHOU Yu |
| |
| Affiliation: | College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China,College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China and College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China |
| |
| Abstract: | |
| |
| Keywords: | Model checking Software product line Multi-valued logic |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
