检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]浙江水利水电专科学校计算机与信息工程系,浙江杭州310018
出 处:《杭州电子科技大学学报(自然科学版)》2007年第4期17-21,共5页Journal of Hangzhou Dianzi University:Natural Sciences
基 金:浙江省自然科学基金资助项目(M603145);浙江省重点科技计划项目(C21027)
摘 要:分析了U2TP与标准化测试描述语言测试和测试控制标记法之间的对应关系,提出了一种从U2TP到测试和测试控制标记法的映射方法,并给出了一个图书馆借阅系统的应用实例。应用该映射方法,可在建模初期基于系统模型构造完整的测试思想,从而在初始阶段就能够有效限定测试例的数量并产生真正有价值的测试例。The definition corresponding relation of U2TP(UML 2.0 testing profile) to the standardized TTCN-3(testing and test control notation version 3)was analyzed and the mapping method from U2TP to TTCN-3 and an application case of library borrow system were presented.Applying this method,the whole idea of testing based on system model is constructed at the initial modeling time so that the number of test cases can be effectively limited in the early process and real valued test cases are generated.
关 键 词:统一建模 测试和测试控制标记法 模型驱动架构 一致性测试
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.118.187.83