基于构件的可信软件开发技术研究

摘要

本文通过对基于构件的软件系统进行可信性分析,研究了实施可信软件开发的参考模型,并针对所提的可信封装、可信组合和可信验证与评估技术分析了其技术特点和开发方法,为基于构件的可信软件开发提供技术支持。