??????????????????????????????????????????????????????????????????????????????????????????????????

???????????????????????????????????????????????????

????1??????

?????????????????????????????????????????????????????????????????????????????????????????????????????ó???????????????????????????黥?????????????????????????????????????????????????????????????????????????????黥????????????????????????????????????????????????????????????????????????????

????2?????????????????

???????????????????????????Э????????????????????????????ζ????????????????????????????????????Э?顣????Э???????????????????/????????μ???????????????????????ú????????????????????????????????ò?????????????????????

??????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????Э????????????

??????β??????????ú?????????????????????????????鷵??????????????????????????÷???????????????????????????????????????????????????????????????????????????????????????????????????????????????????縲???????????????????????????????????????????????????????????????????Э??????????????????????????????????????????????????????????Э??????????????????????????????

???????????????????????????????????????????????????????????????Ч??????????????????????ú???????????÷?????????У??????????????????????????????????е?????????????????????????????????????????????Э?????????????????????????λ?á?

???????????????е??????????????????????????????а?????????????????????????????????????????????????????????????????????????????????Э?顣????????????????????????????????????????????????????????????????????????????????????????????????????????????

????3????UML???????????

??????????????????????????????????????????????????????????UML????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????UML????????????????????????￡???????????????????

?????????????????????Щ??????????????????????????????????????????????????????????????UML?????????????UML???????????UML2.0???????????????????UML??????????????????????????????????????????壬????????????????????????????????????????壬??????????壬???????????к?????????Щ?????????????????????????????????????????????

??????????????????????????????????????????????????????????????????????????????????????????????ж??????磬UML????????????????????????????????????????????????????????????????????????????????????????Щ??????????????????????????????????

??????????????????????????????????????????????????ж???????????????????????????????????????????????????????????????????????????????????磬????????????????????????????????????????????????????????????????UML??????????????????????????Щ??????????κ?????????κα???????????

??????Щ????????????????????????????????????ü???UML2.0???????????????????????????????????????????????????

????4????????????

????TTCN-3?????????????????????????????????е?????????????????TTCN-3?????ò???????????TTCN-3????????e????????????????????壬???????????嶨?壬?????????????????????????????е??????塣??Щ???嶨????????и??????????н???б?????????塣

???????TTCN-3????????UML2.0???????????????????????????????????????????????????????????????????????????????塣???????????????????TTCN-3????а汾?????????????????????????е?TTCN-3???л?????

???????????????????????????????????????????????????????????????????????????????????????????????????????????????RIN???????????????????????????????????????????????????????????????????С?????????????????TTCN-3?????????

External function
validClient() return Client;
altstep Default()
runs on RINClient{
[]testPort.getreply{setverdict(fail);stop}