%0 Conference Proceedings
%T Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing
%+ Sherpa Engineering
%+ Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA))
%+ Mathématiques Appliquées aux Systèmes - EA 4037 (MAS)
%A Bannour, Boutheina
%A Escobedo, Jose, Pablo
%A Gaston, Christophe
%A Gall, Pascale, Le
%Z Part 4: Testing of Embedded Systems
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 24th International Conference on Testing Software and Systems (ICTSS)
%C Aalborg, Denmark
%Y Brian Nielsen
%Y Carsten Weise
%I Springer
%3 Testing Software and Systems
%V LNCS-7641
%P 119-135
%8 2012-11-19
%D 2012
%R 10.1007/978-3-642-34691-0_10
%K Model-based testing
%K off-line testing
%K real-time systems
%K test suite generation
%K verdict computation
%K symbolic execution
%K timed output-input symbolic transition systems
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X Model-based conformance testing of reactive systems consists in taking benefit from the model for mechanizing both test data generation and verdicts computation. On-line test case generation allows one to apply adaptive on-the-fly analyzes to generate the next inputs to be sent and to decide if observed outputs meet intended behaviors. On the other hand, in off-line approaches, test suites are pre-computed from the model and stored under a format that can be later performed on test-beds. In this paper, we propose a two-passes off-line approach where: for the submission part, a test suite is a simple timed sequence of numerical input data and waiting delays, and then, the timed sequence of output data is post-processed on the model to deliver a verdict. As our models are Timed Output Input Symbolic Transition Systems, our off-line algorithms involve symbolic execution and constraint solving techniques.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01482398/document
%2 https://inria.hal.science/hal-01482398/file/978-3-642-34691-0_10_Chapter.pdf
%L hal-01482398
%U https://inria.hal.science/hal-01482398
%~ CEA
%~ EC-PARIS
%~ IFIP-LNCS
%~ IFIP
%~ DRT
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-7641
%~ LIST
%~ GS-SPORT-HUMAN-MOVEMENT