Ch3-4-specLogic

Ch3-4-specLogic - Introduction to Software Testing Chapter...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
Introduction to Software Testing Chapter 3.4 Logic Coverage for Specifications www.introsoftwaretesting.com Introduction to Software Testing (Ch 3), www.introsoftwaretesting.com 2 Specifications in Software Specifications can be formal or informal Formal specs are usually expressed mathematically Informal specs are usually expressed in natural language Lots of formal languages and informal styles are available Most specification languages include explicit logical expressions , so it is very easy to apply logic coverage criteria Implicit logical expressions in natural-language specifications should be re-written as explicit logical expressions as part of test design You will often find mistakes One of the most common is preconditions …
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Introduction to Software Testing (Ch 3), www.introsoftwaretesting.com 3 Preconditions Programmers often include preconditions for their methods The preconditions are often expressed in comments in method
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 3

Ch3-4-specLogic - Introduction to Software Testing Chapter...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online