Skip to main content
Springer Nature Link
Log in

Automated Formal Testing of C API Using T2C Framework

  • Conference paper
Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 17))

  • 1007 Accesses

Abstract

A problem of automated test development for checking basic functionality of program interfaces (API) is discussed. Different technologies and corresponding tools are surveyed. And T2C technology developed in ISPRAS is presented. The technology and associated tools facilitate development of ”medium quality” (and ”medium cost”) tests. An important feature of T2C technology is that it enforces that each check in a developed test is explicitly linked to the corresponding place in the standard. T2C tools provide convenient means to create such linkage. The results of using T2C are considered by example of a project for testing interfaces of Linux system libraries defined by the LSB standard.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Kuliamin, V.V., Petrenko, A.K., Bourdonov, I.B., Kossatchev, A.S.: UniTesK Test Suite Architecture. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 77–88. Springer, Heidelberg (2002)

    Google Scholar 

  2. CTESK web page, http://www.UniTesK.com/products/ctesk

  3. The Linux Standard Base, http://www.linux-foundation.org/en/LSB

  4. Check web page, http://check.sourceforge.net/doc/check.html/index.html

  5. Autoconf and Automake web page, http://www.gnu.org/software/automake/

  6. IEEE.2003.1-1992 IEEE Standard for Information Technology – Test Methods for Measuring Conformance to POSIX – Part 1: System Interfaces. IEEE, New York, NY, USA (1992) ISBN 1-55937-275-3

    Google Scholar 

  7. CUnit web page, http://cunit.sourceforge.net/

  8. TETware User Guide, http://tetworks.opengroup.org/documents/3.7/uguide.pdf

  9. GTKVTS Readme, http://svn.gnome.org/viewvc/gtkvts/trunk/README

  10. Kuliamin, V.V., Pakulin, N.V., Petrenko, O.L., Sortov, A.A., Khoroshilov, A.V.: Formalization of requirements in practice, ISPRAS, Moscow (preprint, 2006) (in Russian)

    Google Scholar 

  11. Glib Reference Manual, http://www.gtk.org/api/2.6/glib/

  12. Linux Verification Center, http://linuxtesting.ru/

  13. UniTesK web site, http://UniTesK.com/

  14. LSB Infrastructure project web page, http://ispras.linux-foundation.org/

  15. AZOV Framework web page, http://ispras.linux-foundation.org/index.php/AZOV_Framework

Download references

Author information

Authors and Affiliations

  1. Institute for System Programming of Russian Academy of Sciences (ISPRAS), B. Communisticheskaya, 25, Moscow, Russia

    Alexey V. Khoroshilov, Vladimir V. Rubanov & Eugene A. Shatokhin

Authors
  1. Alexey V. Khoroshilov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vladimir V. Rubanov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Eugene A. Shatokhin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universität Potsdam, August-Bebel-Str. 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Technische Universität Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Khoroshilov, A.V., Rubanov, V.V., Shatokhin, E.A. (2008). Automated Formal Testing of C API Using T2C Framework. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88479-8_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88478-1

  • Online ISBN: 978-3-540-88479-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics