publication . Article . Other literature type . 1995

Software testability: the new verification

Keith W. Miller; Jeffrey Voas;
Open Access
  • Published: 01 May 1995 Journal: IEEE Software, volume 12, pages 17-28 (issn: 0740-7459, Copyright policy)
  • Publisher: Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Most verification is concerned with finding incorrect code. Instead, this view looks at the probability that the code will fail if it is faulty. The authors present the benefits of their approach, describe how to design for it, and show how to measure testability through sensitivity analysis. >
doi: 10.1109/52.382180
Subjects
free text keywords: Software testing, Software engineering, business.industry, business, Program testing, Testability, System testing, Formal verification, Software verification, Software testability, Software quality, Reliability engineering, Computer science
Download fromView all 2 versions
IEEE Software
Article
Provider: UnpayWall
http://dx.doi.org/10.1109/52.3...
Other literature type . 1995
Provider: Datacite
IEEE Software
Article
Provider: Microsoft Academic Graph
IEEE Software
Article . 2002
Provider: Crossref
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue