Towards a workflow for model-based testing of embedded systems.
Muhammad Nouman ZafarWasif AfzalEduard EnoiuPublished in: A-TEST@ESEC/SIGSOFT FSE (2021)
Keyphrases
- embedded systems
- model based testing
- test cases
- software development
- software design
- software systems
- low cost
- embedded devices
- sequence diagrams
- computing power
- embedded software
- testing process
- hardware software
- security policies
- real time systems
- petri net
- resource limited
- software testing
- field programmable gate array
- embedded real time systems
- hw sw
- consumer electronics
- web services
- real time
- test data
- real world
- software maintenance
- computer networks
- software engineering
- xml documents
- training data
- database systems
- databases