Exception handling in software analysis

مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی

منو

" Exception handling in software analysis "
Muhammad Jamal Sheikh

Document Type	:	Latin Dissertation
Language of Document	:	English
Record Number	:	54647
Doc. No	:	TL24601
Call number	:	‭MR53693‬
Main Entry	:	Muhammad Jamal Sheikh
Title & Author	:	Exception handling in software analysis\ Muhammad Jamal Sheikh
College	:	McGill University (Canada)
Date	:	2008
Degree	:	M.Sc.
student score	:	2008
Page No	:	98
Abstract	:	With the advancement in technology, software systems are more and more in control of devices that we use in our daily lives. Complex computer systems are increasingly built for highly critical tasks. Failures of such systems may have severe consequences ranging from loss of business opportunities, physical damage, to loss of human lives. Systems with such responsibilities should be highly dependable. Discovering and documenting potential abnormal situations and irregular user behavior that can interrupt normal system interaction is of tremendous importance in the context of dependable systems development. Exceptions that are identified during requirements elicitation have to be systematically carried over to a subsequent analysis phase, and included in the system specification in order to ensure that the implementation of the system later on can deal with all relevant exceptional situations. This thesis advocates a more methodical approach to exception handling by extending the requirements elicitation and analysis phases of the Fondue development process to address exceptions. Exceptions are discovered at the requirements stage of software development using a use-case based approach, and then mapped to the Fondue specification models: the environment model, in which exceptional messages that signal exceptional situations to the system, the concept model, in which exceptional state is specified that keeps track of the failures of secondary actors, and the operation model, in which recovery functionality is specified. The proposed ideas are illustrated by a comprehensive case study, the 407 ETR. Electronic Toll Collection system.
Subject	:	Applied sciences; Computer science; 0984:Computer science
Added Entry	:	McGill University (Canada)