Verification-based software-fault detection
Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software ""bugs"") are described which are based on a formal deductive verification technology. The described te...
Збережено в:
| Автор: | |
|---|---|
| Формат: | Online |
| Мова: | Англійська |
| Опубліковано: |
KIT Scientific Publishing
2021
|
| Предмети: | |
| Онлайн доступ: | 35655 |
| Теги: |
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| _version_ | 1869527763471302656 |
|---|---|
| author | Gladisch, Christoph David |
| author_browse | Gladisch, Christoph David |
| author_facet | Gladisch, Christoph David |
| author_sort | Gladisch, Christoph David |
| collection | Directory of Open Access Books |
| description | Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software ""bugs"") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way. |
| format | Online |
| id | doab-20.500.12854ir-61958 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | KIT Scientific Publishing |
| publisherStr | KIT Scientific Publishing |
| record_format | ojs |
| spelling | doab-20.500.12854ir-619582023-12-20T18:40:50Z Verification-based software-fault detection Gladisch, Christoph David QA75.5-76.95 Fault Detection Model Generation Theorem Proving Test Generation Dynamic Logic bic Book Industry Communication::U Computing & information technology::UY Computer science Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software ""bugs"") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way. 2021-02-12T07:32:20Z 2021-02-12T07:32:20Z 2019-07-30 20:02:02 2011 book 35655 9783866446762 https://directory.doabooks.org/handle/20.500.12854/61958 eng image/jpeg Attribution-NonCommercial-NoDerivatives 4.0 International https://www.ksp.kit.edu/9783866446762 KIT Scientific Publishing 10.5445/KSP/1000023002 10.5445/KSP/1000023002 68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2 9783866446762 XVII, 264 p. open access |
| spellingShingle | QA75.5-76.95 Fault Detection Model Generation Theorem Proving Test Generation Dynamic Logic bic Book Industry Communication::U Computing & information technology::UY Computer science Gladisch, Christoph David Verification-based software-fault detection |
| title | Verification-based software-fault detection |
| title_full | Verification-based software-fault detection |
| title_fullStr | Verification-based software-fault detection |
| title_full_unstemmed | Verification-based software-fault detection |
| title_short | Verification-based software-fault detection |
| title_sort | verification based software fault detection |
| topic | QA75.5-76.95 Fault Detection Model Generation Theorem Proving Test Generation Dynamic Logic bic Book Industry Communication::U Computing & information technology::UY Computer science |
| topic_facet | QA75.5-76.95 Fault Detection Model Generation Theorem Proving Test Generation Dynamic Logic bic Book Industry Communication::U Computing & information technology::UY Computer science |
| url | 35655 |
| work_keys_str_mv | AT gladischchristophdavid verificationbasedsoftwarefaultdetection |