Please use this identifier to cite or link to this item:
Type: Artigo de evento
Title: Validation Of Exception Handling In The Development Of Dependable Component-based Software Systems
Author: Ferreira J.
Martins E.
Rubira C.M.F.
Da Silva Brito P.H.
Abstract: 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.
Citation: Proceedings - 2011 Latin-american Symposium On Dependable Computing, Ladc 2011. , v. , n. , p. 136 - 145, 2011.
Rights: fechado
Identifier DOI: 10.1109/LADC.2011.23
Date Issue: 2011
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File SizeFormat 
2-s2.0-79959416823.pdf1.7 MBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.