国家自然科学基金(60373003)
- 作品数：10 被引量：312H指数：6
- 相关作者：单锦辉姜瑛秦杰辛国茂张路更多>>
- 相关机构：北京大学河南工业大学酒泉卫星发射中心更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术兵器科学与技术文化科学更多>>
- 软件的易测试性分析方法述评被引量：6
- 2005年
- 软件测试是软件工程领域中重要组成部分。随着软件规模的不断扩大,测试工作的复杂性也不断升高,而改善、提高软件易测试性则是降低测试复杂性的有效手段。为达到这一目标,首先要能对软件的易测试性进行准确的度量。这种度量结果除了作为软件度量的一个量化指标外,还应能为改善易测试性提供指导、为测试的设计提供有效帮助。本文对现有软件易测试性分析方法进行归类,将已有技术大致归并为基于复杂度分析、基于信息论分析、基于PIE技术分析和基于UML类图分析四种基本类型。简要介绍了每一类方法,对这些方法的特点与不足进行分析比较,并探讨今后的研究方向。
- 刘菲菲单锦辉姜瑛
- 关键词：测试性UML类图工程领域软件测试
- 基于非线性SVM模型的木马检测方法被引量：5
- 2011年
- 针对传统木马检测方法误检率和漏检率较高的问题,提出基于非线性支持向量机(SVM)模型的木马检测方法。根据被检测程序在系统中的系统调用函数建立系统调用序列,并转换成SVM可识别的标记放入数据仓库,以供向量机提取作为特征向量。通过建立SVM分类器对被检测程序行为进行分类,从而确定被检测程序行为的异常情况,判断其是否为木马。实验结果表明,该方法检测准确率高,占用的系统资源少,在检测时间、检测已知和未知木马攻击上都具有较好的性能。
- 颜会娟秦杰
- 关键词：木马非线性支持向量机特征向量
- 基于行为分析的木马检测系统被引量：7
- 2010年
- 本文通过对木马及木马检测技术的研究,提出了基于行为分析的木马检测技术。主要对木马的行为特征进行抽象描述,首先根据一定的规则建立一个行为特征数据库,并结合启发式分析器来进一步分析判断被检测的程序是否是木马,同时做相应的处理。实验表明,与传统的木马检测技术相比,该算法准确率高,实时性强,占用系统资源少。
- 颜会娟秦杰
- 关键词：木马
- 一种新的变异测试数据自动生成方法被引量：22
- 2008年
- 变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究工作只考虑生成杀死单个变异体的测试数据.文中根据杀死同一位置的多个变异体的条件相近的特点,提出一种对杀死这些变异体的条件进行组合,然后生成同时杀死该位置多个变异体的测试数据的方法;给出相应的支持工具,并且通过实验验证方法的有效性.
- 单锦辉高友峰刘明浩刘江红张路孙家骕
- 关键词：变异体测试数据
- 一种Web服务的测试数据自动生成方法被引量：70
- 2005年
- 软件测试是保证Web服务质量的重要技术手段.测试数据生成是Web服务测试的重要内容.测试数据的质量将直接影响Web服务测试的效率和成本.文章基于合约式设计的 Web服务测试技术,提出一种 Web服务的测试数据自动生成方法.首先根据WSDL文档采用随机法自动生成初始测试数据,然后使用合约变异技术进行测试数据的选择,据此可以生成一组达到一定合约变异充分度的有效测试数据,从而提高 Web服务的测试质量和效率.最后实现了一个Web服务的测试数据自动生成工具原型,并通过实验验证了方法的有效性.
- 姜瑛辛国茂单锦辉张路谢冰杨芙清
- 关键词：WEB服务软件测试测试数据生成合约
- 基于链接信息的网页分类算法被引量：1
- 2012年
- 为了提高网页文本分类的准确性.克服传统的文本分类算法易受网页中虚假、错误信息的影响.提出一种基于链接信息的网页分类算法.通过对K近邻方法的改进.利用当前网页与其父网页的链接信息对网页实沲分类,用空间向量表示待分类网页的父链接信息。在训练集合中找到K篇与该网页链接信息向量最相似的网页,计算该网页所属的类别,通过实验与传统文本分类算法进行了对比,验证了该方法的有效性.
- 秦杰闫付亮朱海丰司群谢蕙
- 关键词：网页分类
- 一种新的提高软件易测试性的合约式设计方法被引量：2
- 2008年
- 软件测试是保证软件质量的重要手段。软件测试呈现向软件开发的前期发展、与软件开发的设计阶段和编码阶段相融合的发展趋势。软件的易测试性逐渐受到人们重视。合约式设计是一种有效的软件易测试性设计方法。本文介绍了软件易测试性设计的基本思想和主要方法,提出一种新的合约式设计方法,对现有各种基于Java语言的合约式设计工具进行比较,开发了一种新的合约式设计工具,并通过实验验证了方法的有效性。
- 单锦辉辛国茂孙萍
- 关键词：软件测试
- 一种基于合约的构件易测试性设计方法
- 基于构件的软件复用和开发被认为是提高软件开发效率和质量的有效途径。构件测试是保证构件质量的重要技术手段。构件技术的新特点为构件测试带来了挑战。基于合约的构件易测试性设计为构件测试提供了一种有效的手段。本文提出一种基于合约...
- 单锦辉侯姗姗
- 关键词：软件测试合约
- 文献传递
- 软件测试研究进展被引量：212
- 2005年
- 从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想 ;讨论软件测试中的若干问题 ,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等 ;并且探讨软件测试的发展趋势 ,包括构件测试、软件的易测试性与基于合约的构件易测试性设计和WebServices测试等。
- 单锦辉姜瑛孙萍
- 关键词：软件测试软件质量
- 基于Ontology的语义检索模型研究被引量：2
- 2009年
- 针对基于关键字匹配的传统检索方法存在的不足,在检索过程中引入语义,提出一个基于本体的语义检索的模型。该模型将信息检索方法与语义查询技术相结合,通过基于本体的知识库实现对检索信息的语义查询。同时研究了语义检索的关键技术—本体的构建以及语义推理。
- 刘林秦杰
- 关键词：本体语义检索PROTÉGÉ语义推理
