形式化的软件测试模型研究

传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证。本文提出一种基于形式化方法的软件测试模型。该模型使用形式化描述语言RSL对软件设计进行描述,并在此基础上提出了自动生成软件测试各个阶段所需测试用例的方法框架以及相关实验结论。     

一种基于灰色关联分析的信息安全风险评估方法研究

随着信息化进程的快速发展,保障信息系统的安全性和降低信息系统潜在的风险,一直是国内外学者关注的焦点,而风险评估正是解决该问题的有效方法之一,但是在风险评估过程中存在评估指标难以量化、风险值难以界定等困难,因此文章提出了一种基于灰色关联分析的信息安全风险评估方法,该方法首先建立了信息系统的风险评估指标体系,其次将评估的信息系统与最优信息系统进行关联度分析,最后得出信息系统风险的准确度量。该方法可以使信息系统的评估过程简单化,标准化。     

电子商务与Web数据挖掘

在电子商务中,运用数据挖掘技术对服务器上的日志文件等Web数据进行客户访问信息的Web数据挖掘,了解客户的访问行为,从而调整站点结构、市场策略等,使电子商务活动具有针对性。     

基于数字水印技术的OR二维码信息保护

二维条码技术和数字水印技术都是防伪领域中的重要技术和研究热点。由于二维码的编码过程是通过公开的数据信息转换方法进行，因此从严格意义上说二维码技术并不是一种可靠的保密技术。本文设计并实现了一整套基于QR二维码的信息保护方法。本文讨论的QR二维码信息保护的方法，主要包含生成水印的加密算法和解密水印的提取和解密算法两部分。基于以上思路，采用数字水印技术实现在公开信息中加入秘密的隐私信息，从而实现隐私信息的隐藏保护。本文主要讨论核心信息的混沌序列置乱和置乱图像的嵌入两个步骤。核心信息的混沌序列置乱采用LogiStic映射的混沌系统对核心信息进行置乱，置乱图像的嵌入采用二维离散余弦变换将置乱后的核心内容图像嵌入到载体图像中。经过实验验证，该套基于QR二维码的信息保护方法能有效的保护储存在二维码中的信息，有效地解决了二维码信息保密性差的问题。     

基于近似的skyline算法的Web服务组合方法

云计算的蓬勃发展,为Web组合服务的发展带来了新的机遇和挑战,传统的服务组合方法中只注重实现服务增值以满足用户日益增长的需求,而互联网上存在着大量的功能性相同、非功能性不同的具体服务。在这些服务中挑选出符合用户偏好的Web组合服务,尤其是符合用户特定需求的Web组合服务成为一个亟待解决的问题。文章采用AHP算法量化用户偏好,再将得到的用户相对偏好权重融入到近似的skyline查询算法中,挑选出合适的Web组合服务,来满足用户的需求。最后通过一系列实验验证所提出方法的有效性和可扩展性。     

基于相似度的信任推荐模型

针对信任推荐过程中难以鉴别恶意推荐的问题,提出一种基于相似性的信任推荐模型.模型中,借鉴社会心理学的研究成果,若两个用户在行为上具有较高的相似性,则表明他们更容易相信对方.把用户评分相似性作为信任推荐时的权重系数,理论分析和仿真结果表明:该模型可有效防范信任推荐中的恶意推荐行为,降低信任度的计算误差,从而提高信任评估的准确性.     

形式化与可视化结合的FDOOM软件开发方法

It is an important issue in Software Engineering that combines the formal development method with the vi-sual development method. This study is based on the transform method and rules between the UML model and the RAISE model.We developes a new software development Method FDOOM (Formal Development based on Object Oriented Modeling) that combine the UML with the RAISE together. And there is a demo in the end.     

一种基于主动网络的管理模型研究

主动网络是一种新型网络体系结构，可以为网络协议、网络服务的快速提升和部署提供简单的网络平台。本文讨论了传统网络管理(NN)中存在的问题，分析了主动网络管理(ANN)体系结构与管理机制。重点讨论了一种基于节点为核心的主动网络分层管理模型，并分析了该模型的结构、管理机制、设计要点和各层关系，说明了本方案能够较好地适应主动网络的特点和管理的需求。     

物联网构件的自适应方法研究

随着物联网的快速发展,如何让拥有感知能力的物体具有自适应能力,即能够有效地利用自身感知来改变自身的状态以适应环境的变化,成为物联网研究当前面对的重要挑战之一。从构件的角度出发,在物联网三层架构的基础上,提出了FEBDA(Feature Environment Belief Desire Action)结构及其自适应机制的抽象定义,并建立了相应算法,最后通过实例演示了物联网构件的自主运行机制。     

基于协议混合变形的Web安全模糊测试与效用评估方法

在Web应用安全模糊测试中,存在测试用例覆盖率低、测试效用无法得到有效验证及漏洞检测结果无法得到有效评估等问题。提出了协议变形和动态特征并行混合的测试用例生成方法,建立了按典型漏洞分类的输入特征组合规则和协议变形规则,并形成了基于污染传播策略漏洞响应数据分析和有效性验证的方法。实验表明所提方法增大了测试用例的多样性以及提高了覆盖率,降低了在网站过滤环境复杂情况下的漏洞检测的漏报率和误报率。