软件安全性测试方法和过程研究  

Software Safety Test Method and Process

作　　者：朱怡[1] 刘永恒[1] 

机构地区：[1]工业和信息化部电子第五研究所,广东广州510610

出　　处：《电子产品可靠性与环境试验》2013年第A01期147-151,共5页Electronic Product Reliability and Environmental Testing

摘　　要：为了解决目前软件研发过程中存在的与需求安全性、验证工作相关的技术,规范、工具缺失的问题,切实保障安全相关系统的软件安全性,在分析现有的软件安全性测试方法的基础上,结合工程实际,提出了采用映射分解方式的软件安全性测试方法和测试流程,并在某伺服系统中得到了有效的应用。该方法从工程上为软件的质量和安全性验证提供了手段。In order to solve the existing problems of missing technologies, standards and tools for validating software safety in the development and ensure the safety of software in a satfety- related system, a software safety testing method using mapping decomposition and its testing process are proposed based on the analysis of the existing software safety testing methods and engineering practices, and it has been effectively applied in a servo system. The proposed method provides a means for the software quality and safety validation in practice.

关 键 词：软件安全性 软件测试 安全性验证 

分 类 号：TP311.53[自动化与计算机技术—计算机软件与理论]