3 research outputs found
A model-based approach to automated test generation and error localization for Simulink/Stateflow
Simulink/Stateflow is a popular commercial model-based development tool for many industrial domains. For safety and security concerns, verification and testing must be performed on the Simulink/Stateflow designs and the generated code. We present an automatic test generation approach for Simulink/Stateflow based on its translation to a formal model, called Input/Output Extended Finite Automata (I/O-EFA), that is amenable to formal analysis such as test generation. The approach automatically identifies a set of input-output sequences to activate all executable computations in the Simulink/Stateflow diagram by applying three different techniques, model checking, constraint solving and reachability reduction & resolution. These tests (input-output sequences) are then used for validation purposes, and the failed versus passed tests are used to localize the fault to plausible Simulink/Stateflow blocks. The translation and test generation approaches are automated and implemented in a toolbox that can be executed in Matlab that interfaces with NuSMV
Architecture-driven fault-based testing for software safety
Ankara : The Department of Computer Engineering and the Graduate School of Engineering and Science of Bilkent University, 2014.Thesis (Master's) -- Bilkent University, 2014.Includes bibliographical references leaves 159-166.A safety-critical system is defined as a system in which the malfunctioning of
software could result in death, injury or damage to environment. To mitigate
these serious risks the architecture of safety-critical systems need to be carefully
designed and analyzed. A common practice for modeling software architecture
is the adoption of architectural perspectives and software architecture viewpoint
approaches. Existing approaches tend to be general purpose and do not explicitly
focus on safety concern in particular. To provide a complementary and dedicated
support for designing safety-critical systems we propose safety perspective and
an architecture framework approach for software safety.
Once the safety-critical systems are designed it is important to analyze these
for fitness before implementation, installation and operation. Hereby, it is important
to ensure that the potential faults can be identified and cost-effective
solutions are provided to avoid or recover from the failures. In this context,
one of the most important issues is to investigate the effectiveness of the applied
safety tactics to safety-critical systems. Since the safety-critical systems
are complex systems, testing of these systems is challenging and very hard to
define proper test suites for these systems. Several fault-based software testing
approaches exist that aim to analyze the quality of the test suites. Unfortunately,
these approaches do not directly consider safety concern and tend to be general
purpose and they doesn’t consider the applied the safety tactics. We propose a
fault-based testing approach for analyzing the test suites using the safety tactic
and fault knowledge.Gürbüz, Havva GülayM.S