基于冗余的Web服务组合可靠性优化方法

为了确保Web服务组合的可靠性满足用户需求,该文提出一种可靠性优化方法,利用软件容错技术来提高组合服务的可靠性。在Web服务组合的可靠性预测模型的基础上,分别给出两种容错模式下可靠性优化模型的表示,对于Web服务组合的优化设计具有一定的理论指导意义。     

基于攻击图的网络安全概率计算方法

针对基于攻击图的概率计算中循环路径导致的攻击图难以理解和概率重复计算问题以及渗透之间的相关性导致的概率错误计算问题,通过将攻击图与通用安全脆弱点评估系统结合,删除攻击图中的不可达路径,简化了攻击图,提出了适用于大规模网络的最大可达概率的概念和计算方法,解决了概率重复计算问题,有效避免了相关性导致的概率错误计算问题,并通过真实实验和模拟实验验证了所提方法的合理性和有效性.与相关的研究成果相比,最大可达概率计算方法可以适应于更复杂的攻击图,具有很好的扩展性.     

以能力为导向的计算机程序设计课程教学改革

针对当前计算机程序设计课程建设面临的两方面挑战,提出由4个等级组成的逐层递进的程序设计能力模型,构建覆盖不同能力等级的课程体系,进行一系列以提高程序设计能力为目标的教学方法改革,包括基于能力的分级教学、能力测评和考核、程序设计能力训练和提升方法、课堂授课方式的改变等,从而实现计算机程序设计课程教学从侧重知识传授到突出能力培养的转变。     

大规模网络中攻击图的节点概率计算方法

针对基于攻击图的概率计算中节点之间的相关性导致的概率错误计算问题,通过将攻击图与通用安全脆弱点评估系统结合,提出攻击图各节点概率的精确计算方法和近似计算方法,在保证各节点概率精度的同时,较快地计算攻击图中各节点的概率值,有效地解决了节点之间的相关性所导致的概率错误计算问题。通过真实实验和模拟实验验证了所提方法的合理性和有效性,与相关的研究成果相比,可以适应于更复杂的攻击图,具有很好的扩展性。     

基于UML的软件使用模型的研究与实现

UML作为事实上的工业标准,在软件开发中得到了日益广泛的应用。软件可靠性测试是高可靠软件质量保证的重要过程。研究基于UML的软件可靠性测试具有很强的现实意义。软件使用模型是进行软件可靠性测试的基础,可利用在软件开发早期阶段生成的UML模型,如用况图、顺序图、活动图,自动生成软件使用模型。     

一种大规模网络威胁评估模型

我国互联网面临的安全威胁越来越严重,为提高现有网络的防御能力,有必要研究科学合理的方法来及时评估我国互联网的安全状况。目前国内外在大规模网络安全评估方面还没有比较成熟的方法,将古林法与模糊评判法结合用于网络安全威胁评估,提出了一个基于古林-模糊综合评判的大规模网络威胁评估模型。实验表明,使用该模型能有效评估大规模网络的安全威胁状况。     

Smalltalk语言调试工具的设计与实现

<正> 一、引言软件工具的实现和组织是软件工程中的一个重要课题,只有有了丰富的软件工具,才有望得到一个良好的软件环境,Smalltalk-80 是一个具有良好多窗口界面的面向对象的软件开发环境,它从界面环境,工具、语言及软件可重用性等方面对软件开发工作提供了较为全面的支持,并集多种软件工具为一体,形成了可称之为工具箱的软件支撑环境。     

VAX—Windows的设计及应用

本文介绍我们在VAX/VMS上实现的一个通用多窗口系统VAX-Windows及其在面向对象的集成化软件开发环境GWOOSE多窗口用户界面中的应用.全文由二部分组成,第一部分是VAX Windows的设计和实现概述.第二部分是第一部分的应用—GWOOSE用户界面的设计,并重点介绍了一类重要窗口—系统通览器(Browser)窗口类的设计与实现.     

C语言的语义特点

C语言是目前最流行的计算机语言之一,它兼有传统高级语言和汇编语言的优点,概念简洁,风格灵活,内涵相当丰富。要真正掌握该语言的精髓和理解其语义并非易事。本文对C语言的语义特点作了深入探讨,并给出了一些重要概念,最后,列举了若干在编程中的常见错误。     

"软件技术基础"课程教学与创新能力培养

本文强调"软件技术基础"课程教学必须顺应创新能力培养的要求,教学内容要既有利于创新能力培养又能解决实际应用问题.