A New Mathematical Formalism for the TTCN 3 core language


  • Szilárd Jaskó


Protocol testing is a very important field nowadays, because it provides a way to detect different kinds of errors in a communicating environment. Communicating Sequential Processes (CSP) could be efficiently applied for creating a process-based model for the test system. In this article we attempt to provide a CSP module for the most frequently used formal language in testing, the TTCN-3, which could make the testing process easier and cheaper. Another important question is the manufacturing time cost of the product. This article presents a test practise where time can be saved during this period.


test system, CSP, test generating, test practise, URN for test.

How to Cite

Jaskó, S. “A New Mathematical Formalism for the TTCN 3 core language”, Periodica Polytechnica Electrical Engineering, 49(3-4), pp. 163–174, 2005.