The use of mathematics for documenting, in- specting, and testing software is explained and illus- trated. Three measures of software quality are described and discussed. Then three distinct complementary approaches t...The use of mathematics for documenting, in- specting, and testing software is explained and illus- trated. 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.展开更多
文摘The use of mathematics for documenting, in- specting, and testing software is explained and illus- trated. 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.