Model Checking-Based Software Testing for Function-Block Diagrams
Software testing becomes more complex, more time-consuming, and more expensive. The risk that software errors remain undetected and cause critical failures increases. Consequently, in safety-critical development, testing software is standardized and it requires an engineer to show that tests fully e...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Mälardalens högskola, Inbyggda system
2014
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-26003 http://nbn-resolving.de/urn:isbn:978-91-7485-166-3 |