基于UML2.0的软件安全测试方法

基于UML2.0的软件安全测试方法 A UML2.0-Based Software Safety Testing Method 张琛 ZHANG Chen 1 first-author 段振华 DUAN Zhenhua 1 西安电子科技大学计算理论与技术研究所 西安电子科技大学计算理论与技术研究所 Institute of Computing Theory and Technology,Xidian University Institute of Computing Theory and Technology,Xidian University 提出了一种从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序列图 测试用例 事件迁移图 software safety testing UML2.0 sequence diagrams test case event transition diagram 10.14188/j.1671-8836.2010.02.016 TP311.52 国家自然科学基金资助项目（60873018） 2010-02-01 2021-04-01 2 56