检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种基于GUI模型的测试脚本组合方法

东南大学学报（自然科学版） 2017年第A1期47卷 164-169页

作者：王进华黄松惠战伟吴开舜陆军工程大学南京210007 全军军事训练软件测评中心南京210007

为了提高测试效率和测试脚本复用率,提出了一种基于图形用户界面(graph user interface,GUI)模型的测试脚本组合方法.该方法针对GUI层次结构的特点,采用事件关系图和窗口调用图对GUI交互行为进行建模.首先,通过反射机制从程序可执行文... 详细信息

为了提高测试效率和测试脚本复用率,提出了一种基于图形用户界面(graph user interface,GUI)模型的测试脚本组合方法.该方法针对GUI层次结构的特点,采用事件关系图和窗口调用图对GUI交互行为进行建模.首先,通过反射机制从程序可执行文件中解析提取事件关系图和窗口调用图;然后,通过构建脚本对象分层信息,从而建立测试脚本与模型的映射关系,再利用映射关系与模型实现脚本的组合.最后,在4款开源GUI应用上进行实验.实验结果表明,所提方法在组合耗时、组合脚本可执行率和模型覆盖率3个方面具有明显优势,验证了脚本组合方法的有效性.

关键词：图形用户界面事件关系图窗口调用图测试脚本组合脚本映射

基于FindBugs的函数返回值缺陷检测模式的改进

在线全文

学校读者我要写书评

暂无评论

解放军理工大学学报（自然科学版） 2015年第6期16卷 518-523页

作者：吕增援黄松惠战伟解放军理工大学指挥信息系统学院江苏南京210007 全军军事训练软件测评中心江苏南京210007

为了发现代码中可能存在的潜在错误,通过探究一种典型的开源Java静态代码分析工具FindBugs的实现原理,分析此工具在函数返回值缺陷检测模式的实现机制,进而发现其在检测自定义函数返回值上的不足。通过分析FindBugs源代码并且针对此函... 详细信息

为了发现代码中可能存在的潜在错误,通过探究一种典型的开源Java静态代码分析工具FindBugs的实现原理,分析此工具在函数返回值缺陷检测模式的实现机制,进而发现其在检测自定义函数返回值上的不足。通过分析FindBugs源代码并且针对此函数返回值缺陷模式具有的不足进行相应地改进,并将改进后的检测工具对被测代码进行检验。通过检验发现,改进前的检测工具无法对自定义的函数返回值进行检测,改进后能够检测到忽略自定义函数返回值问题,且提供一些错误提示信息。改进后的代码分析工具能够有效地检测到此类函数返回值问题,避免了潜在bug的发生,一定程度上提高了代码的质量。

关键词： FindBugs 静态分析工具检测器返回值字节码

OESC：一种用于软件测试过程分析的分层框架

在线全文

学校读者我要写书评

暂无评论

东南大学学报（自然科学版） 2017年第A1期47卷 158-163页

作者：吴开舜黄松惠战伟王进华姚奕解放军理工大学指挥信息系统学院软件测评中心南京210007 军军事训练软件测评中心南京210007

针对使用测试管理工具难以准确地分析软件测试的执行过程这一问题,提出一种基于测试人员操作记录的分层框架(OESC框架).依据测试人员的行为粒度将该框架划分为操作层、事件层、语义层、概述层,其中操作层和事件层已有工具进行记录,语义... 详细信息

针对使用测试管理工具难以准确地分析软件测试的执行过程这一问题,提出一种基于测试人员操作记录的分层框架(OESC框架).依据测试人员的行为粒度将该框架划分为操作层、事件层、语义层、概述层,其中操作层和事件层已有工具进行记录,语义层和概述层是基于操作层和事件层内容,通过特征提取技术和多标签分类技术得到.实验结果表明,该框架对被测件性能影响极小,能有效地监控测试人员行为过程,有助于帮助分析测试过程,能弥补现有的测试管理工具对测试人员监控上的不足.

关键词：测试过程分析过程控制多标签分类用户行为

在线全文

学校读者我要写书评

暂无评论

基于BM25算法的问题报告质量检测方法

清华大学学报（自然科学版） 2020年第10期60卷 829-836页

作者：陈乐乐黄松孙金磊惠战伟吴开舜中国人民解放军陆军工程大学指挥控制工程学院南京210007 全军军事软件测评中心南京210007

问题报告作为记录和跟踪缺陷的载体,为解决软件质量问题提供依据。目前软件测试常以多人、并行的方式进行,海量问题报告的去假与去重等整合过程正面临严峻的挑战。因此,该文提出一种基于BM25算法的问题报告自动化检测方法,在对问题报告... 详细信息

问题报告作为记录和跟踪缺陷的载体,为解决软件质量问题提供依据。目前软件测试常以多人、并行的方式进行,海量问题报告的去假与去重等整合过程正面临严峻的挑战。因此,该文提出一种基于BM25算法的问题报告自动化检测方法,在对问题报告进行预处理后,依据测试需求和测试报告样本建立匹配库,利用BM25算法计算两者的相似度得分,并以此为依据检测问题报告的正确性。在软件测试大赛的数据上进行实验,结果表明该文提出的方法能够正确评判大部分问题报告,有效提高了去假与去重效率。

关键词：软件测试 BM25算法问题报告自然语言处理

在线全文

学校读者我要写书评

暂无评论

基于JavaCC的抽象语法树的构建与实现

计算机工程与设计 2016年第4期37卷 938-943页

作者：黄松黄玉惠战伟中国人民解放军理工大学指挥信息系统学院江苏南京210000 全军军事训练软件测评中心江苏南京210007

抽象语法树(abstract syntax tree,AST)作为程序一种重要的中间表示形式,在代码分析领域中有着广泛的应用。如何针对Java程序生成其抽象语法树是在进行代码静态分析前必不可少的工作。分析抽象语法树的构建算法,通过JavaCC解析工具完成... 详细信息

抽象语法树(abstract syntax tree,AST)作为程序一种重要的中间表示形式,在代码分析领域中有着广泛的应用。如何针对Java程序生成其抽象语法树是在进行代码静态分析前必不可少的工作。分析抽象语法树的构建算法,通过JavaCC解析工具完成对Java文件抽象语法树的构建,该方法可实现代码树状形式的可视化呈现。

关键词：抽象语法树 Java程序 JavaCC解析工具解析器算法

在线全文

学校读者我要写书评

暂无评论

蜕变关系形式化描述与分解技术

计算机工程与设计 2016年第2期37卷 405-412页

作者：惠战伟黄松李辉刘剑豪解放军理工大学指挥信息系统学院软件测评中心江苏南京210007 全军军事训练软件测评中心江苏南京210007 空军预警学院信息对抗系湖北武汉430019

蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与... 详细信息

蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与失效之间的联系,基于形式化定义提出一种蜕变关系分解技术。通过两个实例验证了该描述与分解技术的有效性。

关键词：蜕变关系蜕变测试测试判定形式化描述模型分解模型

一种基于蜕变关系的测试与失效测试用例定位模型

在线全文

学校读者我要写书评

暂无评论

计算机科学 2016年第10期43卷 57-62页

作者：惠战伟黄松张婷婷刘剑豪解放军理工大学指挥信息系统学院软件测评中心南京210007 解放军军事训练软件测评中心南京210007 空军预警学院武汉430019

针对传统的蜕变测试模型MTM存在的局限性,提出了一种基于蜕变关系的测试模型MRTM。首先通过对比分析,指出了MRTM的适用范围等特点;其次,针对MTM和MRTM都面临的失效测试用例难以确定的难题,提出了一种基于可疑度计算的蜕变测试失效测试... 详细信息

针对传统的蜕变测试模型MTM存在的局限性,提出了一种基于蜕变关系的测试模型MRTM。首先通过对比分析,指出了MRTM的适用范围等特点;其次,针对MTM和MRTM都面临的失效测试用例难以确定的难题,提出了一种基于可疑度计算的蜕变测试失效测试用例定位方法 FTCL-MT。FTCL-MT作为对已有测试模型的补充,能够在蜕变关系不满足的情况下实现精确定位失效测试用例,从而能够为现有的故障定位技术提供支持。最后,通过实验验证了FTCL-MT方法的有效性。

关键词：蜕变关系测试模型蜕变测试失效测试用例

在线全文

学校读者我要写书评

暂无评论

基于变异分析的蜕变测试充分性条件

计算机应用 2014年第A1期34卷 280-283页

作者：杜元柱黄松惠战伟陆丽丽解放军理工大学指挥信息系统学院南京210007 全军军事训练软件测评中心南京210007

变异分析是研究软件测试的一种有效手段,在蜕变测试的研究中也经常采用这种方法。测试数据杀死变异需要满足一定的条件,但在蜕变测试中,测试用例满足变异测试中的条件不一定能够杀死变异,需要比一般的变异测试更严格的测试数据才能杀死... 详细信息

变异分析是研究软件测试的一种有效手段,在蜕变测试的研究中也经常采用这种方法。测试数据杀死变异需要满足一定的条件,但在蜕变测试中,测试用例满足变异测试中的条件不一定能够杀死变异,需要比一般的变异测试更严格的测试数据才能杀死变异。从变异测试中杀死变异的三类条件出发,探究蜕变测试数据杀死变异的条件。通过三角形实验分析蜕变测试用例满足的条件以及测试结果,总结蜕变测试用例杀死变异的规律,提出蜕变测试用例杀死变异的一种充分性条件。

关键词：变异变异分析蜕变测试充分性条件

在线全文

学校读者我要写书评

暂无评论

面向不同数据模式的测试用例检索方法

计算机科学 2017年第11期44卷 221-225页

作者：李园园黄松惠战伟李留义中国电子科技集团公司第三十二研究所上海201800 中国人民解放军理工大学指挥信息系统学院南京210007 全军军事训练软件测评中心南京210007

软件测试的核心是设计和执行测试用例。为了提高软件测试的效率,实现不同单位测试用例的共享和复用,提出面向不同数据模式的测试用例检索方法。该方法首先对测试用例进行刻面分类和描述,提出测试用例的刻面分类模型并将其实例化,为测试... 详细信息

软件测试的核心是设计和执行测试用例。为了提高软件测试的效率,实现不同单位测试用例的共享和复用,提出面向不同数据模式的测试用例检索方法。该方法首先对测试用例进行刻面分类和描述,提出测试用例的刻面分类模型并将其实例化,为测试用例的检索提供线索;然后,在实例化测试用例刻面分类模型的基础上提出测试用例索引树,把测试用例组织成有利于用户检索的结构;最后,在进行面向不同数据模式的测试用例检索时,通过检索条件查询树与测试用例索引树的匹配和不同异构数据库中测试用例关键字的匹配,从不同的异构数据库中检索出符合用户需求的测试用例。通过实验验证了该方法在实际应用中的可行性和有效性,为测试用例的共享和复用奠定了基础,提高了软件测试的效率。

关键词：异构数据库用例复用用例检索刻面分类