期刊文献+
共找到171篇文章
< 1 2 9 >
每页显示 20 50 100
法律适用统一的路径和方法分析 被引量:1
1
作者 张卫平 《云南社会科学》 北大核心 2024年第2期2-13,共12页
在成文法体制下,法律适用统一是司法的一项基本理念和原则。该原则的实施关系到成文法体制语境中,司法公正与司法公信力的重要问题。在我国,实现法律适用的统一主要有三种路径:行政性路径、法律性路径以及学理性路径。这三种路径的作用... 在成文法体制下,法律适用统一是司法的一项基本理念和原则。该原则的实施关系到成文法体制语境中,司法公正与司法公信力的重要问题。在我国,实现法律适用的统一主要有三种路径:行政性路径、法律性路径以及学理性路径。这三种路径的作用机制和效用各有所不同。尽管行政性路径和方法直接、高效,但基于司法行政化本身的结构性弊端,从今后的发展来看该路径应当调整、限缩;在法律性路径中,救济程序中的上诉审还应当进一步完善和充实,通过设立法律审强化其法律适用的统一;学理性路径和方法是今后应该大力充实和发展的方向,但这一方向面临着学术与司法实践大环境的调整且是一项长期而艰巨的任务。 展开更多
关键词 法律适用 案例指导 司法解释 救济程序 司法行政化
下载PDF
案例教学法在“环境修复技术”课程教学中的应用 被引量:1
2
作者 马丽丽 宿程远 蒋金平 《科教导刊》 2024年第2期124-126,共3页
环境修复技术是环境工程专业的一门重要的专业课程,主要介绍污染环境的物理修复、化学修复、生物修复的原理和方法,并针对土壤环境、水环境、大气环境及固体废弃物污染的特性介绍了相应修复方法和技术手段。该课程对培养学生具备环境工... 环境修复技术是环境工程专业的一门重要的专业课程,主要介绍污染环境的物理修复、化学修复、生物修复的原理和方法,并针对土壤环境、水环境、大气环境及固体废弃物污染的特性介绍了相应修复方法和技术手段。该课程对培养学生具备环境工程专业知识和技能,提高学生分析问题、解决实际环境问题的能力具有重要作用。案例教学法有利于增强该课程的吸引力,有助于学生更好地理解和融会贯通理论知识。随着社会经济的发展,土壤、水和大气污染问题日趋严重,给人们带来了严重的健康风险,迫切需要修复治理,文章针对“环境修复技术”的教学特点和存在的问题,结合案例教学法,探讨案例教学在课程中的作用和实施方案。 展开更多
关键词 案例教学法 “环境修复技术” 课堂教学 效果评价
下载PDF
冷适应菌剂在土壤污染修复中的应用
3
作者 李佳欣 温玉娟 +2 位作者 方正 杨雯淇 宋晓明 《当代化工研究》 CAS 2024年第17期95-97,共3页
近年来,利用微生物菌剂处理土壤污染逐渐成为研究热点,但在实际应用中,在多数研究菌剂以中温菌为主,在低温下容易失去活性。对于季节更替温差较大的地域或常年处于寒冷条件下的地区,有必要研究耐低温菌剂来应对这种环境干扰。本文综述... 近年来,利用微生物菌剂处理土壤污染逐渐成为研究热点,但在实际应用中,在多数研究菌剂以中温菌为主,在低温下容易失去活性。对于季节更替温差较大的地域或常年处于寒冷条件下的地区,有必要研究耐低温菌剂来应对这种环境干扰。本文综述了微生物菌剂的制备条件及国内外低温菌剂治理环境污染的进展,提出将菌剂的安全性评估作为发展微生物菌剂的首要因素,为未来低温环境中冷适应微生物菌剂的发展与施用创造良好前提。 展开更多
关键词 低温菌剂 菌剂制备 土壤修复案例
下载PDF
虚假仲裁中案外人的权利救济
4
作者 刘江月 《宝鸡文理学院学报(社会科学版)》 2024年第2期100-104,共5页
仲裁是我国解决平等主体民间纠纷的一种重要的权利救济方式。近年来,虚假仲裁的盛行已经严重影响到了仲裁的效率和公信力。虚假仲裁中,案外人的权益屡屡受到侵害。目前,案外人通过申请撤销仲裁裁决、申请不予执行仲裁裁决、申请执行异... 仲裁是我国解决平等主体民间纠纷的一种重要的权利救济方式。近年来,虚假仲裁的盛行已经严重影响到了仲裁的效率和公信力。虚假仲裁中,案外人的权益屡屡受到侵害。目前,案外人通过申请撤销仲裁裁决、申请不予执行仲裁裁决、申请执行异议之诉等途径,均无法实现权利救济。针对案外人维权困境,需要从多个角度进行有效规制和完善。可以重新定义案外人在仲裁制度中的地位,协调不同层级法律法规之间的冲突。同时,还可以依托现有制度,引入案外人申请撤销仲裁裁决制度,赋予仲裁案外人损害赔偿权。 展开更多
关键词 虚假仲裁 案外人 权利救济
下载PDF
多环芳烃污染场地修复工程案例分析
5
作者 郑伟 姜祖明 +4 位作者 魏鹏 王庆 李修强 路青 褚兴飞 《绿色科技》 2024年第12期128-133,共6页
随着新时期生态文明思想的普及,人们的环境保护意识进一步提升,对生态环境治理提出了更高的要求。在当前新质生产力发展主题指引下,应不断推进高效修复、精准修复、绿色低碳修复要素的配置比例为其治理技术赋能。基于上述思想理念,选取... 随着新时期生态文明思想的普及,人们的环境保护意识进一步提升,对生态环境治理提出了更高的要求。在当前新质生产力发展主题指引下,应不断推进高效修复、精准修复、绿色低碳修复要素的配置比例为其治理技术赋能。基于上述思想理念,选取某煤制气厂污染场地修复工程为研究对象,概述了多环芳烃特征及其污染现状,并在剖析常用修复技术的基础上,从项目概况、应用需求、技术路线、实施方案、检测及效果评估等方面进行了详细探讨。目前该工程已完成修复,土壤和地下水中的多环芳烃、石油烃等特征污染物经检测达到在环保主管部门备案的《场地详细调查与风险评估报告》和《修复技术方案》所确定的目标值,施工过程未对周边产生二次污染。该工程的顺利实施对提升土地资源安全利用和生态环境保护具有重大意义,也为类似污染场地修复项目提供了参考。 展开更多
关键词 多环芳烃 污染场地 修复 案例分析
下载PDF
Reusing Test Cases Based on the Function Point
6
作者 张娟 童维勤 +2 位作者 蔡立志 黄文彬 HWANG Jenq-Neng 《Journal of Donghua University(English Edition)》 EI CAS 2014年第4期441-446,共6页
Reusing test cases from existing test case library is quite common in the software testing field. Testing practice tells us that there is a strong relationship between the granularity of a function unit under testing ... Reusing test cases from existing test case library is quite common in the software testing field. Testing practice tells us that there is a strong relationship between the granularity of a function unit under testing and that of the test case. A function unit with small granularity usually results in the test cases with the same small granularity. Therefore a test case defined as the function point,i. e.,the smallest size function unit,was provided for the first time.Though test cases with smaller granularity usually have better reusability,the cost of accurately reusing and integrating such test cases is also higher. In order to balance the test case reusability and the cost of test case reuse,a novel test case reuse model based on the function point was proposed in this paper. In this model,a reusable test case for specification-based testing was defined and some reuse strategies and three formal reuse methods were given. Finally,the complete automatic software process was realized by a reusing generation tool. The new method has improved reuse accuracy,while greatly enhances the software productivity. 展开更多
关键词 function point function unit test case test case suite REUSE RG tool Z specification language
下载PDF
Improved Test Case Selection Algorithm to Reduce Time in Regression Testing
7
作者 Israr Ghani Wan M.N.Wan-Kadir +1 位作者 Adila Firdaus Arbain Noraini Ibrahim 《Computers, Materials & Continua》 SCIE EI 2022年第7期635-650,共16页
Regression testing(RT)is an essential but an expensive activity in software development.RT confirms that new faults/errors will not have occurred in the modified program.RT efficiency can be improved through an effect... Regression testing(RT)is an essential but an expensive activity in software development.RT confirms that new faults/errors will not have occurred in the modified program.RT efficiency can be improved through an effective technique of selected only modified test cases that appropriate to the modifications within the given time frame.Earlier,several test case selection approaches have been introduced,but either these techniques were not sufficient according to the requirements of software tester experts or they are ineffective and cannot be used for available test suite specifications and architecture.To address these limitations,we recommend an improved and efficient test case selection(TCS)algorithm for RT.Our proposed technique decreases the execution time and redundancy of the duplicate test cases(TC)and detects onlymodified changes that appropriate to themodifications in test cases.To reduce execution time for TCS,evaluation results of our proposed approach are established on fault detection,redundancy and already executed test case.Results indicate that proposed technique decreases the inclusive testing time of TCS to execute modified test cases by,on average related to a method of Hybrid Whale Algorithm(HWOA),which is a progressive TCS approach in regression testing for a single product. 展开更多
关键词 Test case selection regression testing change detection TCS algorithm test suite minimization
下载PDF
Multi-Objective Modified Particle Swarm Optimization for Test Suite Reduction(MOMPSO)
8
作者 U.Geetha Sharmila Sankar 《Computer Systems Science & Engineering》 SCIE EI 2022年第9期899-917,共19页
Software testing plays a pivotal role in entire software development lifecycle.It provides researchers with extensive opportunities to develop novel methods for the optimized and cost-effective test suite Although imp... Software testing plays a pivotal role in entire software development lifecycle.It provides researchers with extensive opportunities to develop novel methods for the optimized and cost-effective test suite Although implementation of such a cost-effective test suite with regression testing is being under exploration still it contains lot of challenges and flaws while incorporating with any of the new regression testing algorithm due to irrelevant test cases in the test suite which are not required.These kinds of irrelevant test cases might create certain challenges such as code-coverage in the test suite,fault-tolerance,defects due to uncovered-statements and overall-performance at the time of execution.With this objective,the proposed a new Modified Particle Swarm optimization used for multi-objective test suite optimization.The experiment results involving six subject programs show that MOMPSO method can outer perform with respect to both reduction rate(90.78%to 100%)and failure detection rate(44.56%to 55.01%).Results proved MOMPSO outperformed the other stated algorithms. 展开更多
关键词 Regression testing test suite reduction test case generation
下载PDF
User Session-Based Test Case Generation and Optimization Using Genetic Algorithm
9
作者 Zhongsheng Qian 《Journal of Software Engineering and Applications》 2010年第6期541-547,共7页
An approach to generating and optimizing test cases is proposed for Web application testing based on user sessions using genetic algorithm. A large volume of meaningful user sessions are obtained after purging their i... An approach to generating and optimizing test cases is proposed for Web application testing based on user sessions using genetic algorithm. A large volume of meaningful user sessions are obtained after purging their irrelevant information by analyzing user logs on the Web server. Most of the redundant user sessions are also removed by the reduction process. For test reuse and test concurrency, it divides the user sessions obtained into different groups, each of which is called a test suite, and then prioritizes the test suites and the test cases of each test suite. So, the initial test suites and test cases, and their initial executing sequences are achieved. However, the test scheme generated by the elementary prioritization is not much approximate to the best one. Therefore, genetic algorithm is employed to optimize the results of grouping and prioritization. Meanwhile, an approach to generating new test cases is presented using crossover. The new test cases can detect faults caused by the use of possible conflicting data shared by different users. 展开更多
关键词 USER SESSION GENETIC Algorithm TEST case TEST suitE Reduction PRIORITIZATION
下载PDF
仲裁案外人权益救济机制的立法展开——基于我国《仲裁法》《民事诉讼法》修订和《民事强制执行法》制定的协同考量 被引量:3
10
作者 毋爱斌 《政治与法律》 北大核心 2023年第12期107-124,共18页
“虚假仲裁”等侵犯仲裁案外人权益的情形受到广泛关注。在我国,2018年最高人民法院发布的《关于人民法院办理仲裁裁决执行案件若干问题的规定》、2019年最高人民法院起草的《中华人民共和国民事强制执行法草案(征求意见稿)》、2021年... “虚假仲裁”等侵犯仲裁案外人权益的情形受到广泛关注。在我国,2018年最高人民法院发布的《关于人民法院办理仲裁裁决执行案件若干问题的规定》、2019年最高人民法院起草的《中华人民共和国民事强制执行法草案(征求意见稿)》、2021年司法部发布的《中华人民共和国仲裁法(修订)(征求意见稿)》以及2022年全国人大常委会发布的《中华人民共和国民事强制执行法(草案)》分别为仲裁案外人设置不同的救济路径。不同的救济路径背后是既判力绝对效和相对效理论的争论。伴随着仲裁机构“民间性”回归和对仲裁裁决效力认识的深入,仲裁裁决既判力应当坚持相对效。因而,应摒弃构建仲裁案外人提起撤销仲裁裁决之诉、申请不予执行等专门独立型救济机制,根据“侵犯物权型”、“虚构债务型”和“减少责任财产型”这三种可能侵害仲裁案外人权益的情形,挖掘和完善《中华人民共和国民法典》《中华人民共和国民事诉讼法》《中华人民共和国民事强制执行法(草案)》等规定的案外人异议之诉、分配方案异议之诉、撤销权之诉、确认无效之诉、侵权之诉等非专门独立型第三人救济路径。 展开更多
关键词 仲裁案外人 既判力相对效 非专门独立型第三人救济路径 案外人异议之诉 分配表异议之诉
下载PDF
中国砷污染地块修复案例分析与环境管理意义 被引量:2
11
作者 张云慧 刘虎鹏 +3 位作者 杜平 袁贝 张昊 陈娟 《环境科学与技术》 CAS CSCD 北大核心 2023年第10期228-236,共9页
砷是我国污染地块最常见的污染物,具有分布广、毒性强的特点,砷污染土壤所引起的生态风险和环境安全问题受到高度关注。实证研究是完善环境监管的重要前提和基础,而目前鲜有全国砷污染地块的总体研究。该文以2012-2021年221个砷污染地... 砷是我国污染地块最常见的污染物,具有分布广、毒性强的特点,砷污染土壤所引起的生态风险和环境安全问题受到高度关注。实证研究是完善环境监管的重要前提和基础,而目前鲜有全国砷污染地块的总体研究。该文以2012-2021年221个砷污染地块为研究对象,分析污染地块的空间分布、污染特征、修复目标值和治理修复技术,探究砷污染地块土壤污染的科学特性与技术监管方式。结果表明,全国砷污染地块分布较集中,61.1%分布在重庆、上海、广西、浙江、江苏和贵州等经济发达或地质高背景地区;地块原址企业90.5%属于制造业,其中化学原料和化学制品制造业、黑色金属冶炼和压延加工业、有色金属冶炼和压延加工业、金属制品业是重点关注的行业类别;规划用途最多的类型为居住用地,占比63.8%,此类地块原址企业多属于化学原料和化学制品制造业、黑色金属冶炼和压延加工业等高污染行业,重金属、多环芳烃、石油烃、氯代烃复合污染发生频率高。砷修复目标值主要引用国家或地方环境质量标准,占比84.2%。砷污染土壤治理修复技术以固化稳定化和水泥窑协同处置为主,应用频率分别为53.1%和35.0%;早期砷污染土壤治理修复技术以固化稳定化为主,2017年之后水泥窑、砖瓦窑等协同处置技术占据主导地位。该研究为污染地块砷的环境管理工作提供了实证支撑,未来可从加强典型行业企业砷源头防治、严格再开发准入、科学制定砷修复目标值、强化砷风险管控地块后期管理等方面进一步管控土壤砷污染风险。 展开更多
关键词 污染地块 行业 修复技术 案例分析 环境管理
下载PDF
有机物污染土壤异位化学氧化和热脱附修复技术优选及应用
12
作者 徐鹏程 韩进 +2 位作者 王栋 奚龙晶 曲常胜 《环境科技》 2023年第5期30-34,共5页
为顺应土壤环境保护的现实需求和土壤环境科学技术的发展需求,国内开始鼓励研究利用高效经济的修复技术处理污染地块中的有机污染物。针对不同污染负荷的有机污染土壤,结合实际工程案例分析异位化学氧化和异位热脱附技术2种有机污染土... 为顺应土壤环境保护的现实需求和土壤环境科学技术的发展需求,国内开始鼓励研究利用高效经济的修复技术处理污染地块中的有机污染物。针对不同污染负荷的有机污染土壤,结合实际工程案例分析异位化学氧化和异位热脱附技术2种有机污染土壤修复技术可达性和经济性。结果表明,采用异位化学氧化工艺处理有机污染土壤,投加比为2%,4%,6%时,成本费用分别为542.62,739.23,935.85元/m^(3),处理低污染负荷土壤均具可达性,处理高污染负荷土壤仅投加比6%时具有可达性;当采用异位热脱附工艺处理污染土壤时,成本费用为763.34元/m^(3),且对高、低污染负荷土壤均具有可达性。通过比选,高有机污染负荷土壤优选异位热脱附技术,低负荷污染土壤优选异位化学氧化技术。研究结果为我国今后土壤有机物污染修复工作的具体实施提供参考和启示。 展开更多
关键词 土壤修复 有机污染 异位化学氧化 异位热脱附 工程案例
下载PDF
南京某石油烃污染场地土壤修复工程案例
13
作者 胥鸿开 朱成杰 +4 位作者 刘振升 罗付香 徐婉珍 李俊辉 王雪任 《广州化工》 CAS 2023年第11期180-182,共3页
通过对南京某石油烃污染场地土壤修复工程实施过程介绍,重点针对多项抽提、原位注入、水处理光催化氧化技术在污染土壤及地下水修复项目应用中的技术原理、施工流程、技术优缺点进行了分析与探讨,提供施工过程中涉及修复设备相关参数及... 通过对南京某石油烃污染场地土壤修复工程实施过程介绍,重点针对多项抽提、原位注入、水处理光催化氧化技术在污染土壤及地下水修复项目应用中的技术原理、施工流程、技术优缺点进行了分析与探讨,提供施工过程中涉及修复设备相关参数及实施修复过程中运行数据,为我国工业污染场地土壤及地下水原位修复问题解决提供了思路,可为后续采用原位修复项目提供参考。 展开更多
关键词 石油烃污染 多项抽提 原位化学氧化 场地修复 工程案例
下载PDF
无背景剂量氢吗啡酮用于膝关节置换手术后患者镇痛的价值分析
14
作者 毕啸 王艳冰 刘柏轩 《系统医学》 2023年第20期69-72,共4页
目的探讨与分析无背景剂量氢吗啡酮用于膝关节置换手术后患者镇痛的价值。方法选取2020年1月—2022年12月于赤峰市肿瘤医院进行择期膝关节置换手术患者72例作为研究对象,根据随机数表法分为研究组36例与对照组36例。所有患者在术后都给... 目的探讨与分析无背景剂量氢吗啡酮用于膝关节置换手术后患者镇痛的价值。方法选取2020年1月—2022年12月于赤峰市肿瘤医院进行择期膝关节置换手术患者72例作为研究对象,根据随机数表法分为研究组36例与对照组36例。所有患者在术后都给予静脉自控镇痛,对照组采用常规背景剂量氢吗啡酮进行镇痛,研究组采用无背景剂量氢吗啡酮进行镇痛。比较两组术后不同时间点疼痛视觉模拟评分,补救镇痛例数、按压次数与氢吗啡酮累计消耗量,并发症发生率。结果术后6、12、24 h两组疼痛视觉模拟评分比较,差异无统计学意义(P>0.05)。两组补救镇痛例数、按压次数对比,差异无统计学意义(P>0.05);研究组氢吗啡酮累计消耗量低于对照组,差异有统计学意义(P<0.05)。研究组术后3 d的并发症发生率为5.56%,低于对照组的22.22%,差异有统计学意义(χ^(2)=4.181,P<0.05)。结论无背景剂量氢吗啡酮用于膝关节置换手术后患者镇痛并不会影响镇痛效果,也不会增加补救镇痛例数、按压次数,还可减少氢吗啡酮累计消耗量,减少不良反应的发生率。 展开更多
关键词 无背景剂量 氢吗啡酮 膝关节置换手术 镇痛 补救镇痛例数 按压次数 不良反应
下载PDF
黑臭水体生物与化学治理技术研究进展
15
作者 薛宇宙 丁子墨 +3 位作者 储家越 王宣宣 刘情 冯梦茹 《水利水电快报》 2023年第12期94-100,共7页
黑臭水体具有异味重、毒性强和处理难度大等特点,对生态系统和人体健康会成较大危害,但常规的处理方法存在工程量较大和降解污染物较慢等问题。为了高效、彻底地解决黑臭水体的污染问题,梳理了城市黑臭水体成因及现状政策,总结了可使污... 黑臭水体具有异味重、毒性强和处理难度大等特点,对生态系统和人体健康会成较大危害,但常规的处理方法存在工程量较大和降解污染物较慢等问题。为了高效、彻底地解决黑臭水体的污染问题,梳理了城市黑臭水体成因及现状政策,总结了可使污染物转化的微生物修复法和化学处理法的原理和优势以及研究进展并分析了相关应用案例。结果表明:①微生物修复法具有无二次污染,成本较低,适用性广泛等优点,但处理效果容易受到外界因素(黑臭水体的浓度、温度和盐度等)影响,且前期培养驯化时间较长。②化学处理法可使黑臭水体得到高效、深度地处理,尤其是在处理紧急污染事故情况下,但是治理费用高昂,同时易对环境产生二次污染。 展开更多
关键词 黑臭水体 微生物修复 化学处理 治理案例
下载PDF
焦化污染场地集成修复模式应用案例分析
16
作者 耿迪 徐铁兵 +1 位作者 黄海 马跃涛 《环保科技》 2023年第4期39-44,49,共7页
目前国内针对焦化污染场地的治理修复技术单一,在修复过程中存在工程效率低、修复成本高等问题。本文根据试验场地水文地质特点与不同风险等级、污染情况,采用分区治理思路,探索出针对中风险区域的原位电阻加热-多相抽提-固化降解集成技... 目前国内针对焦化污染场地的治理修复技术单一,在修复过程中存在工程效率低、修复成本高等问题。本文根据试验场地水文地质特点与不同风险等级、污染情况,采用分区治理思路,探索出针对中风险区域的原位电阻加热-多相抽提-固化降解集成技术,和针对高风险区域的热传导热吸附-水平井-化学氧化集成技术。该集成模式可实现对污染物的精准加热,提高污染物的去除效率,降低加热能耗,提高经济可行性,达到焦化污染场地治理与再利用的效果。 展开更多
关键词 焦化污染场地 原位修复技术 集成模式 案例分析
下载PDF
测试用例演化研究进展 被引量:27
17
作者 张智轶 陈振宇 +1 位作者 徐宝文 杨瑞 《软件学报》 EI CSCD 北大核心 2013年第4期663-674,共12页
由于功能增加、性能调优、错误修复等原因,软件常常动态演化.现有测试技术难以满足软件演化过程中变化的测试需求,因此需要系统的测试用例演化技术,以有效保障演化软件的质量.回顾测试用例演化技术的研究现状,分别对测试用例选择、测试... 由于功能增加、性能调优、错误修复等原因,软件常常动态演化.现有测试技术难以满足软件演化过程中变化的测试需求,因此需要系统的测试用例演化技术,以有效保障演化软件的质量.回顾测试用例演化技术的研究现状,分别对测试用例选择、测试用例修复和测试用例集扩增这3部分内容进行了详细的比较和分析.最后提出测试用例演化技术领域存在的挑战和未来的研究方向. 展开更多
关键词 软件演化 回归测试 测试用例选择 测试用例修复 测试用例集扩增
下载PDF
基于模型的CTCS-3级列控系统测试案例自动生成方法 被引量:15
18
作者 吕继东 朱晓琳 +2 位作者 李开成 唐涛 王海峰 《西南交通大学学报》 EI CSCD 北大核心 2015年第5期917-927,共11页
为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process,HCSP)形式化模型和时间自动机(timed automaton,TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场... 为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process,HCSP)形式化模型和时间自动机(timed automaton,TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场景的时序模型,分析了列控系统运营场景规范中时序功能的正确性;在时序模型的基础上,设计了满足全状态、全变迁和自定义-使用3种领域无关覆盖准则的列控系统测试案例自动生成算法,并以RBC(radio block center,RBC)切换场景为例,生成了100%全状态、全变迁和自定义-使用覆盖准则的测试案例套.从测试套数量、测试时间和内存消耗3个方面分析测试案例的生成效率表明:自定义-使用覆盖准则的测试案例套测试时间和内存消耗最小,分别为0.02 s和9.4 MB,本文方法提高列控系统测试案例生成效率最大达30%. 展开更多
关键词 形式化模型 列控系统 HCSP TA 测试案例自动生成 测试套
下载PDF
基于蚁群算法的测试用例集优化方法 被引量:8
19
作者 任洪丽 张伟 梁家安 《计算机工程与应用》 CSCD 北大核心 2010年第29期58-62,共5页
为了达到以尽可能少的测试用例满足测试需求的目的,提出了一种先对测试用例集进行完全划分,再利用蚁群算法对其优化的方法。首先根据测试需求间的相互关系,将最初的测试用例集划分成多个互不相交的子集,每个子集中的元素为等价测试用例... 为了达到以尽可能少的测试用例满足测试需求的目的,提出了一种先对测试用例集进行完全划分,再利用蚁群算法对其优化的方法。首先根据测试需求间的相互关系,将最初的测试用例集划分成多个互不相交的子集,每个子集中的元素为等价测试用例;其次从各个子集中选取一个测试用例,组成一个新的集合,该集合已经摒弃了部分冗余测试用例;然后利用蚁群算法对测试用例集进行最优的简化;最后通过实例证明了该方法可以产生比原有的方法更优的测试用例集。 展开更多
关键词 测试用例 测试需求 蚁群算法 测试用例集
下载PDF
基于事件处理函数的GUI测试用例集约简技术 被引量:4
20
作者 陈军成 薛云志 +1 位作者 陶秋铭 赵琛 《软件学报》 EI CSCD 北大核心 2015年第8期1871-1885,共15页
GUI测试用例集约简是降低GUI软件测试成本的有效手段.GUI软件的消息循环机制以及事件驱动特性,导致传统的基于控制流和数据流的测试用例集约简技术难以直接应用于GUI测试用例集约简.如何在尽可能保持原有测试用例集缺陷发现能力的基础上... GUI测试用例集约简是降低GUI软件测试成本的有效手段.GUI软件的消息循环机制以及事件驱动特性,导致传统的基于控制流和数据流的测试用例集约简技术难以直接应用于GUI测试用例集约简.如何在尽可能保持原有测试用例集缺陷发现能力的基础上,尽可能地降低GUI测试用例集规模,是GUI测试用例集约简的一个挑战.以事件处理函数为核心,结合控制流和数据流技术,根据事件处理函数代码结构特征以及事件处理函数之间的数据依赖关系定义测试冗余规则,制定并实现了3种测试用例集约简技术.实验结果表明:与已有技术相比,其中两种根据事件处理函数之间的数据依赖关系制定的测试用例集约简技术达到了较好的约简效果. 展开更多
关键词 GUI测试用例 测试用例集约简 事件处理函数 定义-引用 冗余测试用例
下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部