School of Computing

Exception Handling in the Software Lifecycle

R de Lemos and A. Romanovsky

International Journal of Computer Systems Science and Engineering, 16(2):182-196, March 2001.

Abstract

Exception handling is a structuring technique that facilitates the design of systems by encapsulating the process of error recovery. Traditional methods deal with exceptions at late design and implementation phases, hence losing the context of error detection and recovery, and the correlation between exceptions and their handlers. The proposed approach emphasises the separation of treatments of requirements-related, design-related, and implementation-related exceptions during the software lifecycle, by specifying the exceptions and their handlers in the context where faults are identified. The description of exceptional behaviour is supported by a co-operative object-oriented approach that allows the representation of collaborative behaviour between objects at different phases of the software development. The feasibility of the approach is demonstrated in terms of a benchmark case study.



Bibtex Record

@article{1186,
author = {R de Lemos and A. Romanovsky},
title = {{E}xception {H}andling in the {S}oftware {L}ifecycle},
month = {March},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1186},
    publication_type = {article},
    submission_id = {8819_985196780},
    journal = {International Journal of Computer Systems Science and Engineering},
    volume = {16},
    number = {2},
    publisher = {CRL Publishing},
    ISSN = {0267-6192},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014