On subdomains: Testing, profiles, and components

ABSTRACT

Subdomains of a program's input space are a concept around which ideas about testing can be organized. This paper considers the questions, ``What are the best subdomains for:testing to detecting failuresdefining operational profilesmeasuring component reliability?

REFERENCES

• 1: R. W. Butler , G. B. Finelli, The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software, IEEE Transactions on Software Engineering, v.19 n.1, p.3-12, January 1993 [doi>10.1109/32.210303]
• 2: Richard H. Cobb , Harlan D. Mills, Engineering Software Under Statistical Quality Control, IEEE Software, v.7 n.6, p.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: Phyllis G. Frankl , Richard G. Hamlet , Bev Littlewood , Lorenzo Strigini, Evaluating Testing Methods by Delivered Reliability, IEEE Transactions on Software Engineering, v.24 n.8, p.586-601, August 1998 [doi>10.1109/32.707695]
• 5: P. G. Frankl , S. N. Weiss, An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing, IEEE Transactions on Software Engineering, v.19 n.8, p.774-787, August 1993 [doi>10.1109/32.238581]
• 6: D. Hamlet. Random testing. In J. Marciniak, editor, Encyclopedia of Software Engineering, pages 970-978. Wiley, New York, 1994.
• 7: Dick Hamlet , Ross Taylor, Partition Testing Does Not Inspire Confidence (Program Testing), IEEE Transactions on Software Engineering, v.16 n.12, p.1402-1411, December 1990 [doi>10.1109/32.62448]
• 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 , Elaine J. Weyuker, A simplified domain-testing strategy, ACM Transactions on Software Engineering and Methodology (TOSEM), v.3 n.3, p.254-270, July 1994 [doi>10.1145/196092.193171]
• 13: Michael R. Lyu, Handbook of software reliability and system reliability, McGraw-Hill, Inc., Hightstown, NJ, 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 , Diane Kropfl , Bruce Juhlin, The operational profile, Handbook of software reliability and system reliability, McGraw-Hill, Inc., Hightstown, NJ, 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: Jeffrey M. Voas, PIE: A Dynamic Failure-Based Technique, IEEE Transactions on Software Engineering, v.18 n.8, p.717-727, August 1992 [doi>10.1109/32.153381]
• 19: Elaine J. Weyuker, The Cost of Data Flow Testing: An Empirical Study, IEEE Transactions on Software Engineering, v.16 n.2, p.121-128, February 1990 [doi>10.1109/32.44376]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

General Terms:
Design, Measurement, Performance, Reliability, Theory