ptk
ptk is a tool that performs a syntax and semantic analysis on Message
Sequence Charts and generates test scripts from them in a number of
different languages including SDL, TTCN, and C. Message Sequence Charts
are typically used in the telecommmunications industry for specifying
system requirements. The generated test scripts are used to verify applications
that implement the requirements.
The implementation models MSCs with the process algebra CSP, and uses
a tactical term rewriting engine to generate test scripts. Functional
languages were found to be ideal for implementing tactical term rewriters.
-
Developer: Motorola Labs
-
Contact:
-
David King
Motorola UK Research Lab
Jays Close
Basingstoke
RG22 4PD
UK
Email: David.King@motorola.com
-
Number of sites: 7+
-
Number of users: n/a
-
In use: since 1998
-
Language: Standard ML
-
Compilers: New
Jersey Standard ML
-
Line count: about 52K lines
-
Availability: Currently only available within Motorola