14 Tools for Test Case Generation（14生成测试用例的工具）.pdf

14 Tools for Test Case Generation Axel Belinfante1, Lars Frantzen2 ∗ , and Christian Schallhart3 1 Department of Computer Science University of Twente Axel.Belinfante@cs.utwente.nl 2 Nijmegen Institute for Computing and Information Sciences (NIII) Radboud University Nijmegen lf@cs.kun.nl 3 Institut f¨ur Informatik Technische Universit¨at M¨unchen schallha@ 14.1 Introduction The preceding parts of this book have mainly dealt with test theory, aimed at improving the practical techniques which are applied by testers to enhance the quality of soft- and hardware systems. Only if these academic results can be efficiently and successfully transferred back to practice, they were worth the effort. In this chapter we will present a selection of model-based test tools which are (partly) based on the theory discussed so far. After a general introduction of every single tool we will hint at some papers which try to find a fair comparison of some of them. Any selection of tools must be incomplete and might be biased by the back- ground of the authors. We tried to select tools which represent a broad spectrum of different approaches. Also, to provide some insight into recent developments, new tools such as AsmL and AGEDIS have been added. Therefore, the tools differ a lot with respect to theoretical foundation, age, and availability. Due to commercial restrictions, only limited information was available on the theoreti- cal basis of some of the tools. For the same reason, it was not always possible to obtain hands-on experience. Relation to Theory The preceding chapters of this book discuss theory for model-based testing. One could raise the question: what does all this theory bring us, when we want to make (or use) model-based testing tools? A possible answer could be that theory allows us to put different tools into perspective and to reason ab