Title :
A timed automata testing model for component-based embedded real-time software
Author :
Ding, Xiaoming ; Zhou, Xiaohan ; Zhang, Xiaomei
Author_Institution :
Coll. of Comput. & Inf. Sci., Southwest Univ., Chongqing, China
Abstract :
Testing methods for component-based embedded real-time 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 quality of embedded software is improved effectively.
Keywords :
automata theory; embedded systems; object-oriented programming; program testing; software quality; CBERSTA; component-based embedded real-time software; high real-time requirement; nonstandard port description; software quality; timed automata testing model; Erbium; Silicon; Software; Testing; CBERSTA; component; embedded software; time constraint;
Conference_Titel :
Communication Software and Networks (ICCSN), 2011 IEEE 3rd International Conference on
Conference_Location :
Xi´an
Print_ISBN :
978-1-61284-485-5
DOI :
10.1109/ICCSN.2011.6013779
