Call Us 080-41656200 (Mon-Sat: 10AM-8PM)
Free Shipping above Rs. 1499
Cash On Delivery*

Using Model Checking to Generate Test Cases for Critical Systems


Marketed By :  LAP LAMBERT Academic Publishing   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days


Check Your Delivery Options

Rs. 3,651

Availability: In stock

  • Product Description

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.

Product Specifications
SKU :COC29249
AuthorWei Ding
Number of Pages88
Publishing Year9/24/2010
Edition1 st
Book TypeComputing & information technology
Country of ManufactureIndia
Product BrandLAP LAMBERT Academic Publishing
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-07-29 00:00:00