Systematic Testing of Model-Based Code Generators

@article{Strmer2007SystematicTO,
  title={Systematic Testing of Model-Based Code Generators},
  author={Ingo St{\"u}rmer and Mirko Conrad and Heiko D{\"o}rr and Peter Pepper},
  journal={IEEE Transactions on Software Engineering},
  year={2007},
  volume={33},
  pages={622-634}
}
Unlike for conventional compilers for imperative programming languages such as C or ADA, no establishedmethods for safeguarding artifacts generated by model-based code generators exist despite progress in the field of formalverification. Several test approaches dominate the engineering practice. This paper describes a general and toolindependenttest architecture for code generators used in model-based development. We evaluate the effectiveness of ourtest approach by means of testing… CONTINUE READING
Highly Cited
This paper has 49 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 32 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 45 references

Model-Based Testing of Embedded Automotive Software Using MTest

  • K. Lamberg
  • J. Passenger Cars—Electronic and Electrical…
  • 2005
Highly Influential
3 Excerpts

Development of Safety-Critical Software Using Automatic Code Generation

  • M. Beine, R. Otterbach, M. Jungmann
  • Proc. Soc. Automotive Eng. World Congress, Mar…
  • 2004
Highly Influential
4 Excerpts

Practical Validation of Model Based Code Generation for Automotive Applications

  • S. Toeppe
  • Proc. 18th AIAA/IEEE/ SAE Digital Avionics System…
  • 1999
Highly Influential
5 Excerpts

Automatic Evaluation of ECU Software Tests

  • M. Conrad, S. Sadeghipour, H. W. Wiesbrock
  • Proc. Soc. Automotive Eng. Int’l Congress, Mar…
  • 2006
1 Excerpt

Validation Suite for ANSI C, http://www.plumhall

  • Plum Hall
  • 2005
1 Excerpt

Similar Papers

Loading similar papers…