%0 Journal Article
%T AN IMPROVED TEST SEQUENCES GENERATION METHOD BASED ON FORMAL DESCRIPTION TECHNIQUE<br>一种基于形式化描述的测试序列生成改进方法
%A Zhang Lidong
%A Liu Jiren
%A Li Huatian
%A <br>张立东
%A 刘积仁
%A 李华天
%J 软件学报
%D 1995
%I 
%X The selection of appropriate test cases is an important issue for conformance testing of protocol implementations as well as in software engineering. This paper describes an optimization method for reducing the length of protocol conformance test sequences by"Partial T sequences overlapping method", which are obtained using UIO sequences.This method provides a logical link between T method and UIO method.It is shown that test sequences generated by this method can shorter 10%-60% than those generated by other methods employing UIO sequences in an example.
%K Computer network
%K protocol engineering
%K conformance testing
%K protocol testing
%K software testing
%K testing generation<br>计算机网络，协议工程，一致性测试，协议测试，软件测试，测试生成
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=FC27751D566BD51CA346B89BC5C18B43&yid=BBCD5003575B2B5F&vid=B31275AF3241DB2D&iid=38B194292C032A66&sid=E22B6B8FE86DD8F9&eid=2922B27A3177030F&journal_id=1000-9825&journal_name=软件学报&referenced_num=2&reference_num=14