A Timed Automata Testing Model for Component-based Embedded Real-time Software

摘要：

Testing methods for component-based embedded realtime software have been a relatively new research field. Its main problem is the nonstandard port description and high real-time requirement. A timed automata model-CBERSTA for component-based embedded real-time software is proposed to deal with this problem. It is applied to test the time constraints of component-based embedded software. Experiment results show that the qualify of embedded software is improved effectively.

关键词： embedded software component CBERSTA time constraint

作者: Xiaoming Ding Xiaohan Zhou Xiaomei Zhang

作者单位: College of Computer and Information Science Southwest University Chongqing, 400715, China College of Computer and Information Science Southwest University Chongqing,400715, China

会议类型: 国际会议

会议名称: 2011 IEEE International Conference on Information and Education Technology(ICIET 2011)(2011年信息和教育技术国际会议)

会议地点: 贵阳

会议语种:英文

页码: 74-77

在线出版日期: 2011-01-26（万方平台首次上网日期，不代表论文的发表时间）