可组合嵌入式软件建模与验证技术研究综述

• 作者: Xiaoyu SONG 王博 白晓颖 贺飞
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 可组合嵌入式软件 可组合性 相容性 组合模型 组合机制 组合验证
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 嵌入式系统软件设计方法与技术专刊
• 页码范围: 234-253
• 页数: 20页
• 分类号: TP311
• 字数: 22487字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004533

摘要

可组合嵌入式软件以构件开发技术为基础,研究嵌入式构件的建模、组合性质、构件间组合机制以及组合验证等理论、方法和技术.从组合理论、建模与验证技术这3个方面对可组合嵌入式软件的研究现状进行调研分析.组合理论研究给出构件可组合性的乐观定义和悲观定义,从组合操作、组合规则两个方面定义构件间的组合机制.针对嵌入式构件的特点,着重调研了非功能特性和异构构件的建模与组合技术,分析了非功能特性约束、面向多特性的模型等方法.分析了基于契约的验证、基于不变量的验证、基于模型检查的验证等多种嵌入式软件组合验证技术.最后,探讨了需要进一步研究的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	白晓颖	清华大学计算机科学与技术系	46	752	14.0	26.0
2	贺飞	清华大学软件学院	15	235	8.0	15.0
3	王博	清华大学计算机科学与技术系	21	249	9.0	15.0