基于UML的软件使用模型生成技术研究

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

软件可靠性工程框架和评估系统实现

给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程.文章还提出一个软件可靠性评估系统的体系结构,并给出了实现所需要的一些关键技术.已经依此实现了一个软件可靠性评估系统CaSoR(Computer aid Software of Reliability),并已经被实际     

多分辨率点状地标实时渲染研究

大规模点状地标的高性能实时渲染是地理信息系统和计算机图形技术面临的一项具有挑战性的难题。采用多分辨率的技术是解决上述问题的有效方法,其本质是通过动态控制显示的规模获得最佳的显示效果和性能。根据不同层次分辨率的点状地标的空间分布特点,提出一种基于空间分割和视点高度的显示规模控制方法,推导了帧时间计算公式,由此确定最佳空间分割尺寸。通过两个不同层次点状地标的空间分割和性能测试,给出了最佳空间分割尺寸,验证了基于空间分割的多分辨率点状地标渲染方法的正确性和有效性。     

基于N版本程序设计的Web服务组合可靠性优化

Web服务的一个优点就是可以通过基本服务组合形成更为复杂的服务。为了确保Web服务组合的可靠性,可以利用N版本程序设计技术来提高服务组合的可靠性。本文在Web服务组合的可靠性预测模型的基础上,提出了一种基于N版本程序设计的Web服务组合可靠性优化方法。     

基于使用模型的统计测试方法的研究

介绍了基于使用模型的统计测试方法，论述了使用模型的概念和特点，以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用，还具体阐述了怎样通过使用模型生成测试用例，同时根据测试充分性理论讨论了统计测试中测试充分性的度量方法，最后简要介绍了自行开发的统计测试辅助工具STToolkit。     

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

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

图形用户界面的自动生成

现代软件产品几乎全部采用交互式的图形用户界间。在图形用户界面大大提高了使用的方便性的同时,也使软件的开发任务变得更为复杂与团难。一     

基于攻击图的风险邻接矩阵研究

针对各种已知的工具产生的攻击图十分复杂而且难以理解的问题,提出一种基于攻击图的风险邻接矩阵方法,并通过实验验证了所提方法的合理性和有效性。结果表明风险邻接矩阵方法增强了攻击图可视化的程度,并简洁有效地解决了风险评估中由环和回路带来的重复计算问题。     

VAX通用多窗口系统的设计和实现

本文介绍了我们在 VAX VMS 上实现的一个通用多窗口系统 VAX-windows.全文主要由两部分组成,第一部分介绍了运行 VAX-windows 的软硬件环境,第二部分是 VAX-windows 的设计和实现概况,并给出了几个系统功能的实现框图。     

Smalltalk-80窗口系统的设计与实规

<正> 本文摘要介绍了Smalltalk-80的多窗口用户界面及我们对该界面的设计与实现。全文主要由两部分组成,第一部分介绍基本窗口系统;第二部分是第一部分的应用——Smalltalk-80用户界面的设计,并重点介绍了其中一类重要窗口——系统通览器Browser窗口的设计与实现。