Early Verification of Embedded Systems: Testing Automation for UML Models.
Marco A. WehrmeisterLuis M. CeronJohnny L. da SilvaPublished in: SBESC (2012)
Keyphrases
- embedded systems
- uml models
- embedded software
- sequence diagrams
- test cases
- embedded devices
- test generation
- low cost
- computing power
- resource limited
- object oriented
- real time systems
- processing power
- software systems
- real time image processing
- petri net
- regression testing
- field programmable gate array
- model checking
- safety critical
- hardware software
- software testing
- formal methods
- protocol stack
- flash memory
- embedded real time systems
- hardware and software
- test suite
- cyber physical systems
- test set