Early Verification of Embedded Systems: Testing Automation for UML Models

It is widely known that errors discovered in advanced stages of a project are expensive to fix. Therefore, it is important to look for errors as soon as possible within the design cycle. This work addresses the early verification of embedded and real-time systems based on testing the behavior specif...

Full description

Saved in:
Bibliographic Details
Main Authors: Wehrmeister, M. A., Ceron, L. M., da Silva, Johnny L.
Format: Conference Proceeding
Language:English
Subjects:
Automation
Load modeling
Real-time systems
Runtime
Testing
Unified modeling language
XML
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:It is widely known that errors discovered in advanced stages of a project are expensive to fix. Therefore, it is important to look for errors as soon as possible within the design cycle. This work addresses the early verification of embedded and real-time systems based on testing the behavior specified in the high-level specifications. A tool to automate the execution of test cases on UML models is presented. Its initial goal is to support the engineers in detecting errors on the system behavior before the implementation phase. The engineers specify a set of test cases, describing: runtime scenarios; behaviors to be tested along with their input; and the expected results. The tool executes automatically each test case, reporting its success/failure as well as the obtained results. The proposed approach has been evaluated by means of a case study representing a real-world embedded system application. The achieved results demonstrate that it is feasible to test the system behavior even though when the implementation is still not available.
ISSN:2324-7886
2324-7894
DOI:10.1109/SBESC.2012.31