Advertisement

Test Generation from Recursive Tiles Systems

  • Sébastien Chédor
  • Thierry Jéron
  • Christophe Morvan
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7305)

Abstract

In this paper we explore test generation for Recursive Tiles Systems (RTS) in the framework of the classical ioco testing theory. The RTS model allows the description of reactive systems with recursion, and is very similar to other models like Pushdown Automata, Hyperedge Replacement Grammars or Recursive State Machines. We first present an off-line test generation algorithm for Weighted RTS, a determinizable sub-class of RTS, and second, an on-line test generation algorithm for the full RTS model. Both algorithms use test purposes to guide test selection through targeted behaviours.

Keywords

Test Suite Test Generation Internal Action Test Purpose Recursive Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alur, R., Etessami, K., Yannakakis, M.: Analysis of Recursive State Machines. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 207–220. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  2. 2.
    Alur, R., Madhusudan, P.: Visibly pushdown languages. In: Proceedings of the 36th Annual ACM Symposium on Theory of Computing (STOC 2004), pp. 202–211. ACM (2004)Google Scholar
  3. 3.
    Caucal, D.: Deterministic graph grammars. Texts in Logics and Games, vol. 2, pp. 169–250 (2007)Google Scholar
  4. 4.
    Caucal, D.: Synchronization of Regular Automata. In: Královič, R., Niwiński, D. (eds.) MFCS 2009. LNCS, vol. 5734, pp. 2–23. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  5. 5.
    Caucal, D., Hassen, S.: Synchronization of Grammars. In: Hirsch, E.A., Razborov, A.A., Semenov, A., Slissenko, A. (eds.) CSR 2008. LNCS, vol. 5010, pp. 110–121. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  6. 6.
    Constant, C., Jeannet, B., Jéron, T.: Automatic Test Generation from Interprocedural Specifications. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) TestCom/FATES 2007. LNCS, vol. 4581, pp. 41–57. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  7. 7.
    Courcelle, B.: Graph rewriting: an algebraic and logic approach. In: Handbook of Theoretical Computer Science. Elsevier (1990)Google Scholar
  8. 8.
    Frantzen, L., Tretmans, J., Willemse, T.A.C.: A Symbolic Framework for Model-Based Testing. In: Havelund, K., Núñez, M., Roşu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol. 4262, pp. 40–54. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  9. 9.
    Jard, C., Jéron, T.: TGV: theory, principles and algorithms. Software Tools for Technology Transfer (STTT) 7(4), 297–315 (2005)CrossRefGoogle Scholar
  10. 10.
    Jeannet, B., Jéron, T., Rusu, V.: Model-Based Test Selection for Infinite-State Reactive Systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2006. LNCS, vol. 4709, pp. 47–69. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  11. 11.
    Nowotka, D., Srba, J.: Height-Deterministic Pushdown Automata. In: Kučera, L., Kučera, A. (eds.) MFCS 2007. LNCS, vol. 4708, pp. 125–134. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  12. 12.
    Tretmans, G.J., Brinksma, H.: Torx: Automated model-based testing. In: Hartman, A., Dussa-Ziegler, K. (eds.) First European Conference on Model-Driven Software Engineering, pp. 31–43 (December 2003)Google Scholar
  13. 13.
    Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools 17(3), 103–120 (1996)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Sébastien Chédor
    • 1
  • Thierry Jéron
    • 2
  • Christophe Morvan
    • 3
  1. 1.Université Rennes IFrance
  2. 2.INRIA Rennes - Bretagne AtlantiqueFrance
  3. 3.Université Paris-EstMarne-La-ValléeFrance

Personalised recommendations