<tttmodel> ::= <testctt><function>+
<testctt> ::= <testctt_name> < testctt_set>
< testctt_var> < testctt_init> < begin_end>
<testctt_name> ::= TESTCTT <name> (<sut_output>*) returns (<sut_input>*);
<testctt_set> ::= set <basic_type>+ ;
<testctt_var> ::= var <local_variable>+ ;
<testctt_init> ::= init <initial_state>+ ;
<begin_end> ::= begin <statement>+ end;
<function> ::= <function_name> <function_var><begin_end>
» Tin mới nhất:
» Các tin khác: