Generation of integration tests for self-testing components

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

Volumn 3236, Issue , 2004, Pages 337-350

  Mariani, Leonardo ^a   Pezzè, Mauro ^a   Willmor, David ^a  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; INTEGRATION; SOFTWARE ENGINEERING; SPECIFICATIONS;

COMMUNICATION SOFTWARE; COMPONENT BASED APPROACH; COMPONENT BASED SYSTEMS; DOMAIN EXPERTS; ENTIRE SYSTEM; INTERNET SOFTWARE; SELF-TESTING; TEST SPECIFICATIONS;

INTEGRATION TESTING;

EID: 27144482930     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30233-9_25     Document Type: Article

References (20)

1. Martins, E., Toyota, C., Yanagawa, R.: Constructing self-testable software components. In: Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN '01), Washington - Brussels - Tokyo, IEEE (2001) 151-160
2. Bertolino, A., Polini, A.: A framework for component deployment testing. In: Proceedings of the 25th International Conference on Software Engineering, IEEE Computer Society (2003) 221-231
3. Edwards, S.H.: A framework for practical, automated black-box testing of component-based software. Journal of Software Testing, Verification and Reliability 11 (2001)
4. Oberg, J.: Why the mars probe went off course. IEEE Spectrum 36 (1999) 34-39
5. Jet Propulsion Laboratory: Report on the loss of the mars polar lander and deep space 2 missions. Technical Report JPL D-18709, California Institute of Technology (2000)
6. Weyuker, E.: Testing component-based software: A cautionary tale. IEEE Internet Computing 15 (1998) 54-59
7. Agrawal, V., Kime, C., Saluja, K.: A tutorial on built-in self-test. I. principles. IEEE Design & Test of Computers 10 (1993) 73-82
8. Binder, R.: Design for testability in object-oriented systems. Communications of the ACM 37 (1994) 87-101
9. Liu, C., Richardson, D.: Software components with retrospectors. In: Proceedings of the International Workshop on the Role of Software Architecture in Testing and Analysis (ROSATEA). (1998) 63-68
10. Beizer, B.: Software Testing Techniques. 2nd edn. Van Nostrand Reinhold Computer (1982)
11. Ramachandran, M.: Testing reusable software components from object specification. SIGSOFT Softw. Eng. Notes 28 (2003) 18
12. Leon, D., Podgurski, A., White, L. J.: Multivariate visualization in observationbased testing. In: Proceedings of the 22nd International Conference on Software Engineering, ACM Press (2000) 116-125
13. Mariani, L., Pezzè, M.: A technique for verifying component-based software. In: International Workshop on Test and Analysis of Component Based Systems, Electronic Notes in Theoretical Computer Science (ENTCS) (2004) 16-28
14. Mariani, L.: Capturing and synthesizing the behavior of component-based systems. Technical Report LTA:2004:01, Università di Milano Bicocca (2003)
15. Howden, W.: Methodology for the generation of program test data. IEEE Transaction Computer (1975)
16. White, L., Cohen, E. J.: A domain strategy for computer program testing. IEEE Transactions on Software Engineering 6 (1980) 247-257
17. McCamant, S., Ernst, M. D.: Predicting problems caused by component upgrades. In: Proceedings of the 9th European Software Engineering Conference and the 10th International Symposium on Foundations of Software Engineering, ACM Press (2003) 287-296
18. Microsystems, S.: Enterprise Javabeans™ Specification. Final Release Version 2.1, Sun Microsystems (2003)
19. Vitharana, P.: Risks and challenges of component-based software development. Commun. ACM 46 (2003) 67-72
20. Binder, R. V.: Design for testability in object-oriented systems. Communications of the ACM 37 (1994) 87-101