Advertisement

Use of TTCN-3 for Software Module Testing

  • Andreas Johan Nyberg
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3964)

Abstract

Efficient testing of software modules remains a challenging task for complex software implementations. TTCN-3 has so far been applied mainly in the telecom domain but not yet in a larger extent to software module testing. This paper describes a multi purpose TTCN-3 test system solution primarily targeted for concurrent software and testing of software modules in isolation. Apart from a test system solution, an approach for type mappings from C to TTCN-3 is discussed, followed by an example of how test cases could be implemented and how the discussed test system be utilized for a simple software module.

Keywords

Software testing concurrent software mock objects TTCN-3 

References

  1. 1.
    Itoh, E., Furukawa, Z., Ushijima, K.: A prototype of a concurrent behavior monitoring tool for testing of concurrent programs. IEEE, Los Alamitos (1996)CrossRefGoogle Scholar
  2. 2.
    Tai, K.C.: Testing of Concurrent Software, Computer Software and Applications Conference, COMPSAC 1989, Proceedings of the 13th Annual International, September 20-22 (1989)Google Scholar
  3. 3.
    Tai, K.: Definitions and detection of deadlock, livelock, and starvation in concurrent programs. In: Proceedings 1994 International Conference Parallel Processing (1994)Google Scholar
  4. 4.
    Mackinnon, T., Freeman, S., Craig, P.: Endo-Testing: Unit Testing with Mock Objects. In: Proceedings XP 2000 (2000)Google Scholar
  5. 5.
    CUnit 2005: CUnit (2005), from CUnit Web site: http://cunit.sourceforge.net/ (Retrieved November 9, 2005)
  6. 6.
    JUnit 2005: JUnit (2005), from JUnit Web site: http://junit.org/index.htm (Retrieved November 9, 2005)
  7. 7.
    Moseley, S., Randall, S., Wiles, A., Schulz, S.: IPv6 Test Specifications from ETSI. Global Ipv6 Summit, Barcelona (June 2005)Google Scholar
  8. 8.
    Hwang, G., Tai, K., Huang, T.: Reachability Testing: an approach to testing concurrent software. In: Proceedings Software Engineering Conference, 1994, First Asia-Pacific, December 7-9 (1994)Google Scholar
  9. 9.
    Carver, R.: Mutation-based testing of concurrent programs. In: Proceedings International Test Conference, October 17-21 (1993)Google Scholar
  10. 10.
    Thomas, D., Hunt, A.: Mock Objects. Software, IEEE 19(3) (May-June 2002)Google Scholar
  11. 11.
    Ebner, M.: A Mapping of OMG IDL to TTCN-3. University of Lübeck, Germany (2001)Google Scholar
  12. 12.
    Beizer, B.: Software Testing Techniques, 2nd edn., pp. 41–54. Van Nostrand Reinhold, New York (1990)Google Scholar
  13. 13.
    ETSI ES 201 873, Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; V3.0.0, Sophia Antipolis (March 2005)Google Scholar
  14. 14.
    InformationTechnology, OSI conformance testing methodology and framework. ISO/IEC (1994-1997), International Telecommunication Union recommendation X.290Google Scholar
  15. 15.
    ISO/IEC 9899:1999: Programming languages - C, New York, NY, USA (1999-12) Google Scholar
  16. 16.
    Willcock, C., Deiß, T., Tobies, S., Keil, S., Engler, F., Schulz, S.: TTCN-3 Test Systems in Practice: An Introduction to TTCN-3. John Wiley and Sons Ltd., England (2005)CrossRefGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2006

Authors and Affiliations

  • Andreas Johan Nyberg
    • 1
  1. 1.Nokia Research CenterNOKIA GROUPFinland

Personalised recommendations