基于工作流的在线健康保险系统的研究与实现

在线健康保险系统（eHealthIllsurance System）可以实现客户网上自助投保的业务。在分析了系统在开发流程的实现过程后，提出了基于工作流思想的过程管理解决方案优化系统的开发模式，通过引入基于工作流技术的项目管理软件来管理控制系统的开发流程。最终达到提高系统的自动化程度，提高工作效率，节约公司成本，实现系统业务增长的目的。     

统计测试中测试链与使用链的相似性判别

本文介绍了统计测试中测试充分性的度量方法，论述了统计测试的基本原理和主要特点，以及统计测试过程中测试链和使用链的相似性比较，文章还具体阐述了欧和里德距离和Discriminant值在比较测试链和使用相似性中的应用，以及它们在实际使用时需要注意的若干问题。     

大规模网络中攻击图自动构建算法研究

随着计算机技术和网络通信技术的飞速发展,网络安全形势日趋严峻.攻击者往往采取多步骤网络攻击的方式对网内多个漏洞实施逐步击破,而攻击图正好刻画了目标网络内潜在威胁的传播路径.针对目前攻击图构建算法无法很好地适用于大规模目标网络的问题,通过深入分析传统攻击图构建算法的不足和目标环境的特点,提出了一种新的构建攻击图的方法.首先,采用攻击图建模语言(Attack Graphs Modeling Language,AGML)形式化描述漏洞知识库和目标环境;其次,提出了目标环境的预处理技术,为目标环境中的属性建立索引,然后利用攻击模式的实例化技术构建攻击图.通过对该算法的时间复杂度分析和模拟实验验证,表明该算法具有良好的可扩展性,能够为具有复杂网络拓扑结构的大规模目标网络自动构建攻击图.     

基于UML的软件使用模型的研究及工具实现*

改进了文献［2］中提出的一种由软件的UML模型转换得到软件的Markov链使用模型的方法。采用Java语言实现了一个从软件的UML模型获得软件使用模型的工具。     

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

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

基于Struts、EJB、Hibernate的J2EE框架研究

本文分析了Struts、Tiles、Log4j和Hibernate等优秀开源Web技术,针对应用场景,提出了一个结构清晰、扩展性良好、维护方便的J2EE框架.框架的可复用性、稳定性已通过实践的检验.     

一种能得到优化代表集的测试用例集极小化算法

测试用例的数量影响软件测试的成本和效率,因此精简测试用例集具有极为重要的意义.在结合国内外提出的几种算法的基础上,提出了一种能保证得到优化代表集的测试用例集极小化算法.     

面向对象的程序设计——方法、语言及其实现

<正> 引言面向对象的程序设计思想被认为是80年代的结构程序设计,从更高更广的角度研究面向对象的方法已成为90年代的热门课题,它已不仅仅局限于程序设计领域,而且逐步渗透到了软件开发、系统模拟、CAD、图形处理、数据库及知识库的组织与管理、专家系统和体系结构等计算机软件的各个方向,许多专家学者已开始从认识方法论的角度研究这一方法。     

巨型计算机软件

本文认为美国必须加速先进科学计算能力的开发,保证美国在巨型机领域中继续占优势。巨型机软件不仅对美国巨型机工业界市场的地位有重要意义,而且对依靠或逐渐依靠巨型机来设计竞争性产品的工业部门及美国国防战略都有重要意义。随着巨型机市场的扩大,出现了一些新的要求高质量软件的用户。所以应从全局观点,长远观点来考虑巨型机软件的开发工作。     

基于Agent的软件重用

软件重用是目前提高软件质量和开发效率、降低软件开发成本的一种重要手段。本文分析了当前软件重用的特点,针对其不足以及目前软件开发的状况提出了动态软件重用的思想。这一思想的一个重要特征是由可重用软部件完成软件重用活动。为了实现动态软件重用的思想,我们进一步提出了基于Ａｇｅｎｔ的软件重用方法,分析了该方法在实
实现动态软件重用中的有效性和面临的问题以及解决问题的技术途径。