Web应用功能交互的建模与测试用例生成
摘要：为了产生更有效的测试用例,以Web应用为研究对象,按功能将Web应用划分成若干个功能构件,把Web应用看成是功能构件的集合,针对其相应的交互功能,用FSM对其功能交互行为进行建模。在此基础上提出了完整消息传递序列测试准则,并根据该测试准则生成抽象的测试用例集,以实现对Web应用交互性的测试,提高Web应用测试的有效性,力图实现Web应用测试的自动化。最后设计了一个工具原型用于测试用例的生成。基于Web服务的移动设备管理研究与改进
摘要：对基于Web Services技术的系统管理标准WS-Management进行了研究,说明了系统管理的现状,基于WS-Management实现了系统管理原型并进行了测试,并基于测试结果进行分析。针对移动设备的特点,改进和设计了基于WS-Management的移动设备管理系统,给出了改进的测试和分析结果。最后对基于WS-Management标准的移动设备系统管理及其发展趋势进行了总结。基于最短路径搜索序列编码的多下一跳路由
摘要：多下一跳路由较之单下一跳路由有许多天然的优势,通过分析现有多下一跳路由实现机制下的路由算法,提出了基于最短路径搜索序列编码的多下一跳路由。针对SPT（shortest path tree）路由实现机制无法利用等距离邻居节点之间链路的问题,提出了采用Dijkstra算法对网络节点编码赋值的思想。该方法可以对节点进行严格有序的赋值,规范了链路传输方向,有效地避免了环路,提高了网络资源利用率。仿真分析结果表明了该算法的可行性和有效性。基于WCF的服务缓存设计与研究
摘要：为了更好地解决Client/Server结构的遗留系统向SOA系统移植中的问题,分析了.NET3.0框架下的WPF（Windowspre-sentation foundation）图形系统和WCF（Windows communication foundation）服务技术,重点研究了WCF服务原理,提出了基于WCF的服务缓存系统结构模型。该模型采用对象池技术扩展WCF服务行为,有效地解决了服务端的性能问题。在实践项目的实验中,比较了直接连接服务和通过对象池访问服务两种方式下服务响应时间和内存占用的数据,结果表明了该服务缓存结构的有效性。P2P备份系统的协作机制研究
摘要：P2P备份系统已经成为确保数据可用的解决方案之一,它的关键思想是利用P2P网络节点的空闲存储空间来存储数据。由于P2P网络是一个高动态的环境,该系统的主要缺陷是对等节点之间缺乏协作机制。为了解决这个缺陷,系统定义一组时间表,它模拟每一个节点的可用性和需求,解决节点之间的备份协作问题并且确保有效的使用节点资源。仿真实验结果表明,基于时间表协作机制能改善P2P备份系统的性能。基于志愿者计算的高性能分布式作业系统及其优化
摘要：为提高分布式作业系统的性能,提出了基于志愿者计算的方法。对分布式作业系统中的任务服务器进行设计,通过提高任务服务器的分发能力,提升了作业系统整体的计算能力。实例仿真计算表明,当任务服务器的数量增加时,采用基于志愿者的分布式作业系统能够大大提高任务服务器处理任务的能力,同时如果对数据库查询进行优化,可以进一步提高分布式作业系统的性能。非重复宽间隔跳频序列的优化
摘要：跳频序列发生器是跳频通信系统的核心部件,寻求理想的跳频序列是研究跳频通信的重要课题之一。通过对RS码跳频序列相关技术的研究,改进了基于RS码宽间隔非重复跳频序列的优化方法,利用Matlab软件进行了仿真,并绘制出了某个跳频序列的汉明相关性。计算结果表明,该方法克服了对偶频带法产生的宽间隔的跳频序列随机性较差的缺点,提高了整个跳频序列的平均间隔,满足相邻频率值大于某个固定的常数,同时也满足宽间隔非重复跳频序列族的理论界限。互联网上基于对等网络的消息通信编程环境
摘要：描述了一个互联网上基于对等网络的消息通信编程环境P2PE（P2P-based programming environment）。P2PE利用对等网络的JXTA协议来组织互联网上的各种节点,形成一个应用层的覆盖网络。P2PE把基于对等网络的计算资源共享平台的功能需求划分为服务的形式,该服务可以被对等节点或节点组利用。通过提出具有质量保证的消息,实现了消息通信过程的同步异步通信、远程过程调用、动态的数据传输。测试与性能分析表明,P2PE在处理分布式计算的消息通信问题上,轮回时间、消息队列的效率、远程过程调用的开销、吞吐量等都有较好的性能。基于二进制补丁比对的软件输入数据自动构造
摘要：在软件二进制补丁比对结果的基础上,提出一种基于目标的适应值函数模型。该模型对同一种群中所有个体评估,寻找优秀个体以遗传到子代中,产生能够到达或接近到达可疑函数的个体数据。该算法不需要源码。实验结果表明,该算法简化了逆向分析人员构造软件畸形数据的过程,为其快速触发软件脆弱点创造了条件。网格环境中基于语义的ABAC属性研究
摘要：为解决网格环境中域间互操作时基于属性的访问控制（attribute based access control,ABAC）策略之间的语义异构问题,提出一种利用属性语义信息辅助域间安全策略表示的方法。根据主客体及环境属性的多样性和二义性等特点,对EduPerson规范、SAML属性轮廓、QoS测度等领域知识进行分析,并构建出SHIQ（D）描述逻辑的通用属性本体UniAttOnt。在此基础上,给出了利用本体知识使用属性语义信息辅助属性一致性检测和策略表示等的具体方法,最后的实例分析表明了该方法的可行性。回声隐藏技术中回声核的研究
摘要：简述了对回声隐藏技术的最初设想、心理声学原理及最基本的回声隐藏方法,在此基础上总结了回声隐藏算法的研究进展情况,主要归纳了对回声核的改造,同时对各种回声核结构进行了模拟仿真测试,通过测试结果分析并比较了各方法的优缺点,展望了回声隐藏技术领域的研究发展方向。安全OA模型的研究与设计
摘要：为解决目前OA系统的安全性问题,结合智能卡技术、PKI技术、文件访问控制技术,提出了由用户安全登录、信息安全传输、文件安全访问3个部分组成的安全OA模型。用户安全登录主要是结合MD5分组变换技术,采用服务器、客户端应答模式实现,服务器、客户端之间的会话密钥则由可信密钥服务器产生,同时该服务器还负责文件密钥的分发,通过访问控制模块实现文件的安全访问,而信息安全传输则是采用混合加密方式完成,相关加解密都在智能卡内部完成。实验结果表明,该系统效率高,安全性强。基于COQUALMO的缺陷预测与校准工具的设计与实现
摘要：软件缺陷预测对软件质量的保证和提高起着重要的作用,是软件项目管理中不可或缺的一部分。COQUALMO作为一种较成熟的缺陷预测模型技术,其应用目前都是基于电子表格,手工录入工作量较大,且没有自动校准功能,本地化应用有误差。针对该问题,以最小二乘法与算术平均值法对两个子模型系数进行校准,设计并实现了COQUALMO本地校准自动化工具,方便组织用户使用。使用真实数据进行测试,测试结果表明了该模型在本地校准后缺陷预测的准确度与稳定性。具有约束条件的组合测试用例集的构建方法
摘要：针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法。该方法是对待测系统中的约束条件进行处理,将约束条件先转化为合取范式再转化为布尔表达式的形式。利用布尔可满足性求解器进行求解,找出满足约束条件的约束组合测试用例。最后运用AETG-SAT算法得到较优的组合测试用例集,并通过实验表明了AETG-SAT算法的优越性。循环条件的形式化推导在程序验证中的应用
摘要：提出了一种求解命令式程序中循环执行和终止条件的方法。该方法基于循环代码本身进行循环执行和终止条件的分析推导,可以定义一个原型工具进行自动化推导。现有的形式化方法依赖于形式化规范,而提出的方法适用于未被形式化的程序。提出的形式化方法可以在一个原型工具中实现,通过该工具来推导循环执行和终止条件,辅助程序验证和程序缺陷修正。面向方面的软件产品线需求建模
摘要：为了将软件产品线的横切关注点在开发的早期阶段分离出来,完成系统分析向设计阶段的顺利过渡,提出了一种面向方面的软件产品线需求分析模型,并给出该模型需求分析的基本步骤。通过冷库管理系统的实例,给出了识别和描述功能需求、非功能需求和横切关注点的方法,利用UML类图完成方面和功能整合,在此基础上介绍了用关系矩阵和合并非功能需求集合的方法来描述非功能需求。实验结果表明,该方法能够有效简化软件产品线需求建模的复杂性。虚拟数据库的实现方法
摘要：虚拟数据库是目前信息集成的主要方法之一,但目前的虚拟数据库产品很难做到对数据源结构的屏蔽,使得系统配置和使用不是十分方便,查询定义过程要求用户了解各个数据源及其组织结构。基于超图理论提出了一种简单可行的模式集成方法,解决了同名异义及异名同义等问题。通过元数据库管理系统,数据库管理员可定义各种视图来屏蔽信息源的结构,大大简化了用户的查询定义过程。同时,给出了虚拟数据库系统的主要实现技术。基于REST Web Services的分布式遥感数据检索技术研究
摘要：为了更好地解决分布式遥感数据检索的问题,提出了基于REST Web Services的分布式检索实现方法。根据分布式数据检索的需求和遥感数据检索系统的特点,研究了分布式数据检索的实现技术、REST的基本概念、目标与设计原则、主要思想以及实现方式,在此基本上设计了基于REST Web Services分布式遥感数据检索原型系统,并实现了基于REST Web Services分布式遥感数据检索原型系统。
