Proceedings Article10.1109/ISOLA.2006.70
Automatic Test Generation for Model-Based Code Generators
S. V. Zelenov,Denis Silakov,Alexander K. Petrenko,Mirko Conrad,Ines Fey +4 more
- 15 Nov 2006
- pp 75-81
23
TL;DR: This paper presents a novel testing approach for model-based design tools, termed GraphOTK, and applies it to the optimizing component of a code generator for Simulink and Stateflow models.
read more
Abstract: This paper presents a novel testing approach for model-based design tools, termed GraphOTK, and applies it to the optimizing component of a code generator for Simulink and Stateflow models.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps
TL;DR: The goal of this paper is to review these approaches regarding their suitability for the domain of production automation in order to identify current trends and research gaps.
Testing-based translation validation of generated code in the context of IEC 61508
Mirko Conrad
- 01 Dec 2009
TL;DR: A workflow for verification and validation of models and generated code will be proposed and as far as possible mapped onto the objectives of IEC 61508-3, with a cornerstone of this workflow testing for numerical equivalence between models andgenerated code.
34
Model-based testing of optimizing compilers
S. V. Zelenov,S. A. Zelenova +1 more
- 26 Jun 2007
TL;DR: In the paper, the process of analyzing an optimization algorithm and building a formal model is considered in detail, and the other part of the method, test selection and test running is considered.
Leveraging metamorphic testing to automatically detect inconsistencies in code generator families
TL;DR: This paper states that it is crucial to verify the correct behaviour of code generators in order to preserve software quality and reliability.
A review on verification and validation for embedded software
TL;DR: This paper focused on identifying research trends in order to provide a review of the challenges that emerge during the verification and validation processes of embedded software.
9
References
Overview of existing safeguarding techniques for automatically generated code
TL;DR: In this paper, the authors present and discuss state-of-the-art techniques for safeguarding automatic code generation applied in model-based development, which is often deployed in safety-related environments, the quality of the code generators is of paramount importance.
58
Verified Code Generation for Embedded Systems
TL;DR: This paper presents a new optimizing code generation method that can deploy SIMD operations successfully while also verifying that the generated code is a correct translation of the input program.
22
Graph Transformations for Model-based Testing
Mirko Conrad,Heiko Dörr,Ingo Stürmer,Andy Schürr +3 more
- 25 Mar 2002
TL;DR: This paper shows how “raw” classification trees are transformed into complete classification trees using an extensible tool, the classification-tree transformer (CTT), which is generated using the graph rewriting system PROGRES.
•Journal Article
Integration Of The Code Generation Approach In The Model-Based Development Process By Means Of Tool Certification
TL;DR: This paper proposes a testing approach for code generation tools and contributes to answering the question of how tools such as code generators can be integrated into the model-based development process by means of tool certification.
4
Classification trees for partition testing
Matthias Grochtmann,Klaus Grimm +1 more
TL;DR: The classification‐tree method suggested in this paper supports the systematic determination and description of test cases based on the idea of partition testing by means of the stepwise partition of the input domain by Means of classifications.
Related Papers (5)
Neil Audsley,l. Bate,Steven Crook-Dawkins +2 more
- 08 Mar 2003
Yongfeng Yin,Bin Liu +1 more
- 28 Dec 2009