%0 Journal Article
%T A FORMAL APPROACH TO TTCN BASED TEST EXECUTION<br>一种形式化的基于TTCN的测试执行方法
%A HAO Ruibing
%A WU Jianping
%A SHI Meilin
%A <br>郝瑞兵
%A 吴建平
%A 史美林
%J 软件学报
%D 1997
%I 
%X Research on formal test execution methods is an important phase in the activity of formal protocol conformance testing. This paper proposes a formal test execution approach based on test notation language TTCN s operational semantics and described it by using labeled transition system, and also discusses an implementation of this method. This formal approach is very suitable for the construction of general protocol testing system, and can be an effective way for automatic test suite verification.
%K Protocol conformance test
%K formal technique
%K TTCN
%K test execution<br>协议一致性测试
%K 形式化技术
%K TTCN
%K 测试执行
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=39A5B4637F4132AA107ACA2BCE9122BF&yid=5370399DC954B911&vid=5D311CA918CA9A03&iid=94C357A881DFC066&sid=4C2B9916B58305BE&eid=315A3D008C6ECFC8&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=12