• Sie verwenden einen veralteten Webbrowser, weshalb es zu Problemen mit der Darstellung kommen kann. Bei Problemen mit der Bestellabgabe können Sie gerne auch telefonisch bestellen unter: 01805 917 917 (0,14€/min, mobil max.0,42€/min)

Using Model Checking to Generate Test Cases for Critical Systems

Ding:Using Model Checking to Generate T
Autor: Wei Ding
Verfügbarkeit: nur noch 3 lieferbar
Artikelnummer: 730897
ISBN / EAN: 9783843355650

Verfügbarkeit: sofort lieferbar

49,00 €
Inkl. MwSt. , zzgl. Versandkosten

Produktbeschreibung

This thesis presents specification-based test case generation and evaluation techniques. The methods combine mutation analysis with model checking techniques to generate tests to systematically check for safety properties. We generated two categories of tests to check system safety properties from complementary perspective, which are safety passing and failing tests. A set of safety coverage criteria are defined to evaluate the tests. To show the feasibility of our method, we developed a tool kit and applied our method to a sample specification. We automatically generated tests and evaluated the tests with our safety coverage criteria and also on a Java implementation.

Zusatzinformation

Autor Verlag LAP Lambert Academic Publishing
ISBN / EAN 9783843355650 Bindung Taschenbuch

Sie könnten auch an folgenden Produkten interessiert sein

0 Kundenmeinungen

Bitte schreiben Sie uns Ihre Meinung zu: Using Model Checking to Generate Test Cases for Critical Systems

  • Wenn Sie dieses Eingabefeld sehen sollten, lassen Sie es leer!