scholarly journals Model Based Object-Oriented Software Testing

2019 ◽  
pp. 13-20
Author(s):  
S. Saravana Kumar
Keyword(s):  
Quality Control ◽  
Software Development ◽  
Software Testing ◽  
Research Result ◽  
Object Oriented ◽  
Automatic Testing ◽  
Test Case ◽  
Model Based ◽  
Model Based Testing ◽  
Recent Trends

Testing is an important phase of quality control in Software development. Software testing is necessary to produce highly reliable systems. The use of a model to describe the behavior of a system is a proven and major advantage to test. In this paper, we focus on model-based testing. The term model- based testing refers to test case derivation from a model representing software behavior. We discuss model-based approach to automatic testing of object oriented software which is carried out at the time of software development. We review the reported research result in this area and also discuss recent trends. Finally, we close with a discussion of where model-based testing fits in the present and future of software engineering.

Tools and Techniques for Model Based Testing

2010 ◽  
pp. 226-249
Author(s):  
Swapan Bhattacharya ◽  
Ananya Kanjilal ◽  
Sabnam Sengupta
Keyword(s):  
Software Development ◽  
Development Time ◽  
Domain Model ◽  
Test Case Generation ◽  
Test Case ◽  
Model Based ◽  
Testing Tools ◽  
Research Activities ◽  
Model Based Testing ◽  
Tools And Techniques

Software testing has gained immense importance in the present competitive world of developing software more quickly, more efficiently and more accurately. Testing activity is carried out throughout the lifecycle of software development and not only towards the end of development. Time and effort required to correct errors, detected later is much more compared to those, which are detected earlier. This has direct impact on costs and has led to a splurge of research activities in this domain. Model-based testing has recently gained attention with the popularization of modeling itself. It refers to testing and test case generation based on a model that describes the behavior of the system. The OMG initiative MDA has revolutionized the way models would be used for software development. There are a number of modeling techniques in use today- some have formal syntax like Z, VDM while some are semi-formal like UML. We have made a comprehensive summary of a considerable number of research works on Model Based testing. First, the issues, challenges and problems of model based testing have been discussed. Then the different methods developed for testing or test case generation based on the models are summarized. Finally a list of model based testing tools used for testing has been collectively presented.

Integrating model checking and model based testing for industrial software development

2019 ◽  
Vol 104 ◽  
pp. 88-102 ◽  
Author(s):  
Emília Villani ◽  
Rodrigo Pastl Pontes ◽  
Guilherme Kisselofl Coracini ◽  
Ana Maria Ambrósio
Keyword(s):  
Model Checking ◽  
Software Development ◽  
Model Based ◽  
Model Based Testing ◽  
Industrial Software

scholarly journals Test case prioritization techniques for model-based testing: a replicated study

2018 ◽  
Vol 26 (4) ◽  
pp. 1451-1482 ◽  
Author(s):  
João Felipe S. Ouriques ◽  
Emanuela G. Cartaxo ◽  
Patrícia D. L. Machado
Keyword(s):  
Test Case ◽  
Test Case Prioritization ◽  
Model Based ◽  
Model Based Testing

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