构件组装实时系统行为相容性测试用例产生

• 作者: 周清雷 席琳 李平
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 构件 实时系统 行为相容性 测试用例产生 时间自动机
• 年，卷（期）: 2012,（9）
• 所属期刊栏目: 软件工程
• 页码范围: 133-137
• 分类号: TP306
• 字数: 5527字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.09.030

摘要

虽然构件技术在软件开发过程中得到了越来越广泛的应用,但是实时系统是一类设计、实现和验证工作都相当复杂的系统,其构件化远比普通软件复杂,组装仍有许多困难.分析了常见的组装相容性错误,提出了一种实时系统的构件组装行为相容性测试用例产生方法.首先对时间自动机进行扩展,给出了描述实时构件的模型；然后定义了相容性覆盖标准,并把构件行为相容性测试用例生成转化为可被模型检验支持的可达性分析,同时给出了算法；最后用一个实例展示了该方法的具体使用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周清雷	郑州大学信息工程学院	109	475	10.0	16.0
2	席琳	郑州大学信息工程学院	4	11	1.0	3.0
3	李平	郑州大学信息工程学院	30	162	8.0	11.0