DocumentCode
2818893
Title
Model based testing of real-time embedded components
Author
Kone, O.
Author_Institution
Toulouse Univ.
Volume
2
fYear
2006
fDate
25-28 May 2006
Firstpage
42
Lastpage
46
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/AQTR.2006.254597
Filename
4022920
Link To Document