基于TCSP的实时并发系统测试方法

• 作者: 徐中伟 李丽梅 郭婧
• 来源期刊: 高技术通讯
• 关键词: 一致性测试 实时性 并发性 形式化方法 精化关系
• 年，卷（期）: 2015,（4）
• 所属期刊栏目: 计算机与通信技术
• 页码范围: 350-356
• 页数: 7页
• 字数: 6144字
• 语种: 中文
• DOI: 10.3772/j.issn.1002-0470.2015.04.004

摘要

基于时间通信顺序进程(TCSP)语言——一种用于建模、验证实时并发系统的形式化语言,进行了一种新型实时并发系统测试方法的研究,以提高测试的覆盖率和完整度.首先研究了实时并发系统的输入、输出一致性关系,然后在时间迹、时间拒绝两种框架下,分别定义了最小不满足时间迹、最小拒绝集合,分情况研究了其测试过程.在TCSP的稳定失效模型下,将输出事件加入拒绝事件集合,最后提出了基于通信顺序进程(CSP)精化关系,且辨别输入、输出事件的实时测试模型,因此测试时不仅能精确地表示系统属性及行为,而且能利用该语言的精化关系定义测试的一致性测试关系.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学电子与信息工程学院	95	644	13.0	20.0
2	郭婧	同济大学电子与信息工程学院	7	2	1.0	1.0