中文摘要：

提出了一种从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.