A method for modeling and testing exceptions in component-based software development

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

Volumn 3747 LNCS, Issue , 2005, Pages 61-79

  Brito, Patrick Henrique Da S ^a   Rocha, Camila Ribeiro ^a   Filho, Fernando Castor ^a   Martins, Eliane ^a   Fischer Rubira, Cecília M ^a  

^a UNIVERSITY OF CAMPINAS   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL DESIGN; COMPUTER AIDED DESIGN; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; COMPUTER SYSTEMS; SPECIFICATIONS;

COMPONENT-BASED SOFTWARE DEVELOPMENT; SOFTWARE SYSTEM; SOFTWARE SYSTEMS;

SOFTWARE ENGINEERING;

EID: 33646507073     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (36)

1. Thomas Anderson and Peter A. Lee. Fault Tolerance: Principles and Practice. Prentice-Hall, 2 edition, 1990.
2. Colin Atkinson, Joachim Bayer, and Dirk Muthig. Component-based product line development: the kobra approach. In Proceedings of the 1st conference on Software product lines : experience and research directions, pages 289-309, Norwell, MA, USA, 2000. Kluwer Academic Publishers.
3. Colin Atkinson and Hans-Gerhard Gross. Built-in contract testing in model-driven, component-based development. In Proceedings of the 1st International Working Conference on Component Deployment, Workshop on Component-based Software Development Processes, 2002.
4. Antonia Bertolino, Eda Marchetti, and Henry Muccini. Introducing a reasonably complete and coherent approach for model-based testing. Electr. Notes Theor. Comput. Sci., 116:85-97, 2005.
5. Robert V. Binder. Design for testability in object-oriented systems. Communications of the ACM, 37(9):87-101, 1994.
6. Robert V. Binder. Testing object-oriented systems: models, patterns, and tools. Addison-Wesley Longman Publishing Co., Inc., 1999.
7. L. Briand, W. Dzidek, and Y. Labiche. Using aspect-oriented programming to instrument ocl contracts in java. Technical Report SCE-04-03, Carleton University, 2004.
8. Lionel Briand and Yvan Labiche. A uml-based approach to system testing. Software and Systems Modeling, 1(1):10-42, September 2002.
9. John Chessman and John Daniels. UML Components: A Simple Process for Specifying Component-Based Software. Paperback, 1992.
10. Patrick Henrique da Silva Brito, Camila Ribeiro Rocha, Eliane Martins, and Cecília Mary Fischer Rubira. An integrated method for modeling and testing exceptions in component-based software development: A case study (in Portuguese). Technical Report (to appear), Institute of Computing, 2005.
11. Moacir C. da Silva Jr., Paulo Asterio de C. Guerra, and Cecilia M. F. Rubira. A Java component model for evolving software systems. In Proc. of the ASE, pages 327-330, 2003.
12. Rogério de Lemos and A. Romanovsky. Exception handling in a cooperative object-oriented approach. In Proc. of the 2nd IEEE ISORC'99, May 1999.
13. Regina Lúcia de Oliveira Moraes and Eliane Martins. Jaca - a software fault injection tool. In DSN, page 667. IEEE Computer Society, 2003.
14. Desmond D'Souza and Alam Cameron Wills. Objects, Components, and Frameworks with UML The Catalysis Approach. Addison-Wesley, 2nd edition, 1999.
15. C. Farias and P. Machado. A functional testing method for components verification (in Portuguese). In Proc. Brazilian Software Engineering Symposium (SBES), 2003.
16. Fernando Castor Filho, Patrick H. S. Brito, and Cecflia Mary F. Rubira. A framework for analyzing exception flow in software architectures. In Proceedings of the ICSE'2005 Workshop on Architecting Dependable Systems, 2005.
17. Fernando Castor Filho, Paulo Asterio de C. Guerra, Vinicius A. Pagano, and Cecflia Mary F. Rubira. A systematic approach for structuring exception handling in robust component-based software. Journal of the Brazilian Computer Society -Special Issue on Dependable Computing, 2005.
18. John B. Goodenough. Exceptional handling: Issues and a proposed notation. CACM, 18(12), 1975.
19. Object Management Group. OMG Unified Modeling Language Specification Version 1.5, 2003.
20. Object Management Group. UML 2.0 OCL Specification, 2003.
21. Gregor Kiczales, John Lamping, Anurag Menhdhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. In Mehmet Akşit and Satoshi Matsuoka, editors, Proc. European Conference on Object-Oriented Programming, volume 1241, pages 220-242. Springer-Verlag, Berlin, Heidelberg, and New York, 1997.
22. P. Koopman et al. Ballista project : Cots software robustness testing. http://www.ece.cmu.edu/koopman/ballista/, 2003.
23. N. P. Kropp, P. J. Koopman, and D. P. Siewiorek. Automated robustness testing of off-the-shelf software components. In FTCS '98: Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing, page 230, Washington, DC, USA, 1998. IEEE Computer Society.
24. Eliane Martins, Cristina Maria Toyota, and Rosileny Lie Yanagawa. Constructing self-testable software components. In Proc. DSN 2001, 2001.
25. S. Messina and P. Pleinevaux. Enhancing cimosa with exception handling. In Proceedings of the International Symposium on Robotics and Manufacturing ISRAM, World Automation Congress'96, Montpellier, France, May 1996.
26. Bertrand Meyer. Object-Oriented Software Construction. Prentice-Hall, 1st edition, 1988.
27. Barrel Reimer and Harini Srinivasan. Analysing exception usage in large Java applications. In Proc. of ECOOP Workshop on Exception Handling in Object-Oriented Systems(EHOOS'2003), 2003.
28. Ronald L. Rivest and Charles E. Leiserson. Introduction to Algorithms. McGraw-Hill, Inc., New York, NY, USA, 1990.
29. Camila Ribeiro Rocha and Eliane Martins. A strategy to improve component testability without source code. In Sami Beydeda, Volker Gruhn, Johannes Mayer, Ralf Reussner, and Franz Schweiggert, editors, SOQUA/TECOS, volume 58 of LNI, pages 47-62. GI, 2004.
30. C. Rubira, R. de Lemos, G. Ferreira, and F. Castor Filho. Exception handling in the development of dependable component-based systems. In Software Practice and Experience. John Wiley and Sons, 2005.
31. Geri Schneider and Jason P. Winters. Applying Use Cases: A Practical Guide. Addison-Wesley, 1st edition, 1998.
32. Mary Shaw and David Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1st edition, 1996.
33. S. Sinha and M. J. Harrold. Analysis and testing of programs with exception handling constructs. IEEE Transactions on Software Engineering, 26(9):849-871, 2000.
34. Ian Sommerville. Software Engineering. Addison-Wesley, 6 edition, 1995.
35. Clemens Szyperski. Component software and the way ahead. In Gary T. Leavens and Murali Sitaraman, editors, Foundations of Component-Based Systems, chapter 1, pages 1-20. Cambridge University Press, 2000.
36. Rodrigo Teruo Tomita, Fernando Castor Filho, and Cecilía Mary Fischer Rubira. Bellatrix: An environment to provide architectural support for component-based software development (in Portuguese). In IV Workshop of Component-Based Development (WDBC'2004), September 2004.