安徽大学学报（自然科学版）
安徽大學學報（自然科學版）
안휘대학학보（자연과학판）
JOURNAL OF ANHUI UNIVERSITY(NATURAL SCIENCES EDITION)
2013年
3期
75-80
,共6页
协议%一致性测试%测试用例%形式活动图
協議%一緻性測試%測試用例%形式活動圖
협의%일치성측시%측시용례%형식활동도
在对协议的一致性进行测试的过程中,首先要设计并生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.文章描述了一种形式活动图和扩展有限状态机,介绍了从形式活动图生成扩展有限状态机的算法以及从扩展有限状态机自动生成测试用例的算法.最后对算法进行了相关分析并给予一个实例进行说明.
在對協議的一緻性進行測試的過程中,首先要設計併生成有效的測試用例,通過測試用例的自動生成可以大大提高設計和生成測試用例的效率.文章描述瞭一種形式活動圖和擴展有限狀態機,介紹瞭從形式活動圖生成擴展有限狀態機的算法以及從擴展有限狀態機自動生成測試用例的算法.最後對算法進行瞭相關分析併給予一箇實例進行說明.
재대협의적일치성진행측시적과정중,수선요설계병생성유효적측시용례,통과측시용례적자동생성가이대대제고설계화생성측시용례적효솔.문장묘술료일충형식활동도화확전유한상태궤,개소료종형식활동도생성확전유한상태궤적산법이급종확전유한상태궤자동생성측시용례적산법.최후대산법진행료상관분석병급여일개실례진행설명.
