The STUDIA UNIVERSITATIS BABE┼×-BOLYAI issue article summary

The summary of the selected article appears at the bottom of the page. In order to get back to the contents of the issue this article belongs to you have to access the link from the title. In order to see all the articles of the archive which have as author/co-author one of the authors mentioned below, you have to access the link from the author's name.

 
       
         
    STUDIA INFORMATICA - Issue no. 2 / 2015  
         
  Article:   ENVIRONMENT MODEL-BASED TESTING OF REACTIVE SYSTEMS: A CASE STUDY ON A SCADE MODEL.

Authors:  .
 
       
         
  Abstract:   Model-based testing can facilitate automatic test generation, thus, it can signicantly decrease testing costs. This paper presents a case study where model-based testing was performed on a SCADE (Safety Critical Application Development Environment) system. Test inputs were generated automatically based on a non-deterministic, realistic environment model expressed in Lutin. The goal of the case study was to investigate whether such a realistic test environment can increase model and oracle coverage. The main contribution of the paper consists in filling in a gap in the existing literature, since there are no other works available discussing both the model and oracle coverage obtained with Lutin on a SCADE system.

2010 Mathematics Subject Classification. 68N30, 68T35.
Key words and phrases. Model-based testing, Reactive systems, SCADE.
 
         
     
         
         
      Back to previous page