计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2012年
11期
4219-4224
,共6页
对象建模语言%顺序图%对象约束语言%执行图(EG)%测试场景%测试用例
對象建模語言%順序圖%對象約束語言%執行圖(EG)%測試場景%測試用例
대상건모어언%순서도%대상약속어언%집행도(EG)%측시장경%측시용례
针对面向对象软件的类、封装、继承、动态连接等特性,对对象建模语言(UML模型)中的顺序图添加对象约束语言(OCL约束),做类间交互的软件测试.提出执行图EG生成算法,将顺序图SD转换为EG,解决UML2.0顺序图新增特性中的alt,loop,opt,break这4种常见组合片段及其嵌套和多态性问题；为得到最小完备的测试路径,提出EG的遍历策略和测试路径生成算法；确定测试场景,生成测试用例.经实例分析,它可以基于UML顺序图与OCL作系统地测试.
針對麵嚮對象軟件的類、封裝、繼承、動態連接等特性,對對象建模語言(UML模型)中的順序圖添加對象約束語言(OCL約束),做類間交互的軟件測試.提齣執行圖EG生成算法,將順序圖SD轉換為EG,解決UML2.0順序圖新增特性中的alt,loop,opt,break這4種常見組閤片段及其嵌套和多態性問題；為得到最小完備的測試路徑,提齣EG的遍歷策略和測試路徑生成算法；確定測試場景,生成測試用例.經實例分析,它可以基于UML順序圖與OCL作繫統地測試.
침대면향대상연건적류、봉장、계승、동태련접등특성,대대상건모어언(UML모형)중적순서도첨가대상약속어언(OCL약속),주류간교호적연건측시.제출집행도EG생성산법,장순서도SD전환위EG,해결UML2.0순서도신증특성중적alt,loop,opt,break저4충상견조합편단급기감투화다태성문제；위득도최소완비적측시로경,제출EG적편력책략화측시로경생성산법；학정측시장경,생성측시용례.경실례분석,타가이기우UML순서도여OCL작계통지측시.
