InRob: An approach for testing interoperability and robustness of real-time embedded software
Journal of Systems and SoftwarePublished 7 March 2011
Fátima Mattiello-Francisco, Eliane Martins, Ana Cavalli, Edgar Toshiro Yano
Citations29
SJR quartileQ1
SJR score0.97
SNIP2.01
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
InRob guides the construction of services, based on formal models, aiming at the specifications of interoperability and robustness of test cases related to delays and time-outs of the messages exchanged in the interfaces of interconnected subsystems.
Abstract
International audience
Keywords
Computer Science
International Organization for Standardization (ISO)
2,963 Citations2003Barry Turner
Testing Object-Oriented Systems: Models, Patterns, and Tools
1,287 Citations1999Robert V. Binder
This book discusses how to develop a Decision Table for Object-oriented Testing, and a Tester's Guide to the UML, and some Assertion Tools for Post-development Testing.
IEEE SoftwareOperational profiles in software-reliability engineering
764 Citations1993Donald Musa
Using an operational profile to guide testing ensures that if testing is terminated and the software is shipped because of schedule constraints, the most-used operations will have received the most testing and the reliability level will be the maximum that is practically achievable for the given test time.
Lecture notes in computer scienceModel-Based Testing of Reactive Systems
500 Citations2005Manfred Broy, Bengt Jönsson +3 more
This chapter discusses Model-Based Testing - A Glossary, which focuses on the development of model-Based Test Case Generation and its applications in I/O-automata Based Testing.
Microelectronics ReliabilitySoftware reliability engineering
496 Citations1972
Software reliability engineering (SRE) assesses how well software-based products and services meet users' operational needs and uses quantitative methods based on reliability measures to do this assessment, to maximize customer satisfaction.
Real-time specification patterns
255 Citations2005Sascha Konrad, Betty H. C. Cheng
This paper created real-time specification patterns in terms of three commonly used real-time temporal logics in order to facilitate the understanding of the meaning of a specification and offers a structured English grammar that includes support for real-time properties.
Timed test cases generation based on state characterization technique
112 Citations2002Abdeslam En‐Nouaary, Rachida Dssouli +2 more
An existing test cases generation technique is adapted, based on state characterization set, to generate timed test cases from a timed system specification, which is a variant of the Alur and Dill model.
IFIP advances in information and communication technologyGenerating Test Cases for a Timed I/O Automaton Model
97 Citations1999Teruo Higashino, Akio Nakata +2 more
An algorithm to decide efficiently whether a given test sequence is executable is proposed and an algorithm to derive such a function from an executable test sequence automatically using a technique for solving linear programming problems is given.
Formal Aspects of ComputingConformance Tests for Real-Time Systems with Timed Automata Specifications
80 Citations2000Rachel Cardell‐Oliver
Uppaal timed automata are transformed into testable timed transition systems (TTTSs) using a test view and Fault hypotheses and a test generation algorithm for TTTSs are defined.
Achievements and exploitation of the AUTOSAR development partnership
76 Citations2006Helmut Fennel, Stefan Bunzel +22 more
The AUTOSAR initiative is described, a methodology that supports a distributed, function-driven development process and standardizes the software-architecture for each ECU in such a system is defined, and compatible software-interfaces at application-level are specified.
IFIP advances in information and communication technologyHit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services
67 Citations1999Ana Cavalli, David Lee +2 more
IEEE Transactions on ComputersExtending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs
45 Citations2008Mercedes G. Merayo, Manuel Núñez +1 more
A timed extension of the extended finite state machines model that considers that (output) actions take time to be performed and defines a notion of timed test and defines how to apply tests to implementations.
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
32 Citations2008Ana Cavalli, Edgardo Montes De +2 more
Two different tools to test systems with time constraints are presented, the first allows to automatically generate test cases based on model-based active testing techniques and the second is based on passive testing approach to check that the collected system traces respect a set of formal properties called Invariants.
Experiences with a CANoe-based fault injection framework for AUTOSAR
29 Citations2010Patrick E. Lanigan, Priya Narasimhan +1 more
This work evaluates the feasibility of leveraging the CANoe simulation environment to develop software-based methods for injecting faults into AUTOSAR applications and describes a proof-of-concept fault-injection framework.
SAE technical papers on CD-ROM/SAE technical paper seriesSystem Safety in Computer-Controlled Automotive Systems
29 Citations2000Nancy G. Leveson
The author discuss the safeware methodology which extends the basic system safety engineering process to handle digital components and subsystems to support the design, implementation and maintenance of complex, safety-critical systems.
Lecture notes in computer scienceSpecification of Timed EFSM Fault Models in SDL
27 Citations2007Samrat S. Batth, Elisangela Rodrigues Vieira +2 more
The extended finite state machine model has the capability of representing a class of timing faults, which otherwise may not be detected in an IUT, which is applied to the SDL specification based on the EFSM model to generate a test sequence that can detect these timing faults.
Electronic Notes in Theoretical Computer ScienceTowards Property Oriented Testing
22 Citations2007Patrícia D. L. Machado, Daniel A. Silva +1 more
This paper presents an overview of approaches to property oriented testing for reactive systems, focusing on labelled and symbolic transition systems.
Lecture notes in computer scienceDesigning Fault Injection Experiments Using State-Based Model to Test a Space Software
14 Citations2007Ana Maria Ambrósio, Fátima Mattiello-Francisco +3 more
This paper presents an evaluation of the CoFI testing methodology as applied to actual space software, where deterministic fault cases derived from state-based models were executed using the software-implemented fault injection technique.
Lecture notes in computer scienceAutomatic Interoperability Test Case Generation Based on Formal Definitions
11 Citations2008Alexandra Desmoulin, César Viho
A method for generating interoperability test cases is described that is equivalent to classical methods in terms of noninteroperability detection and avoids state-space explosion problem.
A Brazilian Software Industry Experience in Using ECSS for Space Application Software Development
3 Citations2007Fátima Mattiello-Francisco, Valdivino Alexandre de Santiago Júnior +3 more
The tailoring of ECSS software product assurance requirements aiming at the development of scientific satellite payload embedded software by a Brazilian software supplier and the benefits provided to the supplier in terms of process improvements are presented herein.
Extended interoperability models for timed system robustness testing
2 Citations2009Fátima Mattiello-Francisco, Eliane Martins +3 more
A new approach to enrich interoperability formal models with timing deviations in order to derivate robustness test cases is proposed and the combination of such an approach with architectural aspects of the test system improves the testing process, adding controllability and observability.
AIP conference proceedingsPayload Software Validation and Integration
2 Citations2006Fátima Mattiello-Francisco
This work applies an operational profile technique aiming at an effort reduction in both time and cost on the process of validation and integration of the X‐ray imager software embedded in the MIRAX satellite mission payload.
Biblioteca Digital da Memória Científica do INPE (National Institute for Space Research)Payload software validation and integration
1 Citations2006Mattiello-Francisco, Maria de Fátima