Model-Based Testing of Distributed Functions

2012 ◽  
pp. 151-181
Author(s):  
Thomas Bauer ◽  
Robert Eschbach
Keyword(s):  
System Integration ◽  
Informal System ◽  
Model Based ◽  
Model Based Testing ◽  
System Components ◽  
Stage System ◽  
System Requirements ◽  
Testing Approach ◽  
Behavior Models ◽  
Integration Stage

The standard-compliant development of component-based embedded systems calls for systematic coverage of product requirements and for testing component interactions at the system integration stage. System functionality is represented by a set of complex distributed functions, i.e., functions that are spread across several system components. This chapter presents a novel automated model-based testing approach for distributed functions that uses informal system requirements and component behavior models. The test modeling notation makes it possible to model component interactions and composite functions with defined pre- and post-conditions. Test cases are automatically generated as scenarios of distributed functions represented by sequences of component interactions.

scholarly journals Towards an Automated Model-Based Test Generation Approach from Controlled Natural Language Specifications Written in Arabic

2021 ◽  
Author(s):  
Moez Krichen ◽  
Seifeddine Mechti
Keyword(s):  
Natural Language ◽  
Test Generation ◽  
Arabic Language ◽  
Test Cases ◽  
New Model ◽  
Controlled Natural Language ◽  
Model Based ◽  
Case Grammar ◽  
Model Based Testing ◽  
Testing Approach

<div>We propose a new model-based testing approach which takes as input a set of requirements described in Arabic Controlled Natural Language (CNL) which is a subset of the Arabic language generated by a specific grammar. The semantics of the considered requirements is defined using the Case Grammar Theory (CTG). The requirements are translated into Transition Relations which serve as an input for test cases generation tools.</div>

scholarly journals Towards an Automated Model-Based Test Generation Approach from Controlled Natural Language Specifications Written in Arabic

2021 ◽  
Author(s):  
Moez Krichen ◽  
Seifeddine Mechti
Keyword(s):  
Natural Language ◽  
Test Generation ◽  
Arabic Language ◽  
Test Cases ◽  
New Model ◽  
Controlled Natural Language ◽  
Model Based ◽  
Case Grammar ◽  
Model Based Testing ◽  
Testing Approach

<div>We propose a new model-based testing approach which takes as input a set of requirements described in Arabic Controlled Natural Language (CNL) which is a subset of the Arabic language generated by a specific grammar. The semantics of the considered requirements is defined using the Case Grammar Theory (CTG). The requirements are translated into Transition Relations which serve as an input for test cases generation tools.</div>

scholarly journals Model-Based Testing Applied to Software Components of Satellite Simulators

2018 ◽  
Vol 2018 ◽  
pp. 1-14
Author(s):  
Paulo Diego Barbosa da Silva ◽  
Ana Maria Ambrosio ◽  
Emilia Villani
Keyword(s):  
Space Research ◽  
Test Case ◽  
Software Components ◽  
State Machines ◽  
Operating Modes ◽  
Model Based ◽  
Model Based Testing ◽  
Space Programs ◽  
Testing Approach ◽  
Correct Implementation

Operational simulators have a fundamental role in space programs. During a satellite operation, these simulators are essential for validating critical manoeuvres, testing new on-board software versions, and supporting the diagnosis of anomalies. With the purpose of reusing the operational simulators, the Brazilian National Institute for Space Research has proposed a new standard for the specification of the components that must be integrated in their in-house developed simulators. The new standard describes the behaviour of satellite subsystems using cause-effect tables that relate telecommands, electrical switches, equipment working states, energy consumption, telemetries, and operating modes of the subsystem. Using this new standard as input, this work proposes an approach that merges model-based testing and model checking to verify the correct implementation of new components in the satellite simulator. The verification approach consists of extracting state machines from the cause-effect tables and used it to automatically derive a test case suite. In order to validate the proposal, we applied it to three different satellite subsystems and assessed the results obtained from the test campaigns. In all the three cases, the proposed approach identified errors in the simulator components that were not initially detected by the traditional testing approach used at the Brazilian National Institute for Space Research.

Sign in / Sign up

Export Citation Format

Share Document