Skip to main content
SpringerLink
Log in

Component architecture of model-based testing environment

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

Abstract

In the paper, an approach to constructing architecture of tools for model-based testing that rely on modern component-based technologies is presented. One of the basic ideas underlying this approach consists in application of noninvasive composition techniques, which make it possible to integrate a set of independently developed components into a complex system and reconfigure it without modifying codes of the components. The approach suggested in the paper is one of the first applications of the component-based technologies to designing test systems. A prototype implementation of the suggested approach based on available libraries is described, and an example of its use for test construction is presented.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Szyperski, C., Component Software: Beyond Object-Oriented Programming, Boston: Addison-Wesley, 2002, 2nd ed.

    Google Scholar 

  2. Heineman, G.T. and Councill, W.T., Component-Based Software Engineering: Putting the Pieces Together, Addison-Wesley, 2001.

  3. Parnas, D., Information Distribution Aspects of Design Methodology, Proc. of 1971 IFIP Congress, North Holland, 1971.

  4. The Economic Impacts of Inadequate Infrastructure for Software Testing, Tassey, G., Ed., NIST Report, 2002.

  5. Hamil, P., Unit Test Frameworks. Tools for High-Quality Software Development, O’Reilly Media, 2004.

  6. http://www.junit.org.

  7. Model-Based Testing of Reactive Systems. Advanced Lectures, Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., and Pretschner, A., Eds., Lecture Notes in Computer Science, vol. 3472, Springer, 2005.

  8. Utting, M. and Legeard, B., Practical Model-Based Testing: A Tools Approach, Morgan-Kaufmann, 2007.

  9. Peters, D. and Parnas, D., Using Test Oracles Generated from Program Documentation, IEEE Trans. Software Engineering, 1998, vol. 24, no. 3, pp. 161–173.

    Article  Google Scholar 

  10. Hoffman, D., Analysis of a Taxonomy for Test Oracles, Quality Week, 1998.

  11. Baresi, L. and Young, M., Test Oracles, Tech. Report CIS-TR-01-02, http://www.cs.uoregon.edu/~michal/pubs/oracles.html.

  12. Harel, D., Statecharts: A Visual Formalism for Complex Systems, Sci. Comput. Programming, 1987, vol. 8, no. 3, pp. 231–274.

    Article  MATH  MathSciNet  Google Scholar 

  13. Drusinsky, D., Modeling and Verification Using UML Statecharts, Elsevier, 2006.

  14. Alur, R., and Dill, D.L., A Theory of Timed Automata, J. Theor. Comput. Sci., 1994, vol. 126, no. 2, pp. 183–235.

    Article  MATH  MathSciNet  Google Scholar 

  15. Springintveld, J., Vaandrager, F., and D’Argenio, P.R., Testing Timed Automata, Theor. Comput. Sci., 2001, vol. 254, no. 1–2, pp. 225–257.

    Article  MATH  MathSciNet  Google Scholar 

  16. Zhu, H., Hall, P., and May, J., Software Unit Test Coverage and Adequacy, ACM Computing Surveys, 1997, vol. 29, no. 4, pp. 366–427.

    Article  Google Scholar 

  17. Kuliamin, V.V., Pakulin, N.V., Petrenko, O.L., Sortov, A.A., Khoroshilov, A.V., Requirement Formalization in Practice, Preprint of Inst. of System Programming, Russ. Acad. Sci., Moscow, 2006, no. 13.

  18. Beck, K., Kent Beck’s Guide to Better Smalltalk: A Sorted Collection, Cambridge Univ. Press, 1998.

  19. http://sunit.sourceforge.net/.

  20. Beust, C. and Suleiman, H., Next Generation Java Testing: TestNG and Advanced Concepts, Addison-Wesley, 2007.

  21. http://testng.org/.

  22. http://www.dbunit.org.

  23. http://www.httpunit.org.

  24. http://jbehave.org/.

  25. http://nspecify.sourceforge.net/.

  26. http://mockito.org/.

  27. http://easymock.org/.

  28. Tretmans, J. and Brinksma, E., TorX: Automated Model-Based Testing, Proc. of 1st Eur. Conf. on Model-Driven Software Engineering, Nuremberg, Germany, 2003, pp. 31–43.

  29. http://fmt.cs.utwente.nl/tools/torx/introduction.html.

  30. Fernandez, J.-C., Jard, C., Je-ron, T., Nedelka, L., and Viho, C., Using On-the-Fly Verification Techniques for the Generation of Test Suites, Lecture Notes in Computer Science (Proc of 8th Int. Conf. on Computer-Aided Verification), Springer, 1996, vol. 1102, pp. 348–359.

    Google Scholar 

  31. http://www.inrialpes.fr/vasy/cadp/man/tgv.html.

  32. Ambert, F., Bouquet, F., Chemin, S., Guenaud, S., Legeard, B., Peureux, F., Vacelet, N., and Utting, M., Z-TT: A Tool-set for Test Generation from Z and B Using Constraint Logic Programming, Proc. of Formal Approaches to Testing of Software, Brno, Czech Republic, 2002, pp. 105–119.

  33. Hartman, A. and Nagin, K., TCBeans Software Test Toolkit, Proc. of 12-th Int. Software Quality Week, 1999.

  34. Farchi, E., Hartman, A., and Pinter, S.S., Using a Model-based Test Generator to Test for Standard Conformance, IBM Systems J., 2002, vol. 41, no. 1, pp. 89–110.

    Article  Google Scholar 

  35. http://www.conformiq.com/qtronic.php.

  36. http://www.smartesting.com/index.php/cms/en/exp-lore/products.

  37. Bourdonov, I., Kossatchev, A., Kuliamin, V., and Petrenko, A., UniTesK Test Suite Architecture, Lecture Notes in Computer Science (Proc. of FME 2002), Springer, 2002, vol. 2391, pp. 77–88.

    Article  Google Scholar 

  38. Kuliamin, V.V., Petrenko, A.K., Kossatchev, A.S., and Bourdonov, I.B., The UniTesK Approach to Designing Test Suites, Programmirovanie, 2003, no. 6, pp. 25–43 [Programming Comput. Software (Engl. Transl.), 2003, vol. 29, no. 6, pp. 310–322].

  39. http://www.unitesk.ru.

  40. Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., and Veanes, M., Testing Concurrent Object-Oriented Systems with Spec Explorer, Lecture Notes in Computer Science (Proc. of Formal Methods Europe), Springer, 2005, vol. 582, pp. 542–547.

    Article  Google Scholar 

  41. http://research.microsoft.com/en-us/projects/SpecExp-lrer/.

  42. http://www.cs.waikato.ac.nz/~marku/mbt/modeljunit/.

  43. Jacky, J., Veanes, M., Campbell, C., and Schulte, W., Model-based Software Testing and Analysis with C#, Cambridge Univ. Press, 2007.

  44. http://nmodel.codeplex.com/.

  45. http://mbt.tigris.org/.

  46. Barnett, M., Fahndrich, M., de Halleux, P., Logozzo, F., and Tillmann, N., Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract, Proc. of ICSE 2009, Vancouver, Canada, 2009.

  47. http://research.microsoft.com/en-us/projects/contracts/.

  48. Kaner, C., Bach, J., and Pettichord, B., Lessons Learned in Software Testing, Wiley, 2002.

  49. Kuliamin, V.V., Integration of Verification Methods for Program Systems, Programmirovanie, 2009, no. 4, pp. 41–55 [Programming Comput. Software (Engl. Transl.), 2009, vol. 35, no. 4, pp. 212–222].

  50. Kuliamin, V., Petrenko, A., and Pakoulin, N., Practical Approach to Specification and Conformance Testing of Distributed Network Application, Lecture Notes in Computer Science (Proc. of ISAS’2005), Berlin, Springer, 2005, vol. 3694, pp. 68–83.

    Article  Google Scholar 

  51. Grinevich, A., Khoroshilov, A., Kuliamin, V., Markovtsev, D., Petrenko, A., and Rubanov, V., Formal Methods in Industrial Software Standards Enforcement, Proc. of PSI’2006, Novosibirsk, Russia, 2006.

  52. Fowler, M., Inversion of Control Containers and the Dependency Injection Pattern, 2004. http://www.mar-tinfowler.com/articles/injection.html.

  53. Johnson, R., Hoeller, J., Arendsen, A., Risberg, T., and Sampaleanu, C., Professional Java Development with the Spring Framework, Wrox, 2005.

  54. http://www.springsource.org.

Download references

Author information

Authors and Affiliations

  1. Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, Moscow, 109004, Russia

    V. V. Kuliamin

Authors
  1. V. V. Kuliamin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to V. V. Kuliamin.

Additional information

Original Russian Text © V.V. Kuliamin, 2010, published in Programmirovanie, 2010, Vol. 36, No. 5.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kuliamin, V.V. Component architecture of model-based testing environment. Program Comput Soft 36, 289–305 (2010). https://doi.org/10.1134/S036176881005004X

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S036176881005004X

Keywords

Search

Navigation