您的位置: 专家智库 > >

惠战伟

作品数:49 被引量:38H指数:4
供职机构:解放军理工大学更多>>
发文基金:国家高技术研究发展计划江苏省自然科学基金更多>>
相关领域:自动化与计算机技术电子电信文化科学更多>>

文献类型

  • 20篇专利
  • 18篇期刊文章
  • 10篇会议论文

领域

  • 30篇自动化与计算...
  • 2篇电子电信
  • 1篇文化科学

主题

  • 18篇测试用例
  • 9篇软件测试
  • 9篇测试用例生成
  • 8篇测试用例生成...
  • 7篇安全性
  • 6篇形式化
  • 6篇形式化描述
  • 6篇安全性测试
  • 5篇整数溢出
  • 4篇自动生成
  • 4篇遍历
  • 4篇测试技术
  • 4篇抽取
  • 3篇代码
  • 3篇有效性
  • 2篇定位技术
  • 2篇信息提取
  • 2篇性需求
  • 2篇用户
  • 2篇语句

机构

  • 41篇解放军理工大...
  • 7篇中国人民解放...
  • 2篇空军预警学院
  • 1篇中国电子科技...
  • 1篇中国人民解放...
  • 1篇南京军区联勤...
  • 1篇中国人民解放...
  • 1篇山东省军区
  • 1篇中国人民解放...
  • 1篇北京图形研究...

作者

  • 48篇惠战伟
  • 44篇黄松
  • 17篇姚奕
  • 16篇胡斌
  • 12篇郑长友
  • 10篇刘晓明
  • 10篇蒋圆圆
  • 9篇史涯晴
  • 9篇李辉
  • 6篇王梅娟
  • 5篇张婷婷
  • 4篇吕学伟
  • 2篇余沛毅
  • 2篇刘剑豪
  • 2篇于秀山
  • 2篇雷小宇
  • 2篇嵇孟雨
  • 2篇李留义
  • 2篇张赛男
  • 1篇黄文化

传媒

  • 6篇指挥信息系统...
  • 3篇计算机工程与...
  • 3篇南通大学学报...
  • 2篇计算机科学
  • 1篇东南大学学报...
  • 1篇计算机学报
  • 1篇计算机应用
  • 1篇解放军理工大...
  • 1篇2008年中...
  • 1篇第三届信息安...
  • 1篇2012中国...

年份

  • 1篇2019
  • 1篇2018
  • 5篇2017
  • 9篇2016
  • 6篇2015
  • 4篇2014
  • 4篇2013
  • 6篇2012
  • 6篇2011
  • 5篇2010
  • 1篇2008
49 条 记 录,以下是 1-10
排序方式:
基于蜕变关系的整数溢出故障实时测试方法
整数溢出被认为是当前软件系统最危险的安全故障之一.本文针对现有整数溢出故障测试方法存在的测试判定难题,提出了一种基于蜕变关系的整数溢出故障实时测试方法.该方法通过对现有的静态测试选择危险整数,然后基于'定义-使用模型'确...
惠战伟黄松
关键词:软件系统
文献传递
基于复合函数的蜕变关系构造方法被引量:1
2013年
蜕变测试可解决测试Oracle问题,但不是所有的蜕变关系都能有效地发现软件缺陷。提出了一种基于复合函数的蜕变关系构造方法,通过该方法构造的蜕变关系,集合了复合蜕变关系的所有特点,具有较高测试效率。试验验证表明该方法有效。
林仁超刘晓明黄松惠战伟
关键词:复合函数
一种基于自适应随机策略的蜕变测试用例生成方法
本发明公开了一种基于自适应随机策略的蜕变测试用例生成方法,即基于自适应策略随机自动生成测试用例。首先,随机生成第一组原始测试用例,并根据蜕变关系生成附加测试用例,两者构成已选择测试用例;其次,对输入域进行划分,得到末被已...
惠战伟黄松李辉饶莉萍王梅娟吕学伟
文献传递
基于剖面划分的软件安全性测试需求提取与行为描述方法
本发明公开了一种基于剖面划分的软件安全性测试需求提取与行为描述方法,该方法可分为四个步骤,第一步创建UML用例图与活动图,第二步对UML用例图和活动图提取安全性功能需求,第三步创建软件安全性时序行为图,第四步创建软件测试...
黄松惠战伟洪宇刘晓明姚奕胡斌任正平蒋圆圆郑长友饶莉萍袁利华刘艳云
文献传递
蜕变关系形式化描述与分解技术研究
'测试判定问题'(Test Oracle Problem)是影响软件测试技术发展的瓶颈问题之一。1998年T.Y.Chen教授针对该问题提出了软件蜕变测试技术,从而为解决该难题提供了一种有效的途径。蜕变测试技术经过二三十...
惠战伟黄松
关键词:形式化描述
文献传递
软件安全性需求提取方法研究综述被引量:4
2011年
安全性需求的提取是确保软件安全的关键。介绍了安全性需求的定义、目的以及种类,研究了当今主要的安全性需求提取方法,指出了未来安全性需求研究的重点和发展方向。
黄文化黄松惠战伟夏凯
关键词:软件需求分析
一种蜕变关系形式化描述与分解方法
本发明公开了一种蜕变关系形式化描述与分解方法,包括如下步骤:(1)根据目标被测软件,抽取和设计软件必须满足的蜕变关系,创建蜕变关系;(2)基于符号逻辑对得到的蜕变关系进行形式化建模:首先确定蜕变关系成立的约束条件,并进行...
惠战伟黄松李辉姚奕胡斌任正平张婷婷王梅娟史涯晴雷小宇
文献传递
IFPUG度量方法的改进及应用被引量:3
2016年
国际功能点用户组(international function point user group,IFPUG)度量方法可以在软件项目的全生命周期度量项目规模,但是传统的IFPUG功能点度量方法在度量数据功能和事务功能时存在度量结果不连续的问题.针对此问题,提出一种基于拟合分析的功能点度量方法,将简化的功能点方法 EQFP(early&quick function points)与IFPUG方法结合,通过拟合分析,将分段的度量函数转换为连续的度量函数.实验结果证明,改进后的方法在保证度量精度的前提下,消除了度量结果的不连续性问题.最后,将功能点方法应用于软件测试阶段,对软件测试过程进行有效管理,对软件测试的结果进行科学的评估.
程星星黄松惠战伟史涯晴
关键词:功能点度量软件测试
一种C代码软件设计信息提取方法研究被引量:1
2016年
白盒测试依赖于被测程序的内部逻辑结构,人工分析程序结构的方法存在分析效率低、成本高的不足,同时,对从事分析的人员素质也提出了较高的要求.针对该问题,基于C程序提出了一种软件设计信息提取方法.该方法利用开源语言识别工具ANTLR,构造C程序文法,并自动生成中间代码,从而将源程序的基本信息从抽象语法树(AST)中提取出来,存储到数据模型中,实现对源代码进行的自动分析.实例验证表明:提出的方法提取C程序头文件和源文件的静态信息后,可计算分析得到数据流,控制流,函数调用关系等软件设计信息.证明了该方法的有效性.
雷宇黄松于秀山惠战伟
关键词:C代码设计信息数据模型
一种基于行为模型的软件安全性测试用例生成方法
本发明公开了一种基于行为模型的软件安全性测试用例生成方法,包括如下步骤:(1)确定软件安全性测试需求;(2)使用测试需求行为模型对安全性测试需求进行描述;(3)使用UML状态图对测试需求行为模型进行描述;(4)将UML图...
黄松任正平姚奕刘晓明惠战伟胡斌洪宇郑长友饶莉萍蒋圆圆袁利华刘艳云
共5页<12345>
聚类工具0