Modeling, analysis and testing of safety issues: an event-based approach and case study

Authors:
Fevzi Belli;Axel Hollmann;Nimal Nissanke
Affiliations:
University of Paderborn, Germany;University of Paderborn, Germany;London South Bank University, London, UK
Venue:
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Year:
2007

Citing 9
Cited 1

Specification of Fault-Tolerant System Issues by predicate/Transition Nets and Regular Expressions-Approach and Case Study

IEEE Transactions on Software Engineering
Protocol testing: review of methods and relevance for software testing

ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Safeware: system safety and computers

Safeware: system safety and computers
The STATEMATE semantics of statecharts

ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated test oracles for GUIs

SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Safety Critical Computer Systems

Safety Critical Computer Systems
Theory of Automata

Theory of Automata
Finite-State Testing and Analysis of Graphical User Interfaces

ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
Testing Software Design Modeled by Finite-State Machines

IEEE Transactions on Software Engineering

Event-based input validation using design-by-contract patterns

ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes an event-based approach with an intuitive simple graphical representation of the system and its environment for designing, analysis and testing safety-critical systems. The events are user actions and system responses, and are ordered according to the threats posed by the resulting system states. This ordering is an integral aspect of the graphical representation, making it possible to directly identify the risks associated with each and every functionally desirable, and undesirable, event relative to one another. Tests that target safety requirements are devised by examining possible traces of these events, represented compactly by regular expressions, exhibiting particular risk patterns such as human error and system failures.