一种结合产品和过程的软件安全性举证开发方法

摘要

本发明公开了一种结合产品和过程的软件安全性举证开发方法。该方法是一个以危险及危险控制为核心从软件角度实现系统安全性的风险管理，围绕顶层目标，开展满足性和充分正确性二方面举证。满足性举证的目的是表明所举证对象都已经实现并且得到满足，以基于产品方法为主线，从危险、危险控制、危险控制实现的角度进行举证。充分正确性举证的目的是表明举证对象是完整并且正确的，采用基于过程方法通过‘过程规范、人员素质及开发方法’等因素来增强其实现的信心。本发明克服了单从产品或单从过程进行软件安全性举证的缺点，能快速有效地引导软件安全性举证的开发，为软件相关方审查安全性相关情况的提供了一种更有效的方法。