Software component composition: A subdomain-based testing-theory foundation

Software Testing Verification and Reliability

Volumn 17, Issue 4, 2007, Pages 243-269

  Hamlet, Dick ^a  

^a PORTLAND STATE UNIVERSITY   (United States)

Author keywords

Component based software development (CBSD); Composition of properties; Foundational testing theory; Software components; System assembly

Indexed keywords

COMPUTATIONAL EFFICIENCY; PROGRAM ASSEMBLERS; SOFTWARE RELIABILITY; SOFTWARE TESTING;

COMPONENT-BASED SOFTWARE DEVELOPMENT; SOFTWARE COMPONENTS; SYSTEM ASSEMBLY;

SOFTWARE ENGINEERING;

EID: 37249058377     PISSN: 09600833     EISSN: 10991689     Source Type: Journal    
DOI: 10.1002/stvr.376     Document Type: Article

References (48)

1. Szyperski C. Component Software (2nd edn). Addison-Wesley: Reading, MA, 2002.
2. Weyuker E. Testing component-based software: A cautionary tale. IEEE Software 1998; 54-59.
3. Goodenough JB, Gerhart SL. Toward a theory of test data selection. IEEE Transactions on Software Engineering 1975; 1:156-173.
4. Boehm C, Jacopini G. Flow diagrams, turing machines, and languages with only two formation rules. Communications of the ACM 1966; 9:366-371.
5. Hamlet D. Continuity in software systems. Proceedings ISSTA '02, Rome, 2002; 196-200.
6. Howden W. Methodology for the generation of program test data. IEEE Transactions on Computers 1975; 24:554-559.
7. Howden WE. Reliability of the path analysis testing strategy. IEEE Transactions on Software Engineering 1976; 2:208-215.
8. Musa JD. Operational profiles in software-reliability engineering. IEEE Software 1993; 10:14-32.
9. Hamlet D, Mason D, Woit D. Theory of software reliability based on components. Proceedings ICSE '01, Toronto, Canada, 2001; 361-370.
10. Hamlet D, Mason D, Woit D. Properties of software systems synthesized from components. Case Studies in Computer-based Software Engineering, ch. 6, Lau K-K (ed.). World Scientific: Singapore, 2004.
11. de Berg M, van Kreveld M, Overmars M, Schwarzkopf O. Computational Geometry (2nd edn). Springer: Berlin, 2000.
12. Hamlet D. Software component dependability, a subdomain-based theory. Technical Report RSTR-96-999-01, Reliable Software Technologies, Sterling, VA, September 1996.
13. Hamlet D. Random testing. Encyclopedia of Software Engineering, Marciniak J (ed.). Wiley: New York, 1994; 970-978.
14. Jackson D. Alloy: A lightweight object modeling notation. ACM Transactions on Software Engineering and Methodology 2002; 11:256-290.
15. Boyapati C, Khurshid S, Marinov D. Korat: Automated testing based on java predicates. Proceedings ISSTA '02, Rome, 2002; 123-133.
16. Mills H, Basili V, Gannon J, Hamlet D. Principles of Computer Programming: A Mathematical Approach. Allyn & Bacon: Newton, MA, 1987.
17. Nimmer JW, Ernst MD. Automatic generation of program specifications. Proceedings ISSTA '02, Rome, 2002; 229-239.
18. Henkel J, Diwan A. Discovering algebraic specifications from java classes. Proceedings ECOOP '03, Darmstad, 2003. The authors recommend www-plan.cs.colorado.edu/henkel because the proceedings is garbled.
19. Mason D. Probabilistic program analysis for software component reliability. PhD Thesis, University of Waterloo, October 2002.
20. Hamlet D. On subdomains: Testing, profiles, and components. Proceedings ISSTA '00, Portland, OR, 2000; 71-76.
21. Duran J, Ntafos S. An evaluation of random testing. IEEE Transactions on Software Engineering 1984; 10:438-444.
22. Hamlet D, Taylor R. Partition testing does not inspire confidence. IEEE Transactions on Software Engineering 1990; 16:1402-1411.
23. Boland P, Singh H, Cukik B. Comparing partition and random testing via majorization and schur functions. IEEE Transactions on Software Engineering 2003; 29:88-94.
24. Extreme programming: A gentle introduction. www.extremeprogramming.org.
25. Hamlet D. Subdomain testing of units and systems with state. Proceedings ISSTA 2006, Portland, ME, July 2006; 85-96.
26. Allen R, Garlan D. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology 1997; 6:213-249.
27. Medvidovic N, Mehta N, Mikic-Rakic M. A family of software architecture implementation frameworks. Proceedings of 3rd IFIP Working International Conference on Software Architectures (WICSA), Montreal, Canada, 2002; 221-235.
28. Floyd RW. Assigning meanings to programs. Proceedings Symposium Applied Mathematics, vol. 19. American Mathematical Society: Providence, RI, 1967; 19-32.
29. Hoare CAR. An axiomatic basis for computer programming. Communications of the ACM 1969; 12:576-585.
30. Hoare CAR. Proof of correctness of data representations. Acta Informatica 1972; 1:271-281.
31. Guttag JV. Abstract data types and the development of data structures. Communications of the ACM 1977; 20:396-404.
32. Goguen JA, Thatcher JW, Wagner EG. An initial algebra approach to the specification, correctness, and implementation of abstract data types. Current Trends in Programming Methodology, vol. 4, Yeh RT (ed.). Prentice-Hall: Englewood Cliff, NJ, 1978; 80-149.
33. Goguen JA. Software Engineering with OBJ - Algebraic Specification in Action. Kluwer Academic Publishers: Dordrecht, 2000.
34. Gannon J, Hamlet D, Mills H. Theory of modules. IEEE Transactions on Software Engineering 1987; 13:820-829.
35. Meyer B. Object-Oriented Software Construction. Prentice-Hall: Englewood Cliffs, NJ, 2000.
36. Reussner RH, Schmidt HW, Poernomo, I. Reliability prediction for component-based software architectures. Journal of Systems and Software - Special Issue on Software Architecture - Engineering Quality Attributes 2003; 66:241-252.
37. Schmidt H. Trustworthy components - compositionality and prediction. Journal of Systems and Software - Special Issue on Component - Based Software Engineering 2003; 65:215-225.
38. Rosenblum D. Adequate testing of component-based software. Technical Report, Irvine, CA, August 1997.
39. Meinke K. Automated black-box testing of functional correctness using function approximation. Proceedings ISSTA '04, Boston, 2004.
40. Littlewood B. Software reliability model for modular program structure. IEEE Transactions on Reliability 1979; 28(3): 241-246.
41. Mason D, Woit D. Software system reliability from component reliability. Proceedings of 1998 Workshop on Software Reliability Engineering (SRE'98), Ottawa, Ontario, July 1998.
42. Krishnamurthy L, Mathur A. The estimation of system reliability using reliabilities of its components and their interfaces. Proceedings of the 8th ISSRE, Albuquerque, NM, 1997; 146-155.
43. Singh H, Cortellessa V, Cukic B, Gunel E, Bharadwaj V. A bayesian approach to reliability prediction and assessment of component based systems. Proceedings of the 12th International Symposium on Software Reliability Engineering, Hong Kong, People's Republic of China, November 2001; 12-21.
44. Kubal S, May J, Hughes G. Building a system failure rate estimator by identifying component failure rates. Proceedings of the 10th ISSRE, Boca Raton, FL, 1999; 32-41.
45. Hamlet D. When only random testing will do. Proceedings First International Workshop on Random Testing, Portland, ME, July 2006.
46. Hamlet D. Tools and experiments for a testing-based investigation of component composition. ACM TOSEM 2006, submitted October 2006. Copy at: www.cs.pdx.edu/~hamlet/TOSEM.pdf.
47. Weiss SN, Weyuker EJ. An extended domain-based model of software reliability. IEEE Transactions on Software Engineering 1988; 14(10):1512-1524.
48. Popov P. Reliability assessment of legacy safety-critical systems upgraded with off-the-shelf components. Proceedings of the SAFECOMP '02, Catania, Italy (Lecture Notes in Computer Science, vol. 2434). Springer: Berlin, 2002; 139-150.