国家高技术研究发展计划(2009AA01Z402)

作品数:16被引量:49H指数:5
导出分析报告
相关作者:黄松惠战伟姚奕郑长友刘晓明更多>>
相关机构:解放军理工大学空军预警学院北京图形研究所山东省军区更多>>
相关期刊:《东南大学学报(自然科学版)》《计算机学报》《计算机技术与发展》《计算机工程与设计》更多>>
相关主题:软件测试整数溢出蚁群算法信息安全风险评估信息安全更多>>
相关领域:自动化与计算机技术更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
OESC:一种用于软件测试过程分析的分层框架
《东南大学学报(自然科学版)》2017年第A01期158-163,共6页吴开舜 黄松 惠战伟 王进华 姚奕 
国家高技术研究发展计划“863计划”资助项目(2009AA01Z402);江苏省自然科学基金资助项目(BK20141072,BK2012059,BK2012060);解放军理工大学预研基金资助项目(20110202,20110210)
针对使用测试管理工具难以准确地分析软件测试的执行过程这一问题,提出一种基于测试人员操作记录的分层框架(OESC框架).依据测试人员的行为粒度将该框架划分为操作层、事件层、语义层、概述层,其中操作层和事件层已有工具进行记录,语义...
关键词:测试过程分析 过程控制 多标签分类 用户行为 
一种基于蜕变关系的测试与失效测试用例定位模型被引量:1
《计算机科学》2016年第10期57-62,共6页惠战伟 黄松 张婷婷 刘剑豪 
国家高技术研究发展计划"863"项目(2009AA01Z402);江苏省自然科学基金项目(BK20141072;BK2012059;BK2012060)资助
针对传统的蜕变测试模型MTM存在的局限性,提出了一种基于蜕变关系的测试模型MRTM。首先通过对比分析,指出了MRTM的适用范围等特点;其次,针对MTM和MRTM都面临的失效测试用例难以确定的难题,提出了一种基于可疑度计算的蜕变测试失效测试...
关键词:蜕变关系 测试模型 蜕变测试 失效测试用例 
蜕变关系形式化描述与分解技术被引量:3
《计算机工程与设计》2016年第2期405-412,共8页惠战伟 黄松 李辉 刘剑豪 
国家863高技术研究发展计划基金项目(2009AA01Z402);江苏省自然科学基金项目(BK20141072;BK2012059;BK2012060);解放军理工大学预研基金项目(20110202;20110210)
蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与...
关键词:蜕变关系 蜕变测试 测试判定 形式化描述模型 分解模型 
基于变异分析的蜕变测试充分性条件被引量:4
《计算机应用》2014年第A01期280-283,共4页杜元柱 黄松 惠战伟 陆丽丽 
国家863计划项目(2009AA01Z402);江苏省自然科学基金资助项目(BK2012059;BK2012060);解放军理工大学预研基金资助项目(20110202;20110210)
变异分析是研究软件测试的一种有效手段,在蜕变测试的研究中也经常采用这种方法。测试数据杀死变异需要满足一定的条件,但在蜕变测试中,测试用例满足变异测试中的条件不一定能够杀死变异,需要比一般的变异测试更严格的测试数据才能杀死...
关键词:变异 变异分析 蜕变测试 充分性条件 
基于Petri网的面向测试的工作流系统建模方法被引量:6
《电子科技大学学报》2014年第1期119-124,共6页郑长友 刘晓明 姚奕 任正平 
国家863项目(2009AA01Z402);中国博士后科学基金面上项目(20110491843);江苏省自然科学基金(BK2012059;BK2012060)
提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,...
关键词:PETRI网 工作流 工作流建模 工作流测试 
坡度坡向量算程序蜕变测试方法被引量:6
《计算机应用》2013年第6期1657-1661,1745,共6页黄松 丁瑞浩 李辉 姚奕 
国家863计划项目(2009AA01Z402);江苏省自然科学基金资助项目(BK2012059;BK2012060);解放军理工大学预研基金资助项目(20110202;20110210)
坡度、坡向量算是地理信息系统的主要功能之一。然而,由于截断误差、舍入误差以及误差传播的影响,导致测试判定难以获取。基于此,提出将蜕变测试应用于坡度、坡向量算程序的测试中,通过分析坡度、坡向量算程序功能的几何属性、数值计算...
关键词:坡度 坡向 蜕变测试 蜕变关系 
蜕变关系判定中计算误差分析
《指挥信息系统与技术》2013年第2期80-84,共5页丁瑞浩 黄松 惠战伟 
国家"863"计划(2009AA01Z402);江苏省自然科学基金(BK2012059;BK2012060)资助项目
蜕变测试应用于数值计算时,通常因截断和舍入误差以及误差传播导致蜕变关系成立判定产生偏差。以地形量算程序中不规则区域面积量算的蜕变测试为例,提出了蜕变测试的计算误差问题,给出了误差影响下蜕变关系成立与否的判断准则,并对比例...
关键词:蜕变测试 不规则区域 面积量算 计算误差 
军用可信软件现状及发展研究
《军事运筹与系统工程》2012年第4期75-78,共4页郑长友 刘晓明 
国家高技术研究发展计划(2009AA01Z402);中国博士后科学基金资助项目(20110491843);江苏省自然科学基金项目(BK2012059;BK2012060)
随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内外军事相关领域可信软件的发展现状,指出了当前我军军用软件...
关键词:军用软件 可信计算 可信软件 软件可信性 
基于蚁群算法的GUI软件回归测试用例集优化
《吉林大学学报(信息科学版)》2012年第6期616-621,共6页于长钺 张萌萌 窦平安 于秀山 
国家863高技术发展计划基金资助项目(2009AA01Z402)
针对GUI(Graphical User Interface)软件输入/输出图形化、事件驱动、事件触发随机性所带来的回归测试用例数量巨大的难题,在GUI事件模型图基础上,构建了GUI软件回归测试用例集优化数学模型,给出了目标函数和约束条件,提出了一种基于蚁...
关键词:蚁群算法 回归测试 测试用例集优化 
基于程序特征谱整数溢出错误定位技术研究被引量:7
《计算机学报》2012年第10期2204-2214,共11页惠战伟 黄松 嵇孟雨 
国家"八六三"高技术研究发展计划项目基金(2009AA01Z402);江苏省自然科学基金(BK2012059;BK2012060)资助~~
随着软件业的飞速发展,人们对软件质量的要求也越来越高.整数溢出错误以其高危性和隐蔽性成为影响软件安全性和可靠性的重要因素之一.如何准确定位整数溢出错误是软件安全领域研究的热点.论文改进了现有错误定位模型,构建了整数溢出错...
关键词:整数溢出错误定位 程序特征谱 定义使用对覆盖 分支覆盖 
检索报告 对象比较 聚类工具 使用帮助 返回顶部