| 
|
QuoteRef: parnDL6_1990
topics >
all references >
ThesaHelp:
references p-r
ThesaHelp:
ACM references m-z
Group:
testing
Topic:
specification is infeasible
Topic:
program proving is infeasible
Topic:
Cleanroom software development
Topic:
software review
Topic:
testing by program mutation
Topic:
information hiding
Topic:
bugs
Topic:
statistical testing based on a usage profile
Reference
Parnas, D.L., van Schouwen, A.J., Kwan, S.P., "Evaluation of safety-critical software", Communications of the ACM, 33, 6, June 1990, pp. 636-648. Google
639 ;;Quote: only testing reveals discrepancies between a model and the real situation; also errors in proofs
639 ;;Quote: Cleanroom development separates testing from software development; random test cases; should be more reliable
639 ;;Quote: reviewers can miss program flaws even though they know that flaws have been introduced
643 ;;Quote: because of multiple disciplines, information hiding occurs naturally in many engineering projects, e.g., transformers; not true for software
644 ;;Quote: a program fails because of a new input sequence; so can talk about the failure rate of software
647 ;;Quote: for statistical tests of real-time systems need to limit trajectory length by partitioning the state; periodically reinitialize the state
ThesaHelp: references p-r (245 items)
ThesaHelp: ACM references m-z (280 items)
Group: testing (18 topics, 551 quotes)
Topic: specification is infeasible (46 items)
Topic: program proving is infeasible (46 items)
Topic: Cleanroom software development (38 items)
Topic: software review (80 items)
Topic: testing by program mutation (18 items)
Topic: information hiding (50 items)
Topic: bugs (65 items)
Topic: statistical testing based on a usage profile (27 items)