论文研究基于监控的可信软件构造模型研究与实现.pdf

如何在开发阶段通过提高系统的可监控性从而提升软件可信性是当前的研究热点，这些研究取得了重要成果，但是还存在许多亟待解决的关键问题。针对这些问题，通过对现有研究成果的综述，在借助面向方面设计思想的基础上，设计了基于监控的可信软件构造模型TSCM，并以基于监控的可信软件开发环境TSIDE为背景分析了模型的实现要点和应用实例，最后分析了模型的主要特色。