摘要
基于构件的嵌入式实时软件测试方法是比较新的研究热点,它面临着接口描述未标准化、实时性要求高等问题。通过提出一种基于构件的嵌入式实时软件时间自动机模型——CBESTA,能够有效地测试基于构件的嵌入式软件的实时性,提高嵌入式软件的质量。
Component-based embedded real-time software testing method is a relatively new research field,which is facing problems of port description is not standardized,real-time requirement is high and so on.A timed automata model-CBESTA for component-based embedded real-time software is present,which can effectively test real-time character of component-based embedded software to improve that the quality of embedded software.
出处
《科学技术与工程》
2010年第13期3116-3120,共5页
Science Technology and Engineering
基金
重庆市自然科学基金项目(CSTC
2006BA2003)资助
