Formalization of software testing criteria using the Z notation

Author

Vilkomir, Sergiy A. ; Bowen, Jonathan P.

Author_Institution

Sch. of Comput., Inf. Syst. & Math., South Bank Univ., London, UK

fYear

2001

fDate

6/23/1905 12:00:00 AM

Firstpage

351

Lastpage

356

Abstract

Describes an approach to formalization of criteria of computer systems software testing. A brief review of control-flow criteria is introduced. As a formal language for describing the criteria, the Z notation is selected. Z schemas are presented for definitions of the following criteria: statement coverage, decision coverage, condition coverage, decision/condition coverage, full predicate coverage, modified condition/decision coverage, and multiple condition coverage. This characterization could help in the correct understanding of different types of testing and also the correct application of a desired testing regime

Keywords

formal languages; program testing; Z notation; condition coverage; control-flow criteria; decision coverage; decision/condition coverage; formal language; full predicate coverage; software testing criteria; statement coverage; testing regime; Application software; Certification; Control systems; Formal languages; Information systems; Licenses; Mathematics; Software testing; System software; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 2001. COMPSAC 2001. 25th Annual International

Conference_Location

Chicago, IL

ISSN

0730-3157

Print_ISBN

0-7695-1372-7

Type

conf

DOI

10.1109/CMPSAC.2001.960638

Filename

960638