基于双格的软件产品线模型检测

• 作者: 周宇 石玉峰 魏欧
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 模型检测 软件产品线 多值逻辑
• 年，卷（期）: 2015,（2）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 167-172
• 页数: 6页
• 分类号: TP311
• 字数: 7596字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2015.2.036

摘要

软件产品线在保留每个产品的可变性前提下通过最大化产品间的共性实现资源的再利用,从而提高生产效率和节约生产成本.近年来,基于特征的状态迁移系统应用于软件产品线的建模和验证中.然而现有的方法不能很好地支持软件产品线中存在的信息不确定和不一致的情况.为此,首先提出一种基于双格的特征迁移系统,用于软件产品线的行为建模,采用投影的方法定义产品的行为模型;然后采用动作计算树逻辑描述系统的时序属性,并且给出它在新系统上的语义,用于支持基于双格的模型检测;最后,采用多值模型检测工具xchek对方法的有效性进行实验分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周宇	南京航空航天大学计算机科学与技术学院	18	70	4.0	8.0
2	魏欧	南京航空航天大学计算机科学与技术学院	31	153	7.0	11.0
3	石玉峰	南京航空航天大学计算机科学与技术学院	3	17	2.0	3.0