期刊文献+

基于TCSP的实时并发系统测试方法 被引量:4

Novel method for test of real-time concurrent systems based on TCSP
下载PDF
导出
摘要 基于时间通信顺序进程(TCSP)语言——一种用于建模、验证实时并发系统的形式化语言,进行了一种新型实时并发系统测试方法的研究,以提高测试的覆盖率和完整度。首先研究了实时并发系统的输入、输出一致性关系,然后在时间迹、时间拒绝两种框架下,分别定义了最小不满足时间迹、最小拒绝集合,分情况研究了其测试过程。在TCSP的稳定失效模型下,将输出事件加入拒绝事件集合,最后提出了基于通信顺序进程(CSP)精化关系,且辨别输入、输出事件的实时测试模型,因此测试时不仅能精确地表示系统属性及行为,而且能利用该语言的精化关系定义测试的一致性测试关系。 Based on the timed communication sequential process (TCSP) language, a formal verification language for modeling and testing of real-time concurrent systems, the study was conducted, and a novel approach to testing re- al-time concurrent systems was proposed to improve the coverage and integrity of the testing. Firstly, the conform- ance relations of real-time systems between input and output were studied, and then the minimum unsatisfied timed trace and the minimum refused set were defined under the framework of timed trace and timed refuse. The next step, was to deal with the testing process in terms of different situations. Finally, under the stable failure model of TCSP, a real-time testing model based on CSP refinement was put forward by combining output events and refused events to identify input and output events. Thus the system properties and behaviors can be accurately presented when testing, and the conformance test relations can be defined by using the language's refinement.
出处 《高技术通讯》 CAS CSCD 北大核心 2015年第4期350-356,共7页 Chinese High Technology Letters
基金 国家自然科学基金(61075002) 国家科技支撑计划重大项目(2011BAG01B03) 863计划(2012AA112801)资助项目
关键词 一致性测试 实时性 并发性 形式化方法 精化关系 conformance test, real-time, concurrency, formal method, refinement
  • 相关文献

参考文献13

  • 1Peleska J, Siegel M. Test Automation of safety-critical re- active systems. South African Computer Journal, 1997, (19) :53-77.
  • 2Schneider S. Concurrent and Real-time Systems: The CSP Approach. USA: Wiley Press, 2000. 334-350.
  • 3Nogueira S. Automatic Test Case Generation from CSP Specifications. Portuguese, 2005. 20-26.
  • 4Sidney N,.Augusto S, Alexandre M. Guided test genera- tion from CSP models. Lecture Notes in Computer Science, 2008, (5160) : 258-273.
  • 5Gustavo C, Augusto S, Alexandre M. A CSP timed input- output relation and a strategy for mechanised conformance verification. Lecture Notes in Computer Science, 2013, (8144) : 148-164.
  • 6Laura B, Ed B. Testing real-time multi input-output sys- tems. In : Proceedings of the 7th International Conference on Formal Engineering Methods, Manchester, UK, 2005. 264-279.
  • 7Tomasz Mazur, Gavin Lowe. Counter abstraction in the CSP/FDR setting. Electronic Notes in Theoretical Comput- er Science. 2009, (250) :171-186.
  • 8Moez K, Stavros T. Conformance testing for real-time sys- tems. Form Methods Syst Des,2009, 34(3) : 238-304.
  • 9Moez K, Stavros T. Black-box conformance testing for re- al-time systems. In: Proceedings of the 1 lth International SPIN Workshop, Barcelona, Spain, 2004. 109-126.
  • 10Ana C, Marie C. Testing for refinement in CSP. In: Pro- ceedings of the 9th International Conference on Formal Engineering Methods, Boca Raton, FL, USA, 2007. 151-170.

同被引文献44

引证文献4

二级引证文献18

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部