检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]西安电子科技大学计算理论与技术研究所,陕西西安710071
出 处:《武汉大学学报(理学版)》2010年第2期165-169,共5页Journal of Wuhan University:Natural Science Edition
基 金:国家自然科学基金资助项目(60873018)
摘 要:提出了一种从UML2.0序列图产生软件安全测试用例的方法,该方法以基于模型的测试技术为基础,将序列图转换为事件迁移图,从而产生测试用例集,提高了软件安全性测试的自动化水平.该方法可应用于软件设计与开发过程的早期阶段.所添加的UML2.0序列图的新特征,可将传统的软件测试方法应用于软件安全性测试.This paper proposes an approach to generate software safety test cases from UML 2.0 sequence diagrams.The procedure is based on model-based testing techniques with test cases generated from sequence diagrams translated into Event Transition Diagram.This can improve the automation of software safety testing.This method can be used in the earlier phases of software design and development process.The considered novel features of UML 2.0 sequence diagrams apply the traditional testing method to software safety testing.
关 键 词:软件安全测试 UML2.0序列图 测试用例 事件迁移图
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.147.72.3