Actas de congresos
Validation Of Exception Handling In The Development Of Dependable Component-based Software Systems
Registro en:
9780769543208
Proceedings - 2011 Latin-american Symposium On Dependable Computing, Ladc 2011. , v. , n. , p. 136 - 145, 2011.
10.1109/LADC.2011.23
2-s2.0-79959416823
Autor
Ferreira J.
Martins E.
Rubira C.M.F.
Da Silva Brito P.H.
Institución
Resumen
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) The use of exception handling mechanisms to develop robust software in a non-systematic manner can be a source of many design faults. This paper presents an approach that allows to systematize the validation of the system's exceptional behavior at both the software architecture and detailed design levels. At the software architecture, our solution is based on the specification and verification of architectural scenarios. At the detailed design level, the proposed solution consists on a static analysis tool that collects information regarding exceptional flows in a given behavioral model, to assist the task of validating the exceptional flow. This analysis anticipates the detection and therefore the correction of failures during the specification phase. The feasibility of our approach was evaluated by a case study of a mining control system. © 2011 IEEE.
136 145 Brazilian Computer Society (SBC),IEEE Computer Society,Agencia Espacial Brasileira (AEB),Coordenacao Aperfeicoamento Pessoal Nivel Super. (CAPES),Cons. Nac. Desenvolv. Cient. Tecnol. (CNPq),Fundacao de Amparo a Pesquisa do Estado de Sao Paulo (FAPESP) Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) Aho, A.V., Sethi, R., Ullman, J.D., (1986) Compilers-Principles, Techniques, and Tools, , Addison-Wesley Boston, MA Bass, L., Clements, P., Kazman, R., (1997) Software Architecture in Practice, , Addison-Wesley Professional, December Bock, C., Uml 2 activity and action models part 2: Actions (2003) Journal of Object Technology, 2 (5). , September-October Brito, P.H.S., De Lemos, R., Martins, E., Rubira, C.M.F., Architecture-centric fault tolerance with exception handling (2007) Proc. of the 3rd Latin American Symposium on Dependable Computing (LADC 2007), pp. 75-94. , LNCS 4746 Cristian, F., (1989) Exception Handling. Dependability of Resilient Computers, pp. 68-97. , Blackwell Scientific Publications Da Brito, S.P.H., Rocha, C.R., Filho, F.C., Martins, E., Rubira, C.M.F., A method for modeling and testing exceptions in component-based software development (2005) Lectures Notes in Computer Science, 3747, pp. 61-79 Ferreira, J., Martins, E., (2010) Intraprocedural Exceptional Flow from the Uml 2.0 Activity Diagram (In Portuguese), , Technical report Filho, F.C., Brito, P.H.S., Rubira, C.M.F., A framework for analyzing exception flow in software architectures (2005) SIGSOFT Softw. Eng. Notes, 30 (4), pp. 1-7 Fu, C., Ryder, B.G., Milanova, A., Wonnacott, D., Testing of java web services for robustness (2004) Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pp. 23-34. , ACM Press Goodenough, J.B., Exceptional handling: Issues and a proposed notation (1975) Commun. ACM, 18 (12), pp. 683-696 Harrold, M.J., Soffa, M.L., (1994) Efficient Computation of Interprocedural Definition-use Chains, 16 (2), pp. 175-204. , ACM Transactions on Programming Languages and Systems Laprie Jean-Claude, Arlat Jean, Beounes Christian, Kanoun Karama, Definition and analysis of hardware- and software-fault-tolerant architectures (1990) Computer, 23 (7), pp. 39-51. , DOI 10.1109/2.56851 Lee, P.A., Anderson, T., (1990) Fault Tolerance: Principles and Practice, , 2nd edition. Springer-Verlag, New York, Secaucus, NJ, USA (2007) Uml 2.1.2 Superstructure Specification/, November, , http://www.omg.org/spec/UML/2.1.2/Superstructure/PDF, OMG - Object Management Group Reimer, D., Srinivasan, H., Analyzing exception usage in large java applications (2003) Proc. of Workshop on Exception Handling in Object-Oriented Systems, , July Robillard, M.P., Murphy, G.C., Static analysis to support the evolution of exception structure in object-oriented systems (2003) ACM Transactions on Software Engineering and Methodology, 12 (2), pp. 191-221. , DOI 10.1145/941566.941569 Rubira, C.M.F., De Lemos, R., Ferreira, G.R.M., Castor Filho, F., Exception handling in the development of dependable component-based systems (2005) Software - Practice and Experience, 35 (3), pp. 195-236. , DOI 10.1002/spe.632 Sinha Saurabh, Harrold Mary Jean, Criteria for testing exception-handling constructs in Java programs (1999) Conference on Software Maintenance, pp. 265-274 Sloman, M., Kramer, J., (1987) Distributed Systems and Computer Networks, , Prentice Hall International (UK) Ltd., Hertfordshire Stahl, T., Volter, M., (2006) Model-Driven Software Development: Technology, Engineering Management, , John Wiley and Sons, Chichester Szyperski, C., (2002) Component Software: Beyond Object-Oriented Programming, , 2nd edition. Addison-Wesley Longman, Publishing, Boston, MA, USA