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

摘要：

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

关键词：一致性测试、实时性、并发性、形式化方法、精化关系

所属期刊栏目：25

分类号：TP3;TN9

资助基金：国家自然科学基金61075002;国家科技支撑计划重大项目2011BAG01B03;863计划2012AA112801

在线出版日期：2015-12-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：350-356