DocumentCode
3221791
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
fYear
2011
fDate
27-29 May 2011
Firstpage
74
Lastpage
77
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Communication Software and Networks (ICCSN), 2011 IEEE 3rd International Conference on
Conference_Location
Xi´an
Print_ISBN
978-1-61284-485-5
Type
conf
DOI
10.1109/ICCSN.2011.6013779
Filename
6013779
Link To Document