| 郭婧,徐中伟,李丽梅.基于TCSP的实时并发系统测试方法[J].高技术通讯(中文),2015,25(4):350~356 |
| 基于TCSP的实时并发系统测试方法 |
|
| |
| DOI： |
| 中文关键词: 一致性测试， 实时性， 并发性， 形式化方法， 精化关系 |
| 英文关键词: |
| 基金项目: |
|
| 摘要点击次数: 3255 |
| 全文下载次数: 2356 |
| 中文摘要: |
| 基于时间通信顺序进程（TCSP）语言——一种用于建模、验证实时并发系统的形式化语言，进行了一种新型实时并发系统测试方法的研究，以提高测试的覆盖率和完整度。首先研究了实时并发系统的输入、输出一致性关系，然后在时间迹、时间拒绝两种框架下，分别定义了最小不满足时间迹、最小拒绝集合，分情况研究了其测试过程。在TCSP的稳定失效模型下，将输出事件加入拒绝事件集合，最后提出了基于通信顺序进程（CSP）精化关系，且辨别输入、输出事件的实时测试模型，因此测试时不仅能精确地表示系统属性及行为，而且能利用该语言的精化关系定义测试的一致性测试关系。 |
| 英文摘要: |
| |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |
|
|
|
