[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
p99:SQA and metrics people are surviving while programmers (untrained software developers) are seemingly the prime targets for layoffs.
Ted Keller Shuttle project [ cf Billingsetal94] 50% defects found by inspections using failure mode static analysis. Only one in-flight failure has been logged since 1985. Total number of failures logged in tests flights and simulations was 23 in 1987 version, 3 for current - including minor defets. rootcause failure analysis - 12..15 year database of fault data. operational profiles. level 5 maturity. Takes 2..3 years to climb one level. safety certification based on adherence to process. Known controlled and repeatable process leads to known quality.
Alfred Aho "Even good software development practices result in approximately one defect per thousand lines of code". Problems 25 years old but better management, proces, technology, reusability. multifacetted view of software quality Richard DeMillo(QV) research pre-occupied with modeling existing defect data. Janne Druggan "structural-based test coverage, operational profiles, and criticallity analysis were all used as a matter of course during circuit design and test..."
Formal Methods noticably absent. Lack of communication.
John Gallager:"The formal specification Languages in use today are not useful to those implementing the software."
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]