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.
General
Imprint: |
Lap Lambert Academic Publishing
|
Country of origin: |
Germany |
Release date: |
September 2010 |
First published: |
September 2010 |
Authors: |
Wei Ding
|
Dimensions: |
229 x 152 x 5mm (L x W x T) |
Format: |
Paperback - Trade
|
Pages: |
88 |
ISBN-13: |
978-3-8433-5565-0 |
Categories: |
Books >
Computing & IT >
General theory of computing >
General
|
LSN: |
3-8433-5565-7 |
Barcode: |
9783843355650 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!