随着可信计算领域的不断发展,可信软件的研究已经逐渐成为当前的研究热点。如何构造可信软件问题,已经成为当前软件技术所面临的一个挑战,该领域的相关研究具有重要的理论意义和应用价值。可信软件通常是指在特定环境下,其运行行为及结果符合人们的预期,并在受到干扰时仍能提供连续服务的软件。在基于组件的软件系统中,系统是由若干组件有机的组合而成。组件间的协作是软件系统运行的基础,其可信性对整个系统至关重要。本文以软件组件系统中的组件协作行为为研究对象,针对构造可信软件的需求,借鉴可信软件研究中现有的相关概念与技术,对如何提高软件组件协作行为可信性问题进行了相关研究。　　 针对软件组件协作行为分析问题,本文提出并设计了一个软件组件协作行为分析模型。该模型将预期行为获取、行为监测及验证以及支撑部分相结合,构成了一个紧密协作的有机整体,达到了对软件组件协作行为进行分析以提高其可信性的目的。　　 针对软件组件预期协作行为的获取问题,本文提出了将软件组件间的协作路径以及组件协作的时间约束作为软件组件预期协作行为,并基于UML和Pi演算理论提出了软件组件间预期协作行为的获取方法。利用该方法,能够获取软件组件系统中组件间的预期协作行为,为软件组件协作行为的监测及验证提供了基础。　　 针对软件组件协作行为监测及验证问题,本文研究了其监测及验证的机制。结合其监测及验证的需求,设计了一个软件组件协作行为监测及验证机制框架,并提出了技术方案。该机制使软件组件系统具有组件协作行为监测及验证的能力,对提高软件组件协作行为可信性具有重要作用。　　 在以上研究的基础上,本文对所提出的软件组件协作行为分析模型进行了实现,并且进一步对该模型进行了实例应用。结果表明了该模型的应用可行性和有效性。