Title :
Model based testing of real-time embedded components
Author_Institution :
Toulouse Univ.
Abstract :
We study automatic test generation for analyzing functional and extra-functional quality of embedded components. The main inputs of the method are the descriptive model of the analyzed component and a time-dependent model of the quality requirements. The model-based approach enables automation of the quality testing process, and therefore contributes to reducing the development time while avoiding errors
Keywords :
automatic testing; embedded systems; formal verification; quality assurance; systems analysis; automatic test generation; embedded component extra-functional quality analysis; model-based testing; quality requirements; quality testing automation; real-time embedded components; time-dependent model; Aerospace electronics; Automatic testing; Clocks; Concurrent computing; Cost accounting; Process control; Real time systems; Samarium; Synchronization; System testing;
Conference_Titel :
Automation, Quality and Testing, Robotics, 2006 IEEE International Conference on
Conference_Location :
Cluj-Napoca
Print_ISBN :
1-4244-0360-X
Electronic_ISBN :
1-4244-0361-8
DOI :
10.1109/AQTR.2006.254597
