Rezumat articol ediţie STUDIA UNIVERSITATIS BABEŞ-BOLYAI

În partea de jos este prezentat rezumatul articolului selectat. Pentru revenire la cuprinsul ediţiei din care face parte acest articol, se accesează linkul din titlu. Pentru vizualizarea tuturor articolelor din arhivă la care este autor/coautor unul din autorii de mai jos, se accesează linkul din numele autorului.

 
       
         
    STUDIA INFORMATICA - Ediţia nr.2 din 2015  
         
  Articol:   ENVIRONMENT MODEL-BASED TESTING OF REACTIVE SYSTEMS: A CASE STUDY ON A SCADE MODEL.

Autori:  . 		 
       
         
  Rezumat:   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.
 
         
     
         
         
      Revenire la pagina precedentă