基于案例推理的软件工作量估算的分析与设计

软件项目估算历来就是一项比较复杂的活动,因为软件本身的复杂性、历史经验的缺乏、估算工具的缺乏以及一些人为错误,导致软件项目的估算往往和实际情况相差甚。本文在阐述软件项目估算和基于案例推理技术的基本方法和原理的基础上,用与待估算项目相似的历史数据集来对比并预测出待估算项目的工作量,采用计算欧几里德距离的方法来计算待估算项目与历史项目的相似度,然后计算待估算项目的估算值,并对估算结果进行评价,并采用Java代码实现估算的自动化过程。     

浅谈云计算理论及其应用

云计算是21世纪网络计算的发展趋势,是一种新的计算模型。本文介绍了云计算的概念,并且描述了不同类型的云服务和关于云计算实现时的不同标准。读者将会对云计算有一个系统的了解,从而运用云的模式。     

开源软件的知识产权保护问题研究

本文系统介绍了开源软件所涉及到的知识产权保护问题。通过对国外相关著作和软件许可证管理办法的解读,重点分析了这种新兴的商业模式对软件产业的意义,以及国外经验对中国开源软件的知识产权问题、商业模式发展的借鉴意义。     

基于软件定义网络的多路径路由算法性能研究

基于不相交多路径的路由方案在负载平衡、容错等方面具有明显优势,但存在计算复杂度高的缺点,故对应的分布式算法难以在网络中大规模部署.通过分析软件定义网络的特点,论证了在其网络中部署不相交路径路由方案的可行性.其次,基于网络流的性质与不相交路径的图论性质,设计并实现了计算不相交路径的算法.最后,通过一系列基于不同网络模型的对比实验,验证所提算法较传统最短单条路径路由算法具有更佳的负载均衡.实验结果表明,该算法的性能与网络中链路能承受的负载极限阈值有关.     

基于源代码分析的软件静态测试

介绍了现代源代码分析技术中使用的安全规则,并对此技术可以测试出的软件中存在的内存管理、变量未初始化、空指针引用、数组访问越界或异常四类主要代码缺陷和缓冲区溢出等安全漏洞类缺陷几大问题做了研究。通过介绍一个基于源代码分析的静态测试工具Klocwork,提出了基于源代码分析技术的静态测试过程的四个阶段并对其进行分析,总结了其应用到大型航天软件中存在的一些问题,并说明解决其相应难题还需要准备进一步的研究工作。     

基于模型聚类的软件可靠性混合模型研究

软件可靠性验证阶段的可靠性增长模型的建立与选择是软件可靠性工程人员长期关注的焦点.软件可靠性模型混合是解决模型适应性差、精度低的可行性方法.利用模型聚类的COBWEB算法处理失效数据,对基本分模型进行动态权重混合,以提高软件可靠性评估与预测的精度和稳健性.并利用软件工具对该方法进行模型评价.     

软件测试管理系统设计

近年来,随着软件规模的不断扩大,传统的手工测试方法已严重影响了软件的发展,它不但需要投入大量的人力、物力和时间,最终还是由于测试的工作量太大,而无法保证软件测试的充分性,从而无法保证软件的质量。企业对软件测试的过程越来越重视,但是目前适合中小企业的软件测试文档管理系统还不是太多。为满足这方面的需求,利用软件开发中瀑布模型的设计方法和面向对象的技术设计,实现了对软件文档和测试用例等进行管理。在实际应用中,通过系统对测试的管理,可以更加方便地对软件进行测试,对测试文档进行统一管理。     

利用MSViewer解决晶体结构教学的难点问题

通过对MSViewer软件基本功能的研究，分析了利用MSViewer软件解决《物质结构》课程中晶体部分教学难点问题的可行性，并对该软件的基本功能进行了说明，同时对比传统教学模式提出了利用该软件辅助晶体结构教学的优势，并在此基础上进行了实例性介绍和研究。     

Effective Packet—level FEC Software Coding

This paper introduces an efective software-based FEC redundant packets generating algorithm.The algorithm is based on Reed-Solomon coding over Galois Field.By operating on words of packets and performing polynomial multiplication via lookup tables,software coding efficiency is achieved to satisfy the needs of most of computer network applications,The approach to generate lookup tables is datailed.     

JM模型缺陷排除假设的修改及参数估计

JM模型是软件可靠性模型中影响较大者之一,它假设缺陷排除是完全的,后人对此模型提出了种种修改和补充,但没有从本质上解决问题.本文对此假设提出自己的观点,并给出了置信限及其证明.