QuoteRef: lingRC5_1993

topics > all references > ThesaHelp: references i-l

references i-l
Cleanroom software development
programmer productivity
requirement specification by diagrams
interface between program modules
program proving
software review
statistical testing based on a usage profile


Linger, R.C., "Cleanroom software engineering for zero-defect software", Proceedings 15th International Conference on Software Engineering, IEEE Computer Society Press, May 17-21, 1993, pp. 2-13. Google

3 ;;Quote: Cleanroom projects achieve 3.3 errors/KLOC in testing after correctness verification
3 ;;Quote: errors in Cleanroom projects tend to be simple mistakes found by statistical testing, not deep design or interface errors
5 ;;Quote: a Cleanroom project developed 107 KLOCs in 3 increments; 50 people, 2.6 errors/KLOC and 486 LOC/developer/month
7 ;;Quote: box structures avoid the ambiguities and omissions for natural language specifications; detects gaps and misunderstandings early
7 ;;Quote: box structure design: all data and processing in boxes, boxes form a usage hierarchy, black/clear/state boxes
7+;;Quote: black, state, and clear boxes have identical external behavior but increasing internal detail
8 ;;Quote: a black box specifies all visible behavior; i.e., a response for each stimulus and stimulus history, including erroneous histories
8 ;;Quote: record black box specifications by tables of stimulus and history conditions; scale up by behavior classes and specification functions
8 ;;Quote: a state box specification replaces the stimulus history of a black box with old state to new state transitions
8 ;;Quote: a clear box implements a state box with sequence, iteration, and concurrency; may invoke black boxes
8 ;;Quote: a clear box forces cooperation of lower level black boxes; defines a usage hierarchy and box interfaces
9 ;;Quote: a program function transforms input state to output state; a clear box includes its intended function and the intended functions of its refinements
9 ;;Quote: confirm that a program implements an intended function by correctness conditions for sequence, alternation, and iteration
10 ;;Quote: mentally verify clear boxes by verifying a small number of correctness conditions; can check unanimously in a few seconds
12 ;;Quote: traditional coverage testing finds errors in random order, usage testing finds them in failure-rate order, 20x better for MTTF

Related Topics up

ThesaHelp: references i-l (342 items)
Topic: Cleanroom software development (38 items)
Topic: programmer productivity (57 items)
Topic: requirement specification by diagrams (27 items)
Topic: interface between program modules (55 items)
Group: program proving   (10 topics, 310 quotes)
Topic: software review (80 items)
Group: testing   (18 topics, 551 quotes)
Topic: statistical testing based on a usage profile (27 items)

Collected barberCB 12/93
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.