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

确定性有限状态机的最小测试成本迁移覆盖准则被引量：6: 1; 作者刘攀缪淮扣 +1 位作者曾红卫梅佳《软件学报》 EI CSCD 北大核心 2011年第7期1457-1474,共18页; 软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错... 展开更多; 关键词最小测试成本迁移覆盖准则成本/效率的平衡确定性有限状态机迁移覆盖; 在线阅读下载PDF 职称材料

基于有向图的最小完全覆盖互操作测试序列生成算法被引量：11: 2; 作者林华辉赵保华屈玉贵《中国科学技术大学学报》 CAS CSCD 北大核心 2006年第2期225-229,共5页; 互操作测试过程目的是用尽量少的测试序列数目对目标系统实施测试,而又能检测出尽可能多的错误.采用基于有向图的满足互操作测试的最小完全覆盖准则的测试序列生成算法可以生成更有效的互操作测试集.; 关键词互操作性测试互操作等价最小完全覆盖准则有向图测试序列生成算法; 在线阅读下载PDF 职称材料

基于扩展库所/迁移系统的GUI自动化测试: 3; 作者陈军成丁治明《北京工业大学学报》 CAS CSCD 北大核心 2017年第6期883-888,共6页; 为解决图形用户界面(graphic user interface,GUI)元素状态空间庞大以及用户操作组合空间复杂等问题,针对特定类型的GUI软件,提出一种基于扩展库所/迁移系统的GUI测试模型.在此模型中,库所表示用户在GUI软件上的操作类型,迁移表示用户在... 展开更多; 关键词图形用户界面(GUI) 库所/迁移系统测试覆盖准则测试用例; 在线阅读下载PDF 职称材料

基于状态迁移的Web应用功能测试用例生成方法被引量：6: 4; 作者张绍康王曙燕孙家泽《计算机应用》 CSCD 北大核心 2014年第6期1779-1782,1787,共5页; 针对Web应用测试方法错误覆盖率低的问题,提出了一种基于状态迁移的Web应用功能测试用例生成方法。该方法通过构造页面状态迁移图、事件迁移表和导航迁移表对Web应用的链接关系进行表示。基于页面状态迁移图生成的页面状态迁移树生成测... 展开更多; 关键词状态迁移 WEB应用覆盖准则测试路径测试用例; 在线阅读下载PDF 职称材料

基于EFSM的最小测试用例集生成方法被引量：1: 5; 作者陈孔婷王兴起《计算机工程与设计》北大核心 2019年第9期2502-2506,共5页; 影响测试成本的主要因素是测试用例集规模和测试用例的总长度,为降低测试成本,对测试用例生成技术进行研究,提出一种基于集合覆盖理论的最小测试用例集生成方法。设计迁移覆盖算法,其中引入关键迁移概念,设计最小测试用例集算法用于合... 展开更多; 关键词扩展有限状态机最小测试用例集迁移覆盖测试成本测试效率; 在线阅读下载PDF 职称材料

基于扩展CHAM模型的软件集成测试方法被引量：3: 6; 作者叶俊民罗景 +3 位作者朱凯赵良赵恒王振宇《计算机科学》 CSCD 北大核心 2005年第6期199-201,205,共4页; 基于构件的软件工程(Component-Based Software Engineering,CBSE)正逐渐成为软件开发的一种新趋势。目前构件提供者所交付的构件仅仅包括其功能描述和接口描述,而代码通常是不可见的,这给软件系统的集成测试带来较大困难。本文针对软... 展开更多; 关键词集成测试软件体系结构化学抽象自动机标号迁移系统覆盖准则; 在线阅读下载PDF 职称材料

题名确定性有限状态机的最小测试成本迁移覆盖准则被引量：6: 1; 作者刘攀缪淮扣曾红卫梅佳; 机构上海大学计算机工程与科学学院上海市计算机软件评测重点实验室; 出处《软件学报》 EI CSCD 北大核心 2011年第7期1457-1474,共18页; 基金国家自然科学基金(60970007 61073050) +3 种基金上海市重点学科建设项目(J50103); 文摘软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错误.重点是第1阶段的实现.依据确定性有限状态机和集合划分的理论,提出了确定性有限状态机的最小测试成本迁移覆盖准则,给出了最小测试成本迁移覆盖存在的充分和必要条件,设计了优化迁移覆盖和最小测试成本迁移覆盖的实现算法,并讨论了测试序列集合的有效性问题.在实验中,依据该方法不仅能够获得最小测试成本的测试用例集合,而且同样能够探测出确定性有限状态机中迁移上的错误.; 关键词最小测试成本迁移覆盖准则成本/效率的平衡确定性有限状态机迁移覆盖; Keywords minimum test cost transition coverage criterion cost/benefit tradeoff DFSM （deterministic finitestate machine） transition coverage; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于有向图的最小完全覆盖互操作测试序列生成算法被引量：11: 2; 作者林华辉赵保华屈玉贵; 机构中国科学技术大学计算机科学技术系; 出处《中国科学技术大学学报》 CAS CSCD 北大核心 2006年第2期225-229,共5页; 基金国家自然科学基金项目(90104010和60241004) 国家"973"计划(2003CB314801)资助; 文摘互操作测试过程目的是用尽量少的测试序列数目对目标系统实施测试,而又能检测出尽可能多的错误.采用基于有向图的满足互操作测试的最小完全覆盖准则的测试序列生成算法可以生成更有效的互操作测试集.; 关键词互操作性测试互操作等价最小完全覆盖准则有向图测试序列生成算法; Keywords interoperability test interoperability equivalence minimal-complete-coverage criterion algorithm of test sequence generation digraph; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于扩展库所/迁移系统的GUI自动化测试: 3; 作者陈军成丁治明; 机构北京工业大学信息学部中国科学院软件研究所基础软件国家工程研究中心; 出处《北京工业大学学报》 CAS CSCD 北大核心 2017年第6期883-888,共6页; 基金国家自然科学基金资助项目(91546111) 北京市博士后工作经费资助项目(Q6007011201602); 文摘为解决图形用户界面(graphic user interface,GUI)元素状态空间庞大以及用户操作组合空间复杂等问题,针对特定类型的GUI软件,提出一种基于扩展库所/迁移系统的GUI测试模型.在此模型中,库所表示用户在GUI软件上的操作类型,迁移表示用户在GUI上的操作事件.针对模型制定了3个相应的准则:库所覆盖准则、迁移覆盖准则和迁移对覆盖准则.对迁移对覆盖准则和事件对覆盖准则进行分析,并设计了相应的GUI测试用例生成算法.在计算器上的初步试验结果表明:相较事件对覆盖准则,迁移对覆盖准则在保持较高的错误发现能力的同时,生成的测试用例规模只有其40%,极大地降低了测试用例规模.; 关键词图形用户界面(GUI) 库所/迁移系统测试覆盖准则测试用例; Keywords graphic user interface （GUI） place/transition system test coverage criteria test case; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于状态迁移的Web应用功能测试用例生成方法被引量：6: 4; 作者张绍康王曙燕孙家泽; 机构西安邮电大学计算机学院; 出处《计算机应用》 CSCD 北大核心 2014年第6期1779-1782,1787,共5页; 基金国家自然科学基金资助项目(61050003) 陕西省教育厅自然科学基金资助项目(12JK0732) 西安邮电大学青年基金资助项目(ZL2013-26); 文摘针对Web应用测试方法错误覆盖率低的问题,提出了一种基于状态迁移的Web应用功能测试用例生成方法。该方法通过构造页面状态迁移图、事件迁移表和导航迁移表对Web应用的链接关系进行表示。基于页面状态迁移图生成的页面状态迁移树生成测试路径,根据等价类划分原则,提出了一种测试用例覆盖准则,结合事件迁移表和导航迁移表中的信息记录构造测试用例。典型案例实验结果表明,该方法有效地表示了Web应用中页面间的链接关系,提高了测试用例的错误检测率。; 关键词状态迁移 WEB应用覆盖准则测试路径测试用例; Keywords state transition Web application coverage criteria test path test case; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于EFSM的最小测试用例集生成方法被引量：1: 5; 作者陈孔婷王兴起; 机构杭州电子科技大学计算机学院; 出处《计算机工程与设计》北大核心 2019年第9期2502-2506,共5页; 基金浙江省自然科学基金项目(LQ16F020006、LY17F020023); 文摘影响测试成本的主要因素是测试用例集规模和测试用例的总长度,为降低测试成本,对测试用例生成技术进行研究,提出一种基于集合覆盖理论的最小测试用例集生成方法。设计迁移覆盖算法,其中引入关键迁移概念,设计最小测试用例集算法用于合并迁移覆盖算法输出的集合,得到最小测试用例集。实验结果表明,所提方法得到的最小测试用例集,降低了测试成本,提高了测试效率。; 关键词扩展有限状态机最小测试用例集迁移覆盖测试成本测试效率; Keywords EFSM minimum test case set transition coverage test cost test efficiency; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于扩展CHAM模型的软件集成测试方法被引量：3: 6; 作者叶俊民罗景朱凯赵良赵恒王振宇; 机构华中师范大学计算机科学系哈尔滨工程大学计算机科学与技术学院武汉大学软件工程国家重点实验室; 出处《计算机科学》 CSCD 北大核心 2005年第6期199-201,205,共4页; 基金国防预研基金(413150601) 武汉大学软件工程国家重点实验室基金(SKLSE04-20); 文摘基于构件的软件工程(Component-Based Software Engineering,CBSE)正逐渐成为软件开发的一种新趋势。目前构件提供者所交付的构件仅仅包括其功能描述和接口描述,而代码通常是不可见的,这给软件系统的集成测试带来较大困难。本文针对软件体系结构(Software Architecture,SA)层中的构件规格说明,提出一种集成测试方法。首先使用扩展的化学抽象自动机(Extend Chemical Abstract Machine,E-CHAM)模型描述软件系统的体系结构;接着使用LTS状态树生成算法,生成标号迁移系统(Labeled Transition System,LTS)表示单一构件的动态行为;最后按照自底向上的集成测试策略完成了整个系统的测试。; 关键词集成测试软件体系结构化学抽象自动机标号迁移系统覆盖准则; Keywords Integration testing Software architecture CHAM LTS Coverage criteria; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论] TP317 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	确定性有限状态机的最小测试成本迁移覆盖准则	刘攀缪淮扣曾红卫梅佳	《软件学报》 EI CSCD 北大核心	2011	6	在线阅读下载PDF 职称材料
2	基于有向图的最小完全覆盖互操作测试序列生成算法	林华辉赵保华屈玉贵	《中国科学技术大学学报》 CAS CSCD 北大核心	2006	11	在线阅读下载PDF 职称材料
3	基于扩展库所/迁移系统的GUI自动化测试	陈军成丁治明	《北京工业大学学报》 CAS CSCD 北大核心	2017	0	在线阅读下载PDF 职称材料
4	基于状态迁移的Web应用功能测试用例生成方法	张绍康王曙燕孙家泽	《计算机应用》 CSCD 北大核心	2014	6	在线阅读下载PDF 职称材料
5	基于EFSM的最小测试用例集生成方法	陈孔婷王兴起	《计算机工程与设计》北大核心	2019	1	在线阅读下载PDF 职称材料
6	基于扩展CHAM模型的软件集成测试方法	叶俊民罗景朱凯赵良赵恒王振宇	《计算机科学》 CSCD 北大核心	2005	3	在线阅读下载PDF 职称材料