On subdomains: Testing, profiles, and components

Proceedings of the ACM SIGSOFT 2000 International Symposium on Software Testing and Analysis

Volumn , Issue , 2000, Pages 71-76

  Hamlet, Dick ^a  

^a PORTLAND STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; MAPPING; RELIABILITY; SYSTEMS ANALYSIS;

SUBDOMAINS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0034592905     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. R. W. Butler and G. B. Finelli. The infeasibility of experimental quantification of life-critical software reliability. IEEE Transactions on Software Engineering, 19(1):3-12, January 1993.
2. R. H. Cobb and H. D. Mills. Engineering software under statistical quality control. IEEE Software, pages 44-54, November 1990.
3. J. Duran and S. Ntafos. An evaluation of random testing. IEEE Trans. on Soft. Eng., 10:438-444, 1984.
4. P. Frankl, D. Hamlet, B. Littlewood, and L. Strigini. Evaluating testing methods by delivered reliability. IEEE Trans. on Soft. Eng., SE-24:586-601, August 1998. Correction, ibid, v. SE-25 (Mar., 1999), p. 286.
5. Phyllis G. Frankl and Stewart N. Weiss. An experimental comparison of the effectiveness of branch testing and data flow testing. IEEE Trans. on Soft. Eng., 19:774-787, August 1993.
6. D. Hamlet. Random testing. In J. Marciniak, editor, Encyclopedia of Software Engineering, pages 970-978. Wiley, New York, 1994.
7. D. Hamlet and R. Taylor. Partition testing does not inspire confidence. IEEE Trans. on Soft. Eng., 16:1402-1411, 1990.
8. Dick Hamlet. Software component dependability, a subdomain-based theory. Technical Report RSTR-96-999-01, Reliable Software Technologies, Sterling, VA, September 1996.
9. Dick Hamlet, Dave Mason, and Denise Woit. Foundational theory of software component reliability. In Proc. (ISSRE'99) - Fast Abstracts, pages 35-36, Boca Raton, FL, November 1999.
10. Dick Hamlet, Dave Mason, and Denise Woit. Theory of system reliability based on components. In Workshop Proceedings, ICSE 2000, 3rd Workshop on CBSE (W09), Limerick, Ireland, May 2000.
11. W. E. Howden. Reliability of the path analysis testing strategy. IEEE Trans. on Soft. Eng., 2:208-215, 1976.
12. Bingchiang Jeng and Elaine Weyuker. A simplified domain testing strategy. ACM Trans. Soft. Eng. Methodology, 3(3):254-70, July 1994.
13. Michael Lyu, editor. Handbook of Software Reliability Engineering. McGraw-Hill, New York, 1996.
14. Brian Marick. The Craft of Software Testing. Wiley-Interscience, New York, NY, 1995.
15. Dave Mason and Denise Woit. Software system reliability from component reliability. In Proc. of 1998 Workshop on Software Reliability Engineering (SRE'98), Ottawa, Ontario, July 1998.
16. John Musa, Gene Fuoco, Nancy Irving, and Diane Kropfl. The Operational Profile, pages 167-216. In Lyu [13], 1996.
17. D. J. Richardson and L. A. Clarke. Partition analysis: A method combining testing and verification. IEEE Transactions on Software Engineering, 11(12):1477-1490, December 1985.
18. J. M. Voas. Pie: A dynamic failure-based technique. IEEE Trans. on Soft. Eng., 18:717-727, 1992.
19. Elaine Weyuker. The cost of data flow testing: an empirical study. IEEE Trans. on Soft. Eng., SE-16:121-128, 1990.