Title

Measuring Complexity And Coverage Of Software Specifications

Abstract

Coverage testing in the context of Markov chain usage models refers to coverage of a model of the specification and profile of intended use, rather than coverage of the code that implements the specification. A new measure of specification complexity based on the number of statistically typical paths through the model of the specification is derived. Formulae are presented to compute bounds on the expected number of test cases required to achieve state and arc coverage. Formulae are presented to compare different usage models with respect to the amount of testing required to achieve coverage of typical paths. Convexity properties are established for these formulae to facilitate their use in optimization calculations that are used to generate transition probabilities for the usage models.

Publication Date

9-1-2000

Publication Title

Information and Software Technology

Volume

42

Issue

12

Number of Pages

859-872

Document Type

Article

Personal Identifier

scopus

DOI Link

https://doi.org/10.1016/S0950-5849(00)00102-6

Socpus ID

0034269563 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/0034269563

This document is currently not available here.

Share

COinS