Tools and experiments supporting a testing-based theory of component composition

ACM Transactions on Software Engineering and Methodology

Volumn 18, Issue 3, 2009, Pages

  Hamlet, Dick ^a,b  

^a PORTLAND STATE UNIVERSITY   (United States)

^b Portland State University   (United States)

Author keywords

CAD tool support for CBSD; Component based software development (CBSD); Experiments with composition of software components; Synthesis of system properties

Indexed keywords

ACTUAL SYSTEM; CAD TOOL; CAD TOOL SUPPORT FOR CBSD; COMPONENT COMPOSITION; COMPONENT DESCRIPTIONS; COMPONENT-BASED SOFTWARE DEVELOPMENT; COMPONENT-BASED SOFTWARE DEVELOPMENT (CBSD); EXECUTABLES; IDEAL SEPARATION; OFF-THE-SHELF COMPONENTS; PRODUCT QUALITY; SUB-DOMAINS; SUBDOMAIN; SYNTHESIS OF SYSTEM PROPERTIES; SYSTEM DEVELOPMENT; SYSTEM PROPERTY; SYSTEM STRUCTURES; SYSTEM TESTING; TEST EXECUTION;

COMPUTER SOFTWARE SELECTION AND EVALUATION; EXPERIMENTS; SOFTWARE DESIGN; STRUCTURE (COMPOSITION);

COMPUTER AIDED DESIGN;

EID: 66949161076     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/1525880.1525885     Document Type: Article

References (20)

1. BOEHM, G. AND JACOPINI, G. 1966. Flow diagrams, Turing machines, and languages with only two formation rules. Commun. ACM 9, 366-371.
2. DENNIS, G., CHANG, F.-H., AND JACKSON, D. 2006. Modular verification of code with SAT. In Proceedings ISSTA. 109-119. (Pubitemid 46645523)
3. ERNST, M., COCKRELL, J., GRISWOLD, W. G., AND NOTKIN, D. 2001. Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Soft. Engin. 27, 99-123. (Pubitemid 32254259)
4. FLOYD, R. W 1967. Assigning meanings to programs. In Proceedings of the Symposium on Applied Mathematics. Vol.19. American Mathematical Society, 19-32.
5. GOODENOUGH, J. B. AND GERHART, S. L. 1975. Toward a theory of test data selection. IEEE Trans. Soft. Engin. 1, 156-173.
6. HAMLET, D. 1994. Random testing. In Encyclopedia of Software Engineering, J. Marciniak, Ed. Wiley, New York, 970-978.
7. HAMLET, D. 2006. Subdomain testing of units and systems with state. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'06). 85-96. (Pubitemid 46645521)
8. HAMLET, D. 2007a. www.cs.pdx.edu/~hamlet/componezits.html.
9. HAMLET, D. 2007b. Software component composition: Subdomain-Based testing-theory foundation. J. Soft. Test. Verifi. Reliabi. 17, 243-269. (Pubitemid 350268691)
10. HAMLET, D., ANDRIC, M., AND TU, Z. 2003. Experiments with composing component properties. In Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering, K. Wallnau, Ed. http://www.sei.cmu.edu/pacc.
11. HAMLET, D., MASON, D., AND WOIT, D. 2001. Theory of software reliability based on components. In Proceedings of the International Conference on Software Engineering (ICSE'01). 361-370. (Pubitemid 32485666)
12. HowDEN, W. E. 1976. Reliability of the path analysis testing strategy. IEEE Trans. Soft. Engin. 2, 208-215.
13. KRAMER, J. AND MAGEE, J. 2006. Concurrency: State Models & Java Programs, 2nd Ed. Wiley, New York.
14. LIONS, J. L. 1996. ARIANE 5, Flight 501 Failure, Report by the Inquiry Board. European SpaceAgency (ESA), Paris.
15. MEINKE, K. 2004. Automated black-box testing of functional correctness using function approximation. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'06). 143-153. (Pubitemid 41121386)
16. MEYER, B. 2000. Object-Oriented Software Construction. Prentice Hall.
17. MILLS, H., BASILI, V., GANNON, J., AND HAMLET, D. 1987. Principles of Computer Programming: A Mathematical Approach. Allyn and Bacon.
18. MUSA, J., IANNINO, A., AND OKUMOTO, K. 1990. Software Reliability. McGraw-Hill, New York.
19. MYERS, G. J. 1979. The Art of Software Testing. Wiley-Interscience, New York.
20. XlE, F. AND BROWNE, J. 2006. Verification of component-based software application families. Lecture Notes in Computer Science, vol.4063, I. Gorton et al., Eds. Springer, 50-66. (Pubitemid 44123923)