Component-based software: An overview of testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2693, Issue , 2003, Pages 99-127

  Vincenzi, Auri Marcelo Rizzo ^a   Maldonado, José Carlos ^a   Delamaro, Márcio Eduardo ^b   Spoto, Edmundo Sérgio ^b   Wong, W Eric ^c  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

^b Faculdade de Informatica de Marilia   (Brazil)

^c The University of Texas at Dallas   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE DESIGN; SOFTWARE TESTING;

BASIC CONCEPTS; COMPONENT BASED SOFTWARE; COMPONENT-BASED DEVELOPMENT; COMPONENT-BASED SOFTWARE DEVELOPMENT; OBJECT-ORIENTED FEATURES; SOFTWARE TESTING STRATEGIES; STATE OF THE ART; STATE OF THE PRACTICE;

OBJECT ORIENTED PROGRAMMING;

EID: 34249910202     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45064-1_6     Document Type: Review

References (97)

1. Harrold, M.J.: Testing: A roadmap. In: 22th International Conference on Software Engineering. (2000)
2. Chow, T.S.: Testing software design modelled by finite-state machines. IEEE Transactions on Software Engineering 4 (1978) 178-187
3. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8 (1987) 231-274
4. Freedman, R.S.: Testability of software components. IEEE Transactions on Software Engineering 17 (1991) 553-564
5. Szyperski, C.: Component Software Beyond Object-Oriented Programming. Addison-Wesley (1998)
6. Matena, V., Stearns, B.: Applying Enterprise JavaBeans: Component-Based Development for the J2EE Platform. 2 edn. Addison-Wesley (2001)
7. Microsoft: COM: Delivering on the promises of component technology, web page (2002) Available on-line at: http://www.microsoft.com/com/ [01-20-2003].
8. Gimenes, I.M.S., Barroca, L., Huzita, E.H.M., Carnielo, A.: The process of component development by examples. In: VIII Regional Scholl of Informatics, Porto Alegre, RS, Brazil (2000) 1-32 (in Portuguese).
9. Werner, C.M., Braga, R.M.: Component-based development. Brazilian Symposium on Software Engineering'2000 (2000) (in Portuguese).
10. McDaniel, R., McGregor, J.D.: Testing polymorphic interactions between classes. Technical Report TR-94-103, Clemson University (1994)
11. Beizer, B.: Software Testing Techniques. 2nd edn. Van Nostrand Reinhold Company, New York (1990)
12. Zhu, H., Hall, P., May, J.: Software unit test coverage and adequacy. ACM Computing Surveys 29 (1997) 366-427
13. Weyuker, E.J.: Testing component-based software: A cautionary tale. IEEE Software 15 (1998) 54-59
14. Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Volume 1. Addison Wesley Longman, Inc. (1999)
15. Linnenkugel, U., Müllerburg, M.: Test data selection criteria for (software) integration testing. In: First International Conference on Systems Integration, Morristown, NJ (1990) 709-717
16. Pressman, R.S.: Software Engineering - A Practitioner's Approach. 5 edn. McGraw-Hill (2000)
17. IEEE: IEEE standard glossary of software engineering terminology. Standard 610.12-1990 (R2002), IEEE Computer Society Press (2002)
18. Harrold, M.J., Rothermel, G.: Performing data flow testing on classes. In: Second ACM SIGSOFT Symposium on Foundations of Software Engineering, New York, ACM Press (1994) 154-163
19. Perry, D.E., Kaiser, G.E.: Adequate testing and object-oriented programming. Journal on Object-Oriented Programming 2 (1990) 13-19
20. Arnold, T.R., Fuson, W.A.: In a perfect world. Communications of the ACM 37 (1994) 78-86
21. Howden, W.E.: Software Engineering and Technology: Functional Program Testing and Analysis. McGrall-Hill Book Co, New York (1987)
22. Offutt, A.J., Irvine, A.: Testing object-oriented software using the category-partition method. In: 17th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA (1995) 293-304
23. Thevenod-Fosse, P., Waeselynck, H.: STATEMATE applied to statistical software testing. In: International Symposium on Software Testing and Analysis, Cambridge, MA, ACM Press (1993) 99-109
24. Whittaker, J.A., Thomason, M.: A markov chain model for statistical software testing. IEEE Transactions on Software Engineering 20 (1994) 812-824
25. Whittaker, J.A.: Stochastic software testing. Annals of Software Engineering 4 (1997) 115-131
26. Banks, D., Dashiell, W., Gallagher, L., Hagwood, C., Kacker, R., Rosenthal, L.: Software testing by statistical methods. Technical Report NISTIR 6129, NIST - National Institute of Standards and Technology (1998)
27. Hoffman, D., Strooper, P.: A case study in class testing. In: CASCON 93, IBM Toronto Laboratory (1993) 472-482
28. Turner, C.D., Robson, D.J.: The state-based testing of object-oriented programs. In: Conference on Software Maintenance, Montreal Quebec, Canada, IEEE Computer Society Press (1993) 302-310
29. Kung, D., J. Gao, Hsia, P., Toyoshima, Y., Chen, C.: On regression testing of object-oriented programs. The Journal of Systems and Software 32 (1996) 21-40
30. McGregor, J.D., Korson, T.D.: Integrated object-oriented testing and development process. Communications of the ACM 37 (1994) 59-77
31. Hoffman, D., Strooper, P.: Glassbrench: A framework for automated class testing. Software Practice and Experience 27 (1997) 573-597
32. Frankl, F.G.: The Use of Data Flow Information for the Selection and Evaluation of Software Test Data. PhD thesis, Universidade de New York, New York, NY (1987)
33. Ntafos, S.C.: A comparison of some structural testing strategies. IEEE Transactions on Software Engineering 14 (1988) 868-873
34. Rapps, S., Weyuker, E.J.: Selecting software test data using data flow information. IEEE Transactions on Software Engineering 11 (1985) 367-375
35. Ostrand, T.J., Weyuker, E.J.: Using data flow analysis for regression testing. In: Sixth Annual Pacific Northwest Software Quality Conference, Portland - Oregon (1988)
36. Hartmann, J., Robson, D.J.: Techniques for selective revalidation. IEEE Software 7 (1990) 31-36
37. Veevers, A., Marshall, A.: A relationship between software coverage metrics and reliability. Software Testing, Verification and Reliability 4 (1994) 3-8
38. Varadan, G.S.: Trends in reliability and test strategies. IEEE Software 12 (1995) 10
39. Chaim, M.L.: Program Debugging Based on Structural Testing Information. Doctoral dissertation, Scholl of Computer Science and Electrical Engineering, UNICAMP, Campinas, SP, Brazil (2001) (in Portuguese).
40. Myers, G.J.: The Art of Software Testing. Wiley, New York (1979)
41. Herman, P.M.: A data flow analysis approach to program testing. Australian Computer Journal 8 (1976) 92-96
42. Laski, J.W., Korel, B.: A data flow oriented program testing strategy. IEEE Transactions on Software Engineering 9 (1983) 347-354
43. Rapps, S., Weyuker, E.J.: Data flow analysis techniques for program test data selection. In: 6th International Conference on Software Engineering, Tokio, Japan (1982) 272-278
44. Ntafos, S.C.: On required element testing. IEEE Transactions on Software Engineering 10 (1984) 795-803
45. Maldonado, J.C.: Potential-Uses Criteria: A Contribution to the Structural Testing of Software. Doctoral dissertation, DCA/FEE/UNICAMP, Campinas, SP, Brazil (1991) (in Portuguese).
46. Harrold, M.J., Soffa, M.L.: Interprocedural data flow testing. In: Third Testing, Analysis, and Verification Symposium. (1989) 158-167
47. Harrold, M.J., Soffa, M.L.: Selecting and using data for integration test. IEEE Software 8 (1991) 58-65
48. Vilela, P.R.S.: Integration Potencial-Uses Criteria: Definition and Analysis. Doctoral dissertation, DCA/FEEC/UNICAMP, Campinas, SP, Brazil (1998) (in Portuguese).
49. DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: Help for the practicing programmer. IEEE Computer 11 (1978) 34-43
50. Budd, T.A.: Computer Program Testing. In: Mutation Analysis: Ideas, Example, Problems and Prospects. North-Holand Publishing Company (1981)
51. Friedman, A.D.: Logical Design of Digital Systems. Computer Science Press (1975)
52. Delamaro, M.E., Maldonado, J.C., Mathur, A.P.: Interface mutation: An approach for integration testing. IEEE Transactions on Software Engineering 27 (2001) 228-247
53. Fabbri, S.C.P.F., Maldonado, J.C., Masiero, P.C., Delamaro, M.E.: Mutation analysis applied to validate specifications based on petri nets. In: FORTE'95 - 8th IFIP Conference on Formal Descriptions Techniques for Distribute Systems and Communication Protocols, Montreal, Canada (1995) 329-337
54. Simão, A.S., Maldonado, J.C.: Mutation based test sequence generation for Petri nets. In: III Workshop of Formal Methods, João Pessoa (2000)
55. Fabbri, S.C.P.F.: The Mutation Analysis in the Context of Reactive Systems: a Constribution on the Establishment of Validation and Testing Strategies. Doctoral dissertation, IFSC-USP, São Carlos, SP, Brazil (1996) (in Portuguese).
56. Sugeta, T.: Proteum-rs/st: A tool to support the validation of statecharts based on mutation analysis. Master's thesis, ICMC-USP, São Carlos, SP, Brazil (1999) (in Portuguese).
57. Fabbri, S.C.P.F., Maldonado, J.C., Masiero, P.C., Delamaro, M.E.: Mutation analysis based on finite state machines. In: XI Brazilian Symposium on Computer Networks, Campinas, SP, Brazil (1993) 407-425 (in Portuguese).
58. Fabbri, S.C.P.F., Maldonado, J.C., Masiero, P.C., Delamaro, M.E.: Mutation analysis testing for finite state machines. In: 5th International Symposium on Software Reliability Engineering (ISSRE'94), Monterey - CA (1994) 220-229
59. Probert, R.L., Guo, F.: Mutation testing of protocols: Principles and preliminary experimental results. In: IFIP TC6 - Third International Workshop on Protocol Test Systems, North-Holland (1991) 57-76
60. Souza, S.R.S., Maldonado, J.C., Fabbri, S.C.P.F., Lopes de Souza, W.: Mutation testing applied to estelle specifications. Software Quality Journal 8 (1999) 285-301
61. Kim, S., Clark, J.A., Mcdermid, J.A.: The rigorous generation of Java mutation operators using HAZOP. In: 12th International Conference on Software & Systems Engineering and their Applications (ICSSEA'99). (1999)
62. Ma, Y.S., Kwon, Y.R., Offutt, J.: Inter-class mutation operators for Java. In: 13th International Symposium on Software Reliability Engineering - ISSRE'2002, Annapolis, MD (2002).
63. Ghosh, S., Mathur, A.P.: Interface mutation. Software Testing, Verification and Reliability 11 (2001) 227-247 (Special Issue: Mutation 2000 - A Symposium on Mutation Testing. Issue Edited by W. Eric Wong).
64. Sridhanan, B., Mundkur, S., Mathur, A.P.: Non-intrusive testing, monitoring and control of distributed corba objects. In: TOOLS'33 - 33rd International Conference on Technology of Object-Oriented Languages, Mont-saint-Michel, France (2000) 195-206
65. Delamaro, M.E., Pezzè, M., Vincenzi, A.M.R., Maldonado, J.C.: Mutant operators for testing concurrent Java programs. In: Brazilian Symposium on Software Engineering'2001, Rio de Janeiro, RJ, Brazil (2001) 272-285
66. Gönenç, G.: A method for design of fault-detection experiments. IEEE Transactions on Computers 19 (1970) 551-558
67. Sabnani, K.K., Dahbura, A.: Protocol test generation procedure. Computer Networks and ISDN Systems 15 (1988) 285-297
68. Fujiwara, S., Bochmann, G.V., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Transactions on Software Engineering 17 (1991)
69. Beydeda, S., Gruhn, V.: An integrated testing technique for component-based software. In: AICCSA ACS/IEEE International Conference on Computer Systems and Applications, Beirut, Libanon, IEEE Computer Society Press (2001) 328-334
70. Harrold, M.J., Liang, D., Sinha, S.: An approach to analyzing and testing component-based systems. In: First International ICSE Workshop on Testing Distributed Component-Based Systems, Los Angeles, CA (1999)
71. Rosenblum, D.S.: Adequate testing of component-based software. Technical Report UCI-ICS-97-34, University of California, Irvine, CA (1997)
72. Ural, H., Yang, B.: A structural test selection criterion. Information Processing Letters 28 (1988) 157-163
73. Martins, E., Toyota, C.M.: Construction of autotestable classes. In: VIII Symposion of Fault Tolerance Computation, Campinas, SP (1999) 196-209 (in Portuguese).
74. Rosa, A.C.A., Martins, E.: Using a reflexive architecture to validate object-oriented applications by fault injection. In: Workshop on Reflexive Programming in C++ and Java, Vancouver, Canada (1998) 76-80
75. Orso, A., Harrold, M.J., Rosenblum, D., Rothermel, G., Do, H., Soffa, M.L.: Using component metacontent to support the regression testing of component-based software. In: IEEE International Conference on Software Maintenance (ICSM'01), Florence, Italy, IEEE Computer Society Press (2001) 716-725
76. Edwards, S.H.: Toward reflective metadata wrappers for formally specified software components. In: OOPSLA '01 Workshop on Specification and Verification of Component-Based Systems, Tampa, Florida, ACM Press (2001)
77. Harrold, M.J., McGregor, J.D., Fitzpatrick, K.J.: Incremental testing of object-oriented class structures. In: 14th International Conference on Software Engineering, Los Alamitos, CA, IEEE Computer Society Press (1992) 68-80
78. Gao, J.: Tracking component-based software. Technical report, San Jose State University, (San Jose, CA)
79. M. Voas, J.: Certifying off-the shelf-components. IEEE Computer 31 (1998) 53-59
80. Binder, R.V.: Modal testing strategies for OO software. Computer 29 (1996) 97-99
81. Binder, R.V.: The free approach to testing object-oriented software: An overview. Pgina WWW (1996) Available on-line at: http://www.rbsc.com/pages/FREE.html [01-20-2003].
82. Kim, S., Clark, J.A., Mcdermid, J.A.: Class mutation: Mutation testing for object-oriented programs. In: FMES. (2000)
83. Edwards, S.H.: A framework for practical, automated black-box testing of component-based software. Software Testing, Verification and Reliability 11 (2001) 97-111
84. Wang, Y., King, G., Wickburg, H.: A method for built-in tests in component-based software maintenance. In: Third European Conference on Software Maintenance and Reengineering, Amsterdam, Netherlands, IEEE Computer Society Press (1999) 186-189
85. Soundarajan, N., Tyler, B.: Testing components. In: OOPSLA '01 Workshop on Specification and Verification of Component-Based Systems, Tampa, Florida, ACM Press (2001) 4-9
86. Rosa, A.C.A., Martins, E.: Using a reflexive architecture to validate object-oriented applications by fault injection. In: Workshop on Reflexive Programming in C++ and Java, Vancouver, Canada (1998) 76-80 (Available on-line at: http://www.dc.unicamp.br/~eliane).
87. Edwards, S.H.: Black-box testing using flowgraphs: An experimental assessment of effectiveness and automation potential. Software Testing, Verification and Reliability 10 (2000) 249-262
88. Zhao, J.: Dependence analysis of Java bytecode. In: 24th IEEE Annual International Computer Software and Applications Conference (COMPSAC'2000), Taipei, Taiwan, IEEE Computer Society Press (2000) 486-491
89. Zhao, J., Xiang, L., Nishimi, K., Harada, T.: Understanding Java bytecode using kafer. In: 20th IASTED International Conference on Applied Informatics (AI'2002), Innsbruck, Austria, ACTA Press (2002)
90. Vincenzi, A.M.R., Delamato, M.E., Maldonado, J.C., Wong, W.E., Simão, A.S.: Jabá - a Java bytecode analyzer. In: XVI Brazilian Symposium on Software Engineering, Gramado, RS, Brazil (2002) 414-419
91. McGregor, J.D.: Parallel architecture for component testing. Journal of Object-Oriented Programming 10 (1997) 10-14 Available on-line at: http://www.cs.clemson.edu/~johnmc/columns.html [01-06-2003].
92. Bhor, A.: Component testing strategies. Technical Report UCI-ICS-02-06, Dept. of Information and Computer Science - University of California, Irvine - California (2001) Available on-line at: http://www.ics.uci.edu/~abhor/ [01-06-2003].
93. Bundell, G.A., Lee, C., Morris, J., Parker, K., Lam, P.: A software component verification tool. In: International Conference on Software Methods and Tools (SMT'2000), Wollongong, Australia (2000)
94. Corporation, P.: Using design by contract to automate Java software and component testing, web page (2002) Available on-line: http://www.parasoft.com/ [01-20-2003].
95. Beck, K., Gamma, E.: JUnit cookbook, web page (2002) Available on-line: http://www.junit.org/ [01-20-2003].
96. Edge, T.: Glass JAR toolkit, web page (2002) Available on-line at: http://www.testersedge.com/gjtk/ [01-04-2003].
97. H. Agrawal. Dominators, super blocks, and program coverage. In Proceedings of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'94), Portland, OR (1994) 25-34.