一种基于CLIPS的轻量级规则语言系统实现 被引量：1

1

作者 张锦 唐亮 +1 位作者 龙峰 胡运发 《计算机工程》 CAS CSCD 北大核心 2004年第5期55-57,136,共4页

基于CLIPS构造并实现了一个轻量级的规则脚本语言Athena，此脚本语言的设计完全面向应用，在精简CLIPS语法和功能的同时，增强了领域特征和应用能力；并且配备了相应的可视化开发环境，具有易于掌握和开发的优点。本脚本语言在电子政务... 基于CLIPS构造并实现了一个轻量级的规则脚本语言Athena，此脚本语言的设计完全面向应用，在精简CLIPS语法和功能的同时，增强了领域特征和应用能力；并且配备了相应的可视化开发环境，具有易于掌握和开发的优点。本脚本语言在电子政务协同工作领域中得到了初步的应用，取得了较好的效果。 展开更多

关键词 规则 CLIPS 脚本语言 引擎 YACC LEX 电子政务

在线阅读 下载PDF 职称材料

Web工程中基于不变性的元数据检查和测试

2

作者 傅腾 高建华 《计算机科学》 CSCD 北大核心 2014年第8期224-228,共5页

元数据在Web工程中起到了十分重要的作用。随着元数据规模的增加,对元数据的维护会花费很多的时间和精力。而目前的编译器不能对元数据不一致所导致的错误进行提示,也不能罗列出元数据和代码之间隐藏的关系。通过实验,使用基于框架和框... 元数据在Web工程中起到了十分重要的作用。随着元数据规模的增加,对元数据的维护会花费很多的时间和精力。而目前的编译器不能对元数据不一致所导致的错误进行提示,也不能罗列出元数据和代码之间隐藏的关系。通过实验,使用基于框架和框架无关两种方式来发现元数据不变性,研究并验证了元数据不变性。当用户重构或者增强程序时,元数据不变性会被检查,如果违反了不变性,则对用户进行提示。 展开更多

关键词 元数据 不变性 JAVA 软件测试 软件错误

在线阅读 下载PDF 职称材料

面向Code Smells的“容器—破坏者—发现者”检测策略 被引量：2

3

作者 林涛 高建华 +1 位作者 伏雪 林艳 《小型微型计算机系统》 CSCD 北大核心 2016年第3期469-473,共5页

软件重构在软件工程中愈显重要,对需要重构代码code smells的检测是基础工作,但code smells定义模糊、无量化.该文将人工免疫的基本概念与信号迁移至软件工程,提出一种基于危险理论中的树突状细胞算法的检测策略.该策略算法中,包含code ... 软件重构在软件工程中愈显重要,对需要重构代码code smells的检测是基础工作,但code smells定义模糊、无量化.该文将人工免疫的基本概念与信号迁移至软件工程,提出一种基于危险理论中的树突状细胞算法的检测策略.该策略算法中,包含code smells的代码作为抗原,软件度量值转化为危险信号和安全信号等输入信号进行处理,通过权值公式获得成熟信号以及半成熟信号,比较其相对值高低确定代码是否为code smells,最终根据成熟环境抗原值决定各种code smells严重程度的优先次序.该策略具有较低假阳性率.实验证明该研究在F-score(0.784)和Kappa分析(0.756)上均有效,高于其他检测方法. 展开更多

关键词 软件重构 树突状细胞算法 软件缺陷 软件质量 人工免疫理论 危险理论

在线阅读 下载PDF 职称材料

不确定环境下基于SIFT算法和一类分类的火焰识别 被引量：2

4

作者 林涛 黄继风 高建华 《计算机科学》 CSCD 北大核心 2015年第S1期231-235,共5页

在不确定的复杂环境下,基于图像的火焰早期检测是一个未解难题。因此,将灰度均衡化理论延伸至此领域来对疑似火焰图像进行预处理,通过引入SIFT算法发现火焰图像的多尺度特征,确定火焰极值点并进行特征匹配,有效识别火焰尖角以提高侦测... 在不确定的复杂环境下,基于图像的火焰早期检测是一个未解难题。因此,将灰度均衡化理论延伸至此领域来对疑似火焰图像进行预处理,通过引入SIFT算法发现火焰图像的多尺度特征,确定火焰极值点并进行特征匹配,有效识别火焰尖角以提高侦测的有效性。将分形理论的分数维作为火焰的特征加以使用。由于通常情况下火焰是异常值,一类分类器具有代价低、特征易获取、精度高等诸多优点,因此使用一类分类器完成火焰识别。实验证明,该研究不仅在近距离光照强的条件下具有良好的真阳性率和假阳性率,而且在光照弱的情况下具有较高的火焰发现率和较低的虚警率。 展开更多

关键词 SIFT算法 一类分类器 分形 灰度均衡化 火焰识别 火焰尖角

在线阅读 下载PDF 职称材料

基于模型的图形用户界面软件测试方法 被引量：5

5

作者 高建华 顾燕萍 《计算机应用与软件》 CSCD 2009年第2期35-38,共4页

通过研究GUI(图形用户界面)软件的规格说明、GUI结构、GUI代码,构造用于GUI测试的四种不同层次的GUI表示方法,该表示方法可以描述界面间关系的界面调用关系图、界面信息的对象-事件分析图、界面内事件间关系的事件关系流图以及程序内部... 通过研究GUI(图形用户界面)软件的规格说明、GUI结构、GUI代码,构造用于GUI测试的四种不同层次的GUI表示方法,该表示方法可以描述界面间关系的界面调用关系图、界面信息的对象-事件分析图、界面内事件间关系的事件关系流图以及程序内部逻辑结构的事件程序控制流图,在此基础上提出了基于这些模型的复合性测试用例生成方法,并用实例说明该方法的有效性。 展开更多

关键词 软件测试 图形用户界面 测试用例生成 事件

在线阅读 下载PDF 职称材料

面向软件缺陷报告的提取方法 被引量：1

6

作者 林涛 高建华 +2 位作者 伏雪 马燕 林艳 《计算机科学》 CSCD 北大核心 2016年第6期179-183,共5页

软件工程中的软件缺陷报告数量在快速增长,开发者们越来越困惑于大量的缺陷报告。因此,为了达到缺陷修复和软件复用等目的,有必要研究软件缺陷报告的提取方法。提出一种提取方法,该方法首先合并缺陷报告中的同义词,然后建立空间向量模型... 软件工程中的软件缺陷报告数量在快速增长,开发者们越来越困惑于大量的缺陷报告。因此,为了达到缺陷修复和软件复用等目的,有必要研究软件缺陷报告的提取方法。提出一种提取方法,该方法首先合并缺陷报告中的同义词,然后建立空间向量模型,使用词频反文档频率以及信息增益等文本挖掘的方法来收集软件缺陷报告中单词的特征,同时设计算法来确定句子复杂度以选择长句,最后将贝叶斯分类器引入该领域。该方法可以提高缺陷报告提取的命中率,降低虚警率。实验证明,基于文本挖掘和贝叶斯分类器的软件缺陷报告提取方法在接受者工作特征曲线面积(0.71)、F-score(0.80)和Kappa值(0.75)方面有良好效果。 展开更多

关键词 软件缺陷报告管理 文本挖掘 贝叶斯分类器 软件缺陷报告特征 空间向量模型 句子复杂度

在线阅读 下载PDF 职称材料

回归测试中基于值谱比较的偏离根定位法 被引量：3

7

作者 丁怀宝 高建华 《计算机工程》 CAS CSCD 北大核心 2010年第6期67-69,共3页

在回归测试中,利用程序谱中的值谱比较不同版本程序的内部行为,将程序的比较转换为函数状态的比较,以估计偏离发生的大概位置,找到偏离根所在的函数。引入偏离调用树记录发生偏离的函数,在此基础上提出2种缩小偏离根定位范围的启发式方... 在回归测试中,利用程序谱中的值谱比较不同版本程序的内部行为,将程序的比较转换为函数状态的比较,以估计偏离发生的大概位置,找到偏离根所在的函数。引入偏离调用树记录发生偏离的函数,在此基础上提出2种缩小偏离根定位范围的启发式方法,使偏离根的定位更精确。 展开更多

关键词 回归测试 程序谱 值谱 偏离根 偏离传播调用树

在线阅读 下载PDF 职称材料

一种新的测试集简化的测试覆盖准则 被引量：3

8

作者 崔霞 高建华 《计算机科学》 CSCD 北大核心 2009年第1期244-246,272,共4页

在回归测试过程中,测试集的规模不断的变大增加了测试的成本。结合某种测试准则利用测试简化法对测试集中冗余的测试用例进行删除是一种有效的解决方法。但是用此方法得到的简化测试集,其错误检测能力往往被减弱。因此提出了一种新颖的... 在回归测试过程中,测试集的规模不断的变大增加了测试的成本。结合某种测试准则利用测试简化法对测试集中冗余的测试用例进行删除是一种有效的解决方法。但是用此方法得到的简化测试集,其错误检测能力往往被减弱。因此提出了一种新颖的测试覆盖准则,即二级变量串联覆盖准则和二级变量并联覆盖准则。这两种准则主要考虑了变量间的串、并联关系对程序的影响。用此准则与其它测试覆盖准则相组合,利用HGS测试集简化法对测试集进行选择,既简单高效又保证了最小化测试集的错误检测能力。针对文献[3]中的具体应用实例,验证了该测试覆盖准则的有效性。 展开更多

关键词 测试覆盖准则 测试集简化 回归测试 软件测试

在线阅读 下载PDF 职称材料

基于Petri网的图形用户界面测试 被引量：1

9

作者 林涛 高建华 《计算机应用研究》 CSCD 北大核心 2016年第3期768-772,共5页

在不确定上下文相关的环境中,图形用户界面测试主要依靠随机测试以及测试人员的从业经验,其有效性低。提高图形用户界面测试的效率是一个未解难题。因此,通过引入离散并行系统的Petri网理论,定义了图形用户界面的事件、事件序列和事件... 在不确定上下文相关的环境中,图形用户界面测试主要依靠随机测试以及测试人员的从业经验,其有效性低。提高图形用户界面测试的效率是一个未解难题。因此,通过引入离散并行系统的Petri网理论,定义了图形用户界面的事件、事件序列和事件分解等概念,将可达性、有界性、活性以及强连通性等Petri网的重要性质延伸至此领域,以提高图形用户界面测试的覆盖面和效率。并且试图解决不可达、不强连通、死锁、无界、不符合初始模型和跳转错误等六类图形用户界面缺陷问题。实验证明基于Petri网的图形用户界面测试在事件覆盖数、代码行覆盖数以及缺陷发现数等方面均优于其他方法。 展开更多

关键词 软件缺陷 测试用例生成 黑盒测试 事件序列 离散并行系统

在线阅读 下载PDF 职称材料

回归测试中路径覆盖生成方法研究及其应用 被引量：4

10

作者 高建华 殷定媛 《小型微型计算机系统》 CSCD 北大核心 2009年第3期398-404,共7页

基于边覆盖的路径覆盖估测法可获取用于回归测试用例选择的数据信息,但存在估测精确率不高、对重叠路径的识别能力差以及循环结构对可执行路径数目的影响等缺陷.针对这些缺陷,提出一种新的路径覆盖生成方法来获取程序执行的路径信息,该... 基于边覆盖的路径覆盖估测法可获取用于回归测试用例选择的数据信息,但存在估测精确率不高、对重叠路径的识别能力差以及循环结构对可执行路径数目的影响等缺陷.针对这些缺陷,提出一种新的路径覆盖生成方法来获取程序执行的路径信息,该方法包括CFG图到DAG图的转换和还原、利用DFS深度优先策略构造DAG图的chord生成树等,然后设计了基于该方法的测试数据集生成方法.最后,对该方法进行实验验证和数据分析,证明了该方法的有效性. 展开更多

关键词 回归测试选择 路径覆盖生成 DAG图CFG图 最小回归测试集

在线阅读 下载PDF 职称材料

具有约束条件的组合测试用例集的构建方法 被引量：1

11

作者 丁怀宝 高建华 《计算机工程与设计》 CSCD 北大核心 2010年第14期3189-3192,3206,共5页

针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法。该方法是对待测系统中的约束条件进行处理,将约束条件先转化为合取范式再转化为布尔表达式的形式。利用布尔可满足性求解... 针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法。该方法是对待测系统中的约束条件进行处理,将约束条件先转化为合取范式再转化为布尔表达式的形式。利用布尔可满足性求解器进行求解,找出满足约束条件的约束组合测试用例。最后运用AETG-SAT算法得到较优的组合测试用例集,并通过实验表明了AETG-SAT算法的优越性。 展开更多

关键词 组合测试 约束条件 合取范式 布尔表达式 可满足性求解器

在线阅读 下载PDF 职称材料

分叉汇合对结构的测试场景自动生成方法 被引量：1

12

作者 崔霞 高建华 《计算机工程》 CAS CSCD 北大核心 2011年第18期35-37,共3页

基于UML活动图的测试场景生成方法在处理分叉汇合对的多重嵌套结构时存在一定局限性。为此,提出一种新的测试场景自动生成方法,规范分叉汇合的命名规则,增加蚂蚁记忆体及系统信息体等数据结构,利用递归处理分叉汇合多重嵌套结构,通过上... 基于UML活动图的测试场景生成方法在处理分叉汇合对的多重嵌套结构时存在一定局限性。为此,提出一种新的测试场景自动生成方法,规范分叉汇合的命名规则,增加蚂蚁记忆体及系统信息体等数据结构,利用递归处理分叉汇合多重嵌套结构,通过上海轨道交通六号线测试项目中的具体实例,验证该方法的有效性。 展开更多

关键词 UML活动图 分叉汇合 测试场景 细-线程树

在线阅读 下载PDF 职称材料

配对组合测试中参数约束问题研究 被引量：1

13

作者 高建华 刘慧 《计算机工程与科学》 CSCD 北大核心 2011年第3期103-107,共5页

给出了配对组合测试参数约束分类方法及相关定义。重点对有2值型约束的情况进行了研究,得出有2值型约束存在时虽然所需覆盖的配对数减少,但测试集不一定减小的结论;给出有2值型约束时测试集的最小下限,并证明之。最后介绍了能够有效解... 给出了配对组合测试参数约束分类方法及相关定义。重点对有2值型约束的情况进行了研究,得出有2值型约束存在时虽然所需覆盖的配对数减少,但测试集不一定减小的结论;给出有2值型约束时测试集的最小下限,并证明之。最后介绍了能够有效解决配对组合测试参数约束问题的HPC_IPO约束控制算法。 展开更多

关键词 配对组合测试 参数约束 约束控制 测试集

在线阅读 下载PDF 职称材料

N因素S水平的配对测试集生成算法研究 被引量：1

14

作者 高建华 刘慧 《计算机应用与软件》 CSCD 2011年第8期24-27,172,共5页

在分析配对测试及其有效性的基础上,给出了一种新的关于n因素s(s≥2)水平的配对测试集生成算法。实验表明该算法与以往一些算法相比具有一定的优越性,最后将该算法运用于一个具体实例,并较详细地介绍了该实例的测试集生成过程。

关键词 软件测试 配对测试 测试集生成

在线阅读 下载PDF 职称材料

基于AJAX应用程序的爬行测试算法

15

作者 高秀慧 高建华 《计算机工程与设计》 CSCD 北大核心 2014年第2期493-498,共6页

为了解决AJAX技术带来的测试新问题,针对流行的爬行算法进行了改进。通过捕获用户界面的状态以及改变状态的转换条件,从而推导出状态流程图。利用推导出的状态流程图,提出使用K最短路径算出多条最短路径作为测试集;设计合并测试路径的... 为了解决AJAX技术带来的测试新问题,针对流行的爬行算法进行了改进。通过捕获用户界面的状态以及改变状态的转换条件,从而推导出状态流程图。利用推导出的状态流程图,提出使用K最短路径算出多条最短路径作为测试集;设计合并测试路径的方法缩减测试集,减少测试集的生成,并同时保证测试覆盖率。通过结合实例,在不同位置注入故障的方法对算法进行了数据分析,分析结果表明该方法的可行性和实用性,为AJAX应用程序的测试提供了更有效的解决途径。 展开更多

关键词 AJAX应用程序 自动化测试 测试路径 爬行捕获算法

在线阅读 下载PDF 职称材料

循环嵌套结构的测试场景反蚁群自动生成方法

16

作者 崔霞 高建华 《小型微型计算机系统》 CSCD 北大核心 2012年第8期1752-1755,共4页

人工测试方法的缺点是成本高、可靠性低和效率低.基于模型的软件测试方法能够提高测试自动化水平,避免人工测试的缺点.然而,自动化方法的缺点是处理模型中各种图形元素的能力有限,适用范围小.针对现有智能算法不能生成UML活动图循环嵌... 人工测试方法的缺点是成本高、可靠性低和效率低.基于模型的软件测试方法能够提高测试自动化水平,避免人工测试的缺点.然而,自动化方法的缺点是处理模型中各种图形元素的能力有限,适用范围小.针对现有智能算法不能生成UML活动图循环嵌套结构的测试场景,设计系统循环体数据结构和循环嵌套结构的场景生成算法.该算法提高了解析活动图的能力,扩大了算法的适用范围.论文最后给出了上海轨道交通六号线的测试项目中的一个活动图实例,生成其XML文档,利用改进的反蚁群算法解析XML文档,生成该活动图的细-线程树,验证了该算法的有效性. 展开更多

关键词 UML活动图 循环嵌套 测试场景 细-线程

在线阅读 下载PDF 职称材料

基于用户行为和会话的Web应用测试方法 被引量：5

17

作者 武晋南 高建华 《计算机工程》 CAS CSCD 北大核心 2010年第8期83-85,共3页

Web应用程序难以创建有效的测试用例,使其既能满足测试的需求,又能测试Web应用程序的多用户交互行为。针对上述问题,采用从Web日志数据中得到域数据创建测试用例的方法,从Web日志中获取用户行为数据和用户会话数据。提出一种基于用户行... Web应用程序难以创建有效的测试用例,使其既能满足测试的需求,又能测试Web应用程序的多用户交互行为。针对上述问题,采用从Web日志数据中得到域数据创建测试用例的方法,从Web日志中获取用户行为数据和用户会话数据。提出一种基于用户行为和用户会话的测试新方法,通过实验验证该方法在功能覆盖和故障检测方面的有效性。 展开更多

关键词 WEB日志 域数据 用户行为 软件测试

在线阅读 下载PDF 职称材料

一种新的基于图论的图像匹配算法 被引量：2

18

作者 伏雪 马燕 林涛 《计算机应用与软件》 CSCD 2016年第12期156-159,共4页

SIFT算法在图像匹配领域中占有重要地位,但是,利用SIFT算法提取的图像特征点,是分布在整幅图像中的,这就造成提取的特征点不集中。结合图论的方法,对SIFT算法提取的特征点进行处理,去除部分不集中的点,从而达到提高匹配效率的目的,将该... SIFT算法在图像匹配领域中占有重要地位,但是,利用SIFT算法提取的图像特征点,是分布在整幅图像中的,这就造成提取的特征点不集中。结合图论的方法,对SIFT算法提取的特征点进行处理,去除部分不集中的点,从而达到提高匹配效率的目的,将该方法命名为G-SIFT算法。G-SIFT算法提取的每一个特征点视为图的顶点,将这些顶点的一元关系视为图的边,并利用这些边的大小特点对特征点进行处理,使得处理后的特征点主要集中在物体上。实验证明,利用该方法对图像进行处理后,特征点匹配结果更加集中,匹配率最高提高了1.4%,匹配点集中在物体上的正确率最高提高了9.1%。 展开更多

关键词 SIFT G-SIFT 图论方法 特征点匹配

在线阅读 下载PDF 职称材料

开源软件中结构复杂度的度量方法 被引量：2

19

作者 黄雅菁 高建华 《计算机工程》 CAS CSCD 北大核心 2010年第10期61-63,共3页

针对大型开源软件的复杂性,提出一种基于随机图和结构熵的开源软件结构复杂度的度量方法。将开源软件中的软件包抽象成点,将软件包之间的依赖关系抽象成有向边,建立随机图,并引入结构熵的概念。结合随机图的特性和结构熵度量开源软件的... 针对大型开源软件的复杂性,提出一种基于随机图和结构熵的开源软件结构复杂度的度量方法。将开源软件中的软件包抽象成点,将软件包之间的依赖关系抽象成有向边,建立随机图,并引入结构熵的概念。结合随机图的特性和结构熵度量开源软件的耦合度和内聚度。利用该方法进行实例分析,结果表明,随着开源软件按版本发展,软件耦合度和内聚度不断增长。 展开更多

关键词 开源软件 随机图 结构熵 耦合 内聚

在线阅读 下载PDF 职称材料

优先级参数配对组合测试集生成策略 被引量：2

20

作者 朱劼 高建华 《计算机工程》 CAS CSCD 北大核心 2008年第13期34-36,39,共4页

在参数组合测试的实际应用中,时间或预算等原因可能导致无法运行整个测试集,造成重要测试案例的漏执行。该文引用优先级权值的思想为测试案例设置优先级,介绍2种生成有序的配对组合覆盖测试集的方法,不论测试在何时中断,都可确保最重要... 在参数组合测试的实际应用中,时间或预算等原因可能导致无法运行整个测试集,造成重要测试案例的漏执行。该文引用优先级权值的思想为测试案例设置优先级,介绍2种生成有序的配对组合覆盖测试集的方法,不论测试在何时中断,都可确保最重要的测试已被运行。 展开更多

关键词 贪心算法 配对组合测试 测试优先级

在线阅读 下载PDF 职称材料