Behaviour Directed Testing of Auto-code Generators

Sampath, Prahladavaradan; Rajeev, A. C.; Ramesh, S.; Shashidhar, K. C.

doi:10.1109/sefm.2008.13

Cited by 5 publications

(3 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The validation of the generated models is left to the tester. Finally, Sampath et al [91,96] focus on test model generation for testing auto-code generators (ACG). They focus on covering not only the syntactic aspects of a translation, but its semantics too.…”

Section: Test Data Generationmentioning

confidence: 99%

Model Transformation Testing and Debugging: A Survey

et al. 2022

View full text Add to dashboard Cite

Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness of model transformations, and thus, detecting and locating bugs in model transformations have been popular research topics in recent years. This surge of work has led to a vast literature on model transformation testing and debugging, which makes it challenging to gain a comprehensive view of the current state of the art. This is an obstacle for newcomers to this topic and MDE practitioners to apply these approaches. This paper presents a survey on testing and debugging model transformations based on the analysis of 140 papers on the topics. We explore the trends, advances, and evolution over the years, bringing together previously disparate streams of work and providing a comprehensive view of these thriving areas. In addition, we present a conceptual framework to understand and categorise the different proposals. Finally, we identify several open research challenges and propose specific action points for the model transformation community.

show abstract

Section: Test Data Generationmentioning

confidence: 99%

Model Transformation Testing and Debugging: A Survey

et al. 2022

View full text Add to dashboard Cite

show abstract

“…Sampath et al also employ back-to-back-testing in their "behavior directed testing" [32] approach. This approach proposes the use of behavioral test specifications, given as finite-state automatons that model action sequences.…”

Section: Related Workmentioning

confidence: 99%

Back-To-Back Testing of Model-Based Code Generators

Jörges

Steffen

2014

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

View full text Add to dashboard Cite

Abstract. In this paper, we present the testing approach of the Genesys code generator framework. The employed approach is based on back-toback-testing, which tests the translation performed by a code generator from a semantic perspective rather than just checking for syntactic correctness of the generation result. We describe the basic testing framework and show that it scales in three dimensions: parameterized tests, testing across multiple target platforms and testing on multiple meta-levels.In particular, the latter is only possible due to the fact that Genesys code generators are constructed as models. Furthermore, in order to facilitate simplicity, Genesys consistently employs one single notation for all artifacts involved in this testing approach: Test data, test cases, the code generators under test, and even the testing framework itself are all modeled using the same graphical modeling language.

show abstract

“…TRAVES took ≈30s to generate 37 inference trees from AST, and ≈77s to generate and check the verificationconditions. We have applied TRAVES to a large test-suite of Stateflow charts created as part of our earlier project on testcase generation for Stateflow code generators [23,25]. The charts in this suite are small in size, but aim to check complex behaviours exhibited in the presence of history junctions, multi-level transitions, etc.…”

Section: Implementation and Case-studiesmentioning

confidence: 99%

Translation Validation for Stateflow to C

Sampath¹,

Rajeev²,

Ramesh³

2014

Proceedings of the 51st Annual Design Automation Conference

Self Cite

View full text Add to dashboard Cite

Code generators play a critical role in the Model Based Development of complex software systems. This is particularly true in the automotive domain, where the code autogenerated from Simulink/Stateflow models is directly flashed onto embedded controllers. Testing based approaches are popular for validating the translation of models to code. However, these approaches cannot guarantee the absence of bugs introduced during translation.We use translation validation as an alternative to testing. By checking the equivalence between a Stateflow model and C code, it can provide formal guarantees about the absence of bugs introduced during translation. To the best of our knowledge, this is the first application of translation validation to code generation from hierarchical statemachine modeling languages. Our approach builds upon the significant progress over the last few years in software model-checking: we use a state-of-the-art off-the-shelf software model-checker, CBMC, to make translation validation practical for a complex modeling language like Stateflow. We have applied this approach to Stateflow models from the automotive domain.

show abstract

Behaviour Directed Testing of Auto-code Generators

Cited by 5 publications

References 18 publications

Model Transformation Testing and Debugging: A Survey

Model Transformation Testing and Debugging: A Survey

Back-To-Back Testing of Model-Based Code Generators

Translation Validation for Stateflow to C

Contact Info

Product

Resources

About