国家高技术研究发展计划(2007AA010408)
- 作品数：27 被引量：73H指数：5
- 相关作者：周清雷张志鸿李学相朱维军张文宁更多>>
- 相关机构：郑州大学西安电子科技大学北京交通大学更多>>
- 发文基金：国家高技术研究发展计划陕西省科技攻关计划河南省科技攻关计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于UML状态图的类测试技术被引量：1
- 2010年
- 针对基于状态的类测试技术缺陷检测率较低的问题,提出一种使用等价类划分和边界值分析等功能性测试方法构建UML状态图的方法,描述基于W方法的测试序列生成策略,使用Mujava变异工具对方法的有效性进行检测。实验结果表明,该测试策略具有较高的缺陷检测率。
- 周清雷张文宁赵东明李喜艳
- 关键词：类测试UML状态图
- 公平交换协议公平性的串空间分析方法
- 公平交换协议的结构常常比较复杂,可能由多个子协议组合而成,并不一定按顺序结构执行协议。因此,公平交换协议的公平性分析需要选择适宜的形式化方法。扩展了串空间逻辑,利用扩展后的串空间轨迹图分析了在线TTP类型协议的公平性;利...
- 李雪周清雷李娟
- 关键词：串空间公平交换协议形式化分析
- 文献传递
- 命题投影时序逻辑并发建模与自动验证被引量：2
- 2010年
- 针对目前尚无模型检测方法对区间并发模型进行区间性质的自动验证的情况,采用命题投影时序逻辑中具有特定结构的一类公式来建立系统的区间并发模型,该逻辑的任意公式可以描述模型需要满足的区间性质,通过归约为已有的逻辑公式可满足性判定算法,证明了命题投影时序逻辑统一框架模型检测是可判定的,从而得到了其自动验证方法,并给出了一个验证实例.
- 朱维军张海宾周清雷
- 关键词：时序逻辑命题投影时序逻辑并发模型
- 基于规则的网页处理方法在移动办公的应用被引量：2
- 2010年
- 基于规则的网页处理方法是将企业网站适配到移动办公应用的一种方法。从代理服务器获取网页,对网页进行规范化处理;然后根据规则优先级对规范化的网页逐条应用规则,对网页做净化处理或组织结构调整;最后,将处理好的网页返回给代理服务器,由代理服务器将网页推送到移动终端。这种基于规则的方法可以用模块化的方式处理网页,使该方法具有通用性,可以通过改变或加入部分规则适用于不同的企业网站。
- 杜广飞张志鸿毋晓英
- 关键词：移动办公代理服务器
- 可复用测试用例及其相关支撑管理框架研究被引量：1
- 2012年
- 有效复用测试用例能够提高测试效率。本文围绕软件复用的3个基本问题,分析了可复用测试用例的复用维度、质量特性;研究了可复用测试用例库的结构、相关角色及支撑管理措施;提出了测试用例复用过程,对可复用测试用例全生命周期内的活动进行了分析。
- 李学相张文宁
- 关键词：测试用例复用管理框架
- 电子商务领域构件的研究和设计被引量：1
- 2010年
- 为了适应河南省电子商务技术发展的要求,填补"河南省软件行业资源库及服务平台"中电子商务领域构件的空白,提出采用面向构件技术来构建电子商务系统。该研究在需求、分析、设计等开发阶段都以构件为基础,把面向构件技术融入了开发的各个周期,研究和设计了电子商务平台,提取出电子商务领域构件,丰富了资源库的建设,推动了河南省电子商务产业的发展。
- 王东张志鸿
- 关键词：电子商务体系结构
- 粒度计算中混合属性约简的权重模糊粗糙集模型被引量：1
- 2011年
- 针对权重粗糙集模型不能有效处理非平衡混合数据的问题,对权重论域上的各种类型变量进行分析并建立统一的模糊等价关系,提出混合数据上的权重模糊粗糙集模型,并利用该模型构造出带权模糊等价空间上的混合属性约简算法.混合属性约简算法产生的模糊软划分可以克服权重论域上离散硬划分产生的信息损失.在非平衡混合数据集上进行的实验结果表明,与基于权重粗糙集的算法相比,基于权重模糊粗糙集模型的属性约简算法的平均分类精度提高了11.9%.
- 刘洋周清雷冯博琴
- 关键词：粗糙集混合数据模糊等价关系属性约简
- iHistorian实时数据库访问构件的设计与实现被引量：2
- 2010年
- 针对金属冶炼行业实时监控系统的开发过程中软件复用度低的问题,设计并实现一种iHistorian实时数据库访问构件。该构件为开发人员提供了基于组件对象模型(COM)的接口,实现了iHistorian实时数据库的存储、数据查询及数据转发功能,解决了一个iHistorian连接授权,多个客户端访问的问题。该构件被封装成动态链接库(DLL)文件,可方便地在基于iHistorian的实时监控系统中复用,从而缩短了软件开发周期,降低了软件开发成本。该构件已在"大型设备实时监控系统"中得到成功运用。
- 樊源泉张志鸿
- 关键词：实时监控系统实时数据库组件对象模型动态链接库
- 扩展Tempura语言统一模型检测算法
- 2011年
- 针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序逻辑公式所描述的性质.具体方法是首先翻译规范程序到命题扩展区间时序逻辑公式,然后使用该逻辑的公式满足性判定算法进行自动验证.验证实例证实了新方法的有效性.
- 朱维军周清雷张海宾
- 关键词：区间时序逻辑
- 离散时间区间时序逻辑可满足性的判定被引量：4
- 2010年
- 目前还没有模型检查的方法自动检测模型是否满足时间区间时序逻辑描述的性质.我们约束时间域到离散时间,证明了离散时间区间时序逻辑的可满足性是可判定的,因而是可模型检查的.提出了时间正则图模型,通过从离散时间区间时序逻辑到时间正则图的构造,提出了基于该逻辑的判定算法,该算法可以推广到其它的时序逻辑模型检查,并优于现有的基于自动机的时序逻辑判定方法.
- 朱维军张海宾周清雷
- 关键词：可满足性判定
