Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems.
Toshiaki AokiAritoshi HataKazusato KanamoriSatoshi TanakaYuta KawamotoYasuhiro TanaseMasumi ImaiFumiya ShigemitsuMasaki GondoTomoji KishiPublished in: CoRR (2023)
Keyphrases
- operating system
- model checking
- model based testing
- test cases
- temporal logic
- software development
- software design
- computer systems
- model checker
- formal verification
- testing process
- sequence diagrams
- software testing
- security policies
- automated verification
- virtual machine
- symbolic model checking
- formal specification
- temporal properties
- verification method
- distributed systems
- epistemic logic
- windows xp
- computation tree logic
- test data
- bounded model checking
- data mining
- dynamic analysis
- test set
- object oriented
- case study