CONTENTS

 

�1��� �Scope�
2��� �References�
3��� �Abbreviations���
4��� �Overview���
5��� �GFT language concepts���
6��� �Mapping between GFT and TTCN-3 Core language��������
7��� �Module structure�
8��� �GFT symbols����
9��� �GFT diagrams��
������ �9.1��� �Common properties�����������
������ �9.2��� �Control diagram�����
������ �9.3��� �Test case diagram��
������ �9.4��� �Function diagram���
������ �9.5��� �Altstep diagram�����
10��� �Instances in GFT diagrams����������
����� �10.1��� �Control instance����
����� �10.2��� �Test component instances�
����� �10.3��� �Port instances�������
11��� �Elements of GFT diagrams����������
����� �11.1��� �General drawing rules�������
����� �11.2��� �Invoking GFT diagrams����
����� �11.3��� �Declarations���������
����� �11.4��� �Basic program statements�
����� �11.5��� �Behavioural program statements����
����� �11.6��� �Default handling����
����� �11.7��� �Configuration operations���
����� �11.8��� �Communication operations
����� �11.9��� �Timer operations���
���� �11.10��� �Test verdict operations�����
���� �11.11��� �External actions���
���� �11.12��� �Specifying attributes���������
Annex A � GFT BNF��� �
������ �A.1��� �Meta-language for GFT����
������ �A.2��� �Conventions for the syntax description�������
������ �A.3��� �The GFT grammar
Annex B � Reference guide for GFT��� �
Annex C � Examples��� �
������ �C.1��� �The Restaurant example����
������ �C.2��� �The INRES example��� �