Testing .NET Code with YETI

Testing code is one of the central techniques for quality assessment of code. Generating test cases manually, however, is costly and inherently biased by the human point of view. While this might not be an issue for end-user code, it is problematic for developing libraries. The York Extendible Testing Infrastructure (YETI) is an automated random testing infrastructure supporting multiple programming languages (Java, JML, and . NET). It tests code at random and decouples the engine from the strategies and the language used. This article presents the . NET binding.

[1]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[2]  Alain Plantec,et al.  Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar , 2007, Ada-Europe.

[3]  Robert B. France,et al.  A Generic Approach for Automatic Model Composition , 2008, MoDELS.

[4]  Bertrand Meyer,et al.  On the Predictability of Random Tests for Object-Oriented Software , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

[5]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[6]  Laurence Tratt,et al.  A model driven approach to model transformations. , 2003 .

[7]  Catherine Oriat,et al.  Jartege: A Tool for Random Generation of Unit Tests for Java Classes , 2004, QoSA/SOQUA.

[8]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[9]  Yannis Smaragdakis,et al.  JCrasher: an automatic robustness tester for Java , 2004, Softw. Pract. Exp..

[10]  Laurent Nana,et al.  Cheddar: a flexible real time scheduling framework , 2004 .

[11]  José L. Fernández,et al.  KR10 An Effective Collaboration of a Modeling Tool and a Simulation and Evaluation Framework , 2008 .

[12]  Michael D. Ernst,et al.  Eclat: Automatic Generation and Classification of Test Inputs , 2005, ECOOP.

[13]  Laurent Pautet,et al.  From the prototype to the final embedded system using the Ocarina AADL tool suite , 2008, TECS.

[14]  Mirko Seifert,et al.  Derivation and Refinement of Textual Syntax for Models , 2009, ECMDA-FA.