检索结果-维普期刊中文期刊服务平台

基于接口参数的黑箱测试用例自动生成算法被引量：52: 1; 作者聂长海徐宝文《计算机学报》 EI CSCD 北大核心 2004年第3期382-388,共7页; 测试用例的选择与生成技术是软件测试尤其是黑箱测试的一个重要研究领域 ,测试用例的质量将直接决定软件测试的科学性和有效性 .该文在一般的测试用例选择方法的基础上 ,提出了一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算... 展开更多; 关键词软件测试软件开发接口参数软件工程黑箱测试用例自动生成算法; 在线阅读下载PDF 职称材料

基于IFML元模型自动生成RIA用户界面测试用例研究被引量：1: 2; 作者李丹丹刘晓燕 +1 位作者曹荣凯严馨《现代电子技术》北大核心 2020年第18期43-46,共4页; 最近OMG推出的交互流建模语言(IFML),其强大的用户界面建模功能现已逐渐应用于RIA用户界面模型驱动开发早期的建模阶段。然而针对RIA用户界面测试依旧停留在开发后期才能使用传统技术进行的问题,使得测试工作需要花费大量的时间和成本... 展开更多; 关键词 RIA用户界面测试用例自动生成交互流建模语言元模型建立转换规则文件生成; 在线阅读下载PDF 职称材料

基于SEH的漏洞自动检测与测试用例生成被引量：4: 3; 作者黄钊黄曙光 +1 位作者邓兆琨黄晖《计算机科学》 CSCD 北大核心 2019年第7期133-138,共6页; SEH即结构化异常处理,是Windows操作系统提供给程序设计者处理程序错误或异常的途径。然而SEH的链式处理方式使得程序中可能存在相应漏洞。针对该问题,为提升程序安全性,提出一种基于SEH的漏洞自动测试用例生成方法。首先判断程序是否... 展开更多; 关键词结构化异常处理符号执行自动测试用例生成; 在线阅读下载PDF 职称材料

面向高可信软件的整数溢出错误的自动化测试被引量：7: 4; 作者卢锡城李根 +1 位作者卢凯张英《软件学报》 EI CSCD 北大核心 2010年第2期179-193,共15页; 面向高可信软件提出了一种二进制级高危整数溢出错误的全自动测试方法(dynamic automatic integer-overflow detection and testing,简称DAIDT).该方法无需任何源码甚至是符号表支持,即可对二进制应用程序进行全面测试,并自动发现高危... 展开更多; 关键词整数溢出高危整数溢出错误动态自动测试用例生成污点分析符号化执行; 在线阅读下载PDF 职称材料

题名基于接口参数的黑箱测试用例自动生成算法被引量：52: 1; 作者聂长海徐宝文; 机构东南大学计算机科学与工程系江苏省软件质量研究所; 出处《计算机学报》 EI CSCD 北大核心 2004年第3期382-388,共7页; 基金国家自然科学基金(60373066)；国家“九七三”重点基础研究发展规划项目基金(2002CB312000)；江苏省自然科学基金(BK2001004)；教育部高等学校骨干教师基金；江苏省科技攻关项目基金(BE2001025)；教育部跨世纪优秀人才培养计划基金；高等学校博士学科点专项科研基金；江苏省三三三人才基金；武汉大学软件工程国家重点实验室基金; 文摘测试用例的选择与生成技术是软件测试尤其是黑箱测试的一个重要研究领域 ,测试用例的质量将直接决定软件测试的科学性和有效性 .该文在一般的测试用例选择方法的基础上 ,提出了一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算法模型 ,据此可以生成一个对所有接口参数进行两两组合覆盖的测试用例表 .并证明了该方法产生的测试用例具有数量少、能实现对接口参数最大限度组合覆盖的特点 ,从而可以在提高软件测试质量的同时 ,降低成本 ,提高效率 .最后介绍了该算法在作者研究开发的测试数据生成工具中的实际效果 .; 关键词软件测试软件开发接口参数软件工程黑箱测试用例自动生成算法; Keywords software testing black box testing test case algorithm software engineering; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于IFML元模型自动生成RIA用户界面测试用例研究被引量：1: 2; 作者李丹丹刘晓燕曹荣凯严馨; 机构昆明理工大学信息工程与自动化学院; 出处《现代电子技术》北大核心 2020年第18期43-46,共4页; 基金国家自然科学基金项目(61462055)。; 文摘最近OMG推出的交互流建模语言(IFML),其强大的用户界面建模功能现已逐渐应用于RIA用户界面模型驱动开发早期的建模阶段。然而针对RIA用户界面测试依旧停留在开发后期才能使用传统技术进行的问题,使得测试工作需要花费大量的时间和成本。文章给出一种基于IFML元模型自动生成RIA用户界面测试用例的方法。首先,通过Eclipse IFML编辑器建立RIA用户界面的IFML元模型;然后,分别阐述了将IFML元模型转换到测试用例、时间自动机的转换规则,并通过转换引擎生成对应文件;其次,通过UPPAAL对生成的自动机导航模型进行死锁和可达性验证;最后以实例进行了方法验证。; 关键词 RIA用户界面测试用例自动生成交互流建模语言元模型建立转换规则文件生成; Keywords RIA user interface test case automatic generation interactive flow modeling language meta⁃model building conversion rule file generation; 分类号 TN911.23-34 [电子电信—通信与信息系统] TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于SEH的漏洞自动检测与测试用例生成被引量：4: 3; 作者黄钊黄曙光邓兆琨黄晖; 机构国防科技大学; 出处《计算机科学》 CSCD 北大核心 2019年第7期133-138,共6页; 基金国家重点研发计划“网络空间安全”重点专项(2017YFB0802905)资助; 文摘 SEH即结构化异常处理,是Windows操作系统提供给程序设计者处理程序错误或异常的途径。然而SEH的链式处理方式使得程序中可能存在相应漏洞。针对该问题,为提升程序安全性,提出一种基于SEH的漏洞自动测试用例生成方法。首先判断程序是否存在基于SEH被攻击的漏洞风险性,若存在则构建和调整测试用例约束,并自动求解生成相应测试用例。该方法一方面扩展了当前的自动测试用例生成模式,另一方面可在GS保护开启时仍能生成有效测试用例。最后通过实验验证了该方法的有效性。; 关键词结构化异常处理符号执行自动测试用例生成; Keywords Structured exception handling Symbolic execution Automatic test cases generation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名面向高可信软件的整数溢出错误的自动化测试被引量：7: 4; 作者卢锡城李根卢凯张英; 机构国防科学技术大学计算机学院; 出处《软件学报》 EI CSCD 北大核心 2010年第2期179-193,共15页; 基金国家高技术研究发展计划(863)No.2007AA010301 国家重点基础研究发展计划(973)No.2005CB321801~~; 文摘面向高可信软件提出了一种二进制级高危整数溢出错误的全自动测试方法(dynamic automatic integer-overflow detection and testing,简称DAIDT).该方法无需任何源码甚至是符号表支持,即可对二进制应用程序进行全面测试,并自动发现高危整数溢出错误.在理论上形式化证明了该技术对高危整数溢出错误测试与发掘的无漏报性、零误报性与错误可重现特性.为了验证该方法的有效性,实现了IntHunter原型系统.IntHunter对3个最新版本的高可信应用程序(微软公司Windows 2003和2000 Server的WINS服务、百度公司的即时通讯软件BaiDu Hi)分别进行了24小时测试,共发现了4个高危整数溢出错误.其中3个错误可导致任意代码执行,其中两个由微软安全响应中心分配漏洞编号CVE-2009-1923,CVE-2009-1924,另一个由百度公司分配漏洞编号CVE-2008-6444.; 关键词整数溢出高危整数溢出错误动态自动测试用例生成污点分析符号化执行; Keywords integer overflow integer overflow vulnerability dynamic automatic test case generation taint analysis symbolic execution; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于接口参数的黑箱测试用例自动生成算法	聂长海徐宝文	《计算机学报》 EI CSCD 北大核心	2004	52	在线阅读下载PDF 职称材料
2	基于IFML元模型自动生成RIA用户界面测试用例研究	李丹丹刘晓燕曹荣凯严馨	《现代电子技术》北大核心	2020	1	在线阅读下载PDF 职称材料
3	基于SEH的漏洞自动检测与测试用例生成	黄钊黄曙光邓兆琨黄晖	《计算机科学》 CSCD 北大核心	2019	4	在线阅读下载PDF 职称材料
4	面向高可信软件的整数溢出错误的自动化测试	卢锡城李根卢凯张英	《软件学报》 EI CSCD 北大核心	2010	7	在线阅读下载PDF 职称材料