A New Mathematical Formalism for the TTCN 3 core language

Abstract

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.