教学课程资源库 更多>>

关键词： 面向对象   蜕变关系   代数规格   变异检测率  

摘要： 针对面向对象软件类级测试中方法序列调用时的Oracle问题,提出了一种基于代数规格的面向对象蜕变关系构造方法,并根据此方法进行蜕变测试。首先基于代数规格给出面向对象测试中蜕变关系的构造准则,然后根据构造准则对GFT(Generating a Finite number of Test cases)算法中范式构造蜕变关系方法进行改进,最后通过一个整数栈类对提出的蜕变关系构造准则进行了验证测试,并与GFT算法中范式构造蜕变关系方法进行了对比,结果表明在相似的变异检测率下,改进后的方法使得构造的蜕变关系冗余度降低了66%,验证了改进的蜕变关系构造方法有更低的蜕变关系冗余度,提高了软件测试效率。

关键词： 事件逻辑   改进的Needham-Schroeder协议   形式化方法   强认证性理论  

摘要： 安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。

关键词： 高分辨率遥感   图像分割   区域合并   多尺度   面向对象分析  

摘要： 图像分割是高分辨率遥感图像处理和分析的关键环节.本文探讨了将区域合并方法应用于高分辨率遥感图像多尺度分割的技术要点,旨在提升分割的精度和效率,获得地物对象的多尺度表达.主要研究内容包含如下五个方面:(1)图模型的构建,包括区域邻接图和最近邻图,以提高分割效率;(2)合并准则的确定,选择能有效表征区域同质性、形状和边界的图像特征并加以组合,提升分割精度;(3)合并策略的选择,针对寻优范围不同列出面向全局、面向局部以及混合区域合并等三种合并策略,并分析各自的特点;(4)尺度参数的设置,针对面向局部的区域合并策略提出递增的尺度参数序列控制方法,生成边界一致的多尺度分割结果;(5)分割树的设计,利用树中不同层级的节点表达不同尺度的分割区域,可快速输出多尺度分割结果.研究成果可应用于高分辨率遥感图像面向对象分析、地物目标识别和信息提取.

关键词： 微信公众平台   微信银行   UML建模   瀑布模型  

摘要： 针对传统的瀑布模型开发微信银行存在的问题,结合UML建模技术,提出了一种模块化的分层设计方法,构建一个系统稳定、扩展性能好的微信银行应用系统。

关键词： 混燃安装管理平台   S2SH框架   UML建模   MVC设计模式  

摘要： 为了方便企业高效管理混燃设备的安装,设计了基于S2SH框架的混燃安装管理平台。该平台由Struts2+Spring+Hibernate三种轻量级框架组成。基于此框架开发安装管理平台,能够提高安装效率、规范安装流程、降低企业的总成本。该框架层次清晰,降低了系统的耦合性,提高了代码的复用性及系统的可靠性、安全性和可维护性;界面交互性良好,操作简单,应用前景广阔。

关键词： Web服务发现   社群关系   策略   形式化方法  

摘要： Web服务发现是Web应用研究中的关键问题。研究了多个用户彼此之间的社群关系对Web服务发现结果的影响,将用户之间的社群关系分解为偏好关系、聚类关系和信任关系,给出了这3个关系的形式化方法。基于形式化后的社群关系提出了一个差分式服务发现策略,构建了一个基于用户社群关系的Web服务发现系统框架,按照Web服务与用户兴趣背景相关性由强到弱的原则来逐步检索或推荐候选Web服务以产生最终结果。实验表明,该方法能有效提高服务发现的效率和查准率。

关键词： 高校   UML建模   订水  

摘要： 高校中的传统订水方式人工参与度高、效率低下,本文基于UML,分析设计了高校订水系统,并可简化业务流程,提高多种参与者的效率。

关键词： 计算机软件   无线传感器网络   路由协议   形式化方法   L-π演算  

摘要： 针对无线传感器网络路由协议形式化描述与验证的问题,提出了一种形式化方法 L-π演算。定义了L-π演算的语法,形式化描述无线传感器节点的广播与单播的通信行为。定义了相应的结构同余,描述了节点表达式的非顺序性。定义了相应的迁移规则,提供了路由协议形式化模型的动态推演功能。通过对无线传感器网络簇头选择协议的描述展现了L-π演算的能力。通过无线传感器网络簇头选择协议的验证实验说明了该方法能有效验证无线传感网络路由协议。

关键词： 复杂电子信息系统   体系结构   验证评估   群决策  

摘要： 针对复杂电子信息系统顶层体系结构模型的评估方法进行研究,提出基于群决策的体系结构验证评估方法,将复杂电子信息系统众多质量要素转化为体系结构设计方案评估指标体系,并建立基于不确定语言评估值的群决策综合与评估方法对基于指标体系的不确定评估信息进行综合,以得到相对精确的评估结果。算例分析表明该方法是有效的。