Journal article
The use of mathematics in software quality assurance
Abstract
The use of mathematics for documenting, inspecting, and testing software is explained and illustrated. Three measures of software quality are described and discussed. Then three distinct complementary approaches to software quality assurance are presented. A case study, the testing and inspection of a safety-critical system, is discussed in detail.
Authors
Parnas DL
Journal
Frontiers of Computer Science, Vol. 6, No. 1, pp. 3–16
Publisher
Springer Nature
Publication Date
February 2012
DOI
10.1007/s11704-012-2904-2
ISSN
2095-2228