A timed automata testing model for component-based embedded real-time software
Xiaoming Ding, Xiaohan Zhou, Xiaomei Zhang · 2011
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.