西南科技大学学报
西南科技大學學報
서남과기대학학보
JOURNAL OF SOUTHWEST CHINA INSTITUTE OF TECHNOLOGY
2013年
4期
85-92
,共8页
李强%余祥%齐建业%许庆光
李彊%餘祥%齊建業%許慶光
리강%여상%제건업%허경광
协议测试%一致性测试%测试序列%测试用例%形式化
協議測試%一緻性測試%測試序列%測試用例%形式化
협의측시%일치성측시%측시서렬%측시용례%형식화
Protocol testing%Conformance testing%Testing sequence%Test case%Formalization
协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础.已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法.从协议一致性测试的协议形式化描述技术入手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路.
協議一緻性測試是協議測試中最為關鍵的測試,是其他協議測試類型的基礎.已經有大量的研究與實踐對協議一緻性測試做瞭深入探討,到目前為止,仍然缺乏繫統、有效而實用的協議一緻性測試方法.從協議一緻性測試的協議形式化描述技術入手,分彆對協議一緻性測試過程中的描述、測試序列生成、測試實現與執行進行瞭綜閤研究,闡述瞭其中存在的問題併給齣瞭基本解決思路.
협의일치성측시시협의측시중최위관건적측시,시기타협의측시류형적기출.이경유대량적연구여실천대협의일치성측시주료심입탐토,도목전위지,잉연결핍계통、유효이실용적협의일치성측시방법.종협의일치성측시적협의형식화묘술기술입수,분별대협의일치성측시과정중적묘술、측시서렬생성、측시실현여집행진행료종합연구,천술료기중존재적문제병급출료기본해결사로.
