Kapak Resmi

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 technolo...

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Yazar: Gladisch, Christoph David (auth)
Materyal Türü: Elektronik Kitap Bölümü
Dil:İngilizce
Baskı/Yayın Bilgisi: KIT Scientific Publishing 2011
Konular:
Fault Detection
Model Generation
Theorem Proving
Test Generation
Dynamic Logic
Online Erişim:DOAB: download the publication
DOAB: description of the publication
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
Diğer Bilgiler
Özet: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.
Fiziksel Özellikler:1 electronic resource (XVII, 264 p. p.)
ISBN:KSP/1000023002
9783866446762
Erişim:Open Access

Benzer Materyaller