Significant acceleration of development by automating quality assurance of a medical particle accelerator safety system using a formal language driven test stand.
Pablo Fernandez CarmonaMichael EichinAlexandre MayorHarald RegeleMartin GrossmannDamien Charles WeberPublished in: CoRR (2018)
Keyphrases
- quality assurance
- software testing
- formal language
- white box testing
- quality control
- monitoring system
- quality assessment
- software engineering
- software development
- test cases
- black box
- machine vision
- formal semantics
- test data
- machine learning
- development process
- software quality
- object oriented
- image processing
- information systems