期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一种路由器形式化测试模型的研究 被引量：1

Research on Formal Testing Model of Router
下载PDF
导出
摘要 研究了基于进程代数的并行复合测试技术,其能够在合理的时间和空间计算范围内对大型复杂系统进行测试与分析,而避免了状态空间爆炸问题。基于一个具体的多输入队列路由器的例子,介绍了路由器形式化测试模型的建立以及测试和分析。 It is introduced a parallel composition testing technique based on process algebra, which can be used to test and analyze complex systems with reasonable computing time and space. Based on an example of router with multiple input queues, construction of formal testing model of router is introduced and testing and analysis of this model are researched.
作者 张冠华 张连华 陈凯 白英彩
机构地区 上海交通大学计算机科学与工程系
出处 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第1期154-155,177,共3页 Journal of System Simulation
关键词 进程代数 路由器 建模 测试 process algebra router modeling testing
分类号 TP393 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献8

  • 1R. Milner. Communication and Concurrency[M]. Prentice-Hall, 1989.
  • 2C.A.R. Hoare. Communicating Sequential Process[M]. Prentice-Hall,1985.
  • 3R. Cleaveland and M. Hennessy. Priorities in Process Algebra[J].Information and Computation, 1990, 87:58-77.
  • 4I. Lee, P. Bremond-Gregoire and R. Gerber. A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems [A]. Proceedings of the IEEE[C]. Special Issue on Real-Time Systems, 1994.
  • 5Insup Lee, Jin-Young Choi, Hee-Hwan Kwak. Anna Philippou, and Oleg Sokolsky, A Family of Resource-Bound Real-time Process Algebras[A]. Proceedings of 21 st International Conference on Formal Techniques for Networked and Distributed Systems[C]. 2001.
  • 6Zhang Guanhua, Zhang Lianhua, Bai Yingcai. The specification and analysis of network embedded system [J]. Journal of Harbin Institute of Technology. 2004, 4.
  • 7D. Clarke and I. Lee. A hybrid approach to formal verification applied to an atm switching system [R]. Technical report. Dept. of CIS, Univ. of Pennsylvania., 1995.
  • 8Zhang Guanhua, Sun Zhiren, Liugang and Bai Yingcai. A Formal Specification Language for Complex embedded System [J]. Journal of Donghua University. 2004, 4.

同被引文献4

  • 1D.Lee,K.Sabnani,D.Kristol,S.Paul.Conformance testing of protocols specified as finite state machines[J] IEEE Transactions on Communications,1996,44.
  • 2ITU -T Recommendation Z.100,Specification and Description Language(SDL),1999.11.
  • 3ISO/IEC 9646-1.Information technology-open systems interconnection conformance testing methodology and framework Part1[Z].General concepts,1994.
  • 4T.Bates,Y.Rekhter.IETF RFC 2858.Multiprotocol Extensions for BGP -4.2000.6.

引证文献1

系统仿真学报
2005年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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