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 |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
| 要約: | 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. |
|---|