JTorX: A tool for on-line model-driven test derivation and execution

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6015 LNCS, Issue , 2010, Pages 266-270

  Belinfante, Axel ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL BASED TESTING; MODEL-DRIVEN; ONLINE MODELS; TEST CASE; TEST DERIVATION; ONLINE MODELING;

COMPUTER SOFTWARE; MODEL CHECKING;

MODEL CHECKING; INTEGRATION TESTING;

EID: 77951568200     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-12002-2_21     Document Type: Conference Paper

References (17)

1. th Int. Workshop on Testing of Communicating Systems, pp. 179-196. Kluwer, Dordrecht (1999)
2. Belinfante, A.F.E., Frantzen, L., Schallhart, C.: Tools for test case generation. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 391-438. Springer, Heidelberg (2005)
3. van der Bijl, H.M., Rensink, A., Tretmans, J.: Compositional testing with ioco. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 86-100. Springer, Heidelberg (2004)
4. Blom, S.C.C., van de Pol, J.C., Weber, M.: Bridging the gap between enumerative and symbolic model checkers. Technical Report TR-CTIT-09-30, Centre for Telematics and Information Technology, University of Twente, Enschede (2009)
5. Bohnenkamp, H.C., Belinfante, A.F.E.: Timed testing with TorX. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 173-188. Springer, Heidelberg (2005)
6. Frantzen, L.: iocoChecker (2008), http://www.cs.ru.nl/~lf/tools/ iocochecker
7. Garavel, H., et al.: Cadp 2006: A toolbox for the construction and analysis of distributed processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 158-163. Springer, Heidelberg (2007)
8. GraphML work group: GraphML file format, http://graphml.graphdrawing.org
9. Groote, J.F., et al.: The mcrl2 toolset. In: Proc. International Workshop on Advanced Software Development Tools and Techniques, WASDeTT 2008 (2008)
10. Mostowski, W., Poll, E., Schmaltz, J., Tretmans, J., Schreur, R.W.: Model-based testing of electronic passports. In: Alpuente, M. (ed.) FMICS 2009. LNCS, vol. 5825, pp. 207-209. Springer, Heidelberg (2009)
11. Sijtema, M.: Developing XBus2 - a software bus, that is maintainable, testable and backwards-compatible. Internship Report, University of Twente (2009)
12. Tretmans, J.: Test generation with inputs, outputs, and repetitive quiescence. Software - Concepts and Tools 17(3) (1996)
13. Tretmans, J.: Model Based Testing with Labelled Transition Systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 1-38. Springer, Heidelberg (2008)
14. Tretmans, J., Brinksma, H.: TorX: Automated model-based testing. In: Hartman, A., Dussa-Ziegler, K. (eds.) First European Conference on Model-Driven Software Engineering, Nuremberg, Germany, Nuremberg, Germany, December 2003, pp. 13-43 (2003)
15. yWorks: yEd, http://www.yworks.com/en/products-yed-about.html
16. Jararaca manual, http://fmt.cs.utwente.nl/tools/torx/jararaca.1.html
17. JTorX website, http://fmt.cs.utwente.nl/tools/jtorx/