By Topic

Model based testing of real-time embedded components

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
1 Author(s)
Kone, O. ; Toulouse Univ.

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

Published in:

Automation, Quality and Testing, Robotics, 2006 IEEE International Conference on  (Volume:2 )

Date of Conference:

25-28 May 2006