Automatic Test Generation for Model-Based Code Generators

2006 ◽  
Author(s):  
Sergey V. Zelenov ◽  
Denis V. Silakov ◽  
Alexander K. Petrenko ◽  
Mirko Conrad ◽  
Ines Fey
Keyword(s):  
Test Generation ◽  
Automatic Test Generation ◽  
Automatic Test ◽  
Model Based ◽  
Code Generators

scholarly journals Danfoss EKC Trial Project Deliverables

2003 ◽  
Vol 10 (48) ◽  
Author(s):  
Kim G. Larsen ◽  
Ulrik Larsen ◽  
Brian Nielsen ◽  
Arne Skou ◽  
Andrzej Wasowski
Keyword(s):  
Test Generation ◽  
Code Generation ◽  
State Model ◽  
Application Domain ◽  
Automatic Test Generation ◽  
Automatic Test ◽  
Model Based ◽  
Promising Tool ◽  
Project Deliverables

This report documents the results of the Danfoss EKC trial project on model based development using IAR visualState. We present a formal state-model of a refrigeration controller based on a specification given by Danfoss. We report results on modeling, verification, simulation, and code-generation. It is found that the IAR visualState is a promising tool for this application domain, but that improvements must be done to code-generation and automatic test generation.

Automatic Test Generation for Digital Electronic Circuits

1994 ◽  
Vol 73 (2) ◽  
pp. 19-29 ◽  
Author(s):  
Tapan J. Chakraborty ◽  
Scott Davidson ◽  
Fadi Maamari ◽  
Kwang-Ting Cheng
Keyword(s):  
Test Generation ◽  
Electronic Circuits ◽  
Automatic Test Generation ◽  
Automatic Test

scholarly journals Validation and automatic test generation on UML models

2002 ◽  
Vol 66 (2) ◽  
pp. 33-49 ◽  
Author(s):  
David Lugato ◽  
Céline Bigot ◽  
Yannick Valot
Keyword(s):  
Test Generation ◽  
Automatic Test Generation ◽  
Automatic Test ◽  
Uml Models
Sign in / Sign up

Export Citation Format

Share Document