期刊文献+
共找到2,801篇文章
< 1 2 141 >
每页显示 20 50 100
Test-case prioritization: achievements and challenges 被引量:3
1
作者 Dan HAO Lu ZHANG Hong MEI 《Frontiers of Computer Science》 SCIE EI CSCD 2016年第5期769-777,共9页
Test-case prioritization, proposed at the end of last century, aims to schedule the execution order of test cases so as to improve test effectiveness. In the past years, test-case prioritization has gained much attent... Test-case prioritization, proposed at the end of last century, aims to schedule the execution order of test cases so as to improve test effectiveness. In the past years, test-case prioritization has gained much attention, and has significant achievements in five aspects: prioritization algorithms, coverage criteria, measurement, practical concems involved, and application scenarios. In this article, we will first review the achievements of test-case prioritization from these five as- pects and then give our perspectives on its challenges. 展开更多
关键词 test-case prioritization ACHIEVEMENTS CHALLENGES
原文传递
基于仿真模拟结合案例分析提高临床免疫检验的实习质量 被引量:2
2
作者 肖倩 石文 +3 位作者 吴子安 何敏 陈茶 黄宪章 《医学研究前沿》 2025年第1期1-3,共3页
目的基于仿真模拟结合案例分析教学来提高临床免疫检验的实习质量。方法选取广东省中医院检验科免疫组实习生60名,其中2019级(30名)作为对照组,2020级(30名)作为实验组,试验组学生在传统带教方式的基础上增加案例的仿真模拟教学;对照组... 目的基于仿真模拟结合案例分析教学来提高临床免疫检验的实习质量。方法选取广东省中医院检验科免疫组实习生60名,其中2019级(30名)作为对照组,2020级(30名)作为实验组,试验组学生在传统带教方式的基础上增加案例的仿真模拟教学;对照组学生采用传统带教方式进行实习。在本教学研究开始前进行临床免疫理论基础摸底考试(满分100分),实习完成时进行出科考核(满分100分)和问卷调查。结果实验组学生的理论知识和案例分析成绩均优于对照组,差异有统计学意义(P<0.05);83%以上的学生认为免疫实习期间使用基于仿真模拟结合案例分析提高实习期间的学习兴趣,有助于理论与实践相结合,有助于临床分析问题,解决问题和形成临床思维。结论基于仿真模拟结合案例分析在一定程度上提高临床免疫检验的实习质量,助于取得较好的实习效果。 展开更多
关键词 临床免疫检验 仿真模拟 案例分析 实习教学
暂未订购
去分化黑色素瘤1例
3
作者 尹海波 赵紫琴 王瑞琳 《临床与实验病理学杂志》 北大核心 2025年第4期558-560,共3页
去分化黑色素瘤(dedifferentiated melanoma,DM)是指黑色素瘤中经典成分向去分化成分的转变。本文报道1例37岁男性,2011年背部原位黑色素瘤术后行干扰素治疗;2021年肝转移检出BRAF V600E突变,接受靶向联合化疗;2022年胸椎转移灶病理呈... 去分化黑色素瘤(dedifferentiated melanoma,DM)是指黑色素瘤中经典成分向去分化成分的转变。本文报道1例37岁男性,2011年背部原位黑色素瘤术后行干扰素治疗;2021年肝转移检出BRAF V600E突变,接受靶向联合化疗;2022年胸椎转移灶病理呈肉瘤样形态,黑色素标志物(S-100等)阴性,但与原发灶共享BRAF V600E突变,证实克隆关联,确诊为DM。研究表明靶向治疗可能诱导表型转化,进而导致免疫标志丢失,提示需联合分子检测与病史分析以鉴别罕见去分化病例,并谨慎评估BRAF抑制剂持续治疗的临床价值。 展开更多
关键词 去分化黑色素瘤 基因检测 病例报道
暂未订购
基于路径分析的蜕变测试组生成与优先级排序技术
4
作者 孙昌爱 邢嘉煜 +1 位作者 刘宝莉 付安 《计算机学报》 北大核心 2025年第3期675-693,共19页
蜕变测试依据待测软件的蜕变属性(通常表示为蜕变关系),由原始测试用例生成衍生测试用例,通过检查它们对应的输出结果是否满足蜕变关系确定测试是否通过,由于无需构造单个测试用例的预期输出结果,因此有效地缓解了测试预期问题。不难看... 蜕变测试依据待测软件的蜕变属性(通常表示为蜕变关系),由原始测试用例生成衍生测试用例,通过检查它们对应的输出结果是否满足蜕变关系确定测试是否通过,由于无需构造单个测试用例的预期输出结果,因此有效地缓解了测试预期问题。不难看出,蜕变关系和原始测试用例决定了蜕变测试的故障检测有效性。尽管已经存在一些面向蜕变测试的测试用例生成方法,这些方法存在如下不足:忽略了蜕变关系的作用范围,存在易于生成无效的测试用例的问题;仅仅考虑原始测试用例之间的差异,导致生成的蜕变测试组(即原始测试用例与衍生测试用例对)不充分问题;未考虑测试用例的故障检测能力差异,从而影响蜕变测试的故障检测效率。针对上述问题,本文提出了一种基于路径分析的蜕变测试组生成与优先级排序技术(简称PaMTG)。在待测程序路径分析的基础上,PaMTG首先获得满足蜕变关系的可行路径对,然后生成覆盖可行路径对的蜕变测试组,最后依据执行路径信息对蜕变测试组进行优先级排序。开发了相应的支持工具,并采用一组程序从测试用例的有效性、故障检测能力、故障检测效率和时间开销四个方面对PaMTG进行了实验评估。实验结果表明,PaMTG能够生成有效的蜕变测试组,且生成的蜕变测试组的故障检测能力与效率优于现有基准技术。 展开更多
关键词 软件测试 蜕变测试 符号执行 测试用例生成 测试用例优先级排序
在线阅读 下载PDF
模糊测试用例生成技术研究综述
5
作者 刘慧 侯同定 +1 位作者 赵博 郭涵彬 《计算机工程与科学》 北大核心 2025年第7期1244-1261,共18页
模糊测试是主流的软件漏洞挖掘技术之一,在不同领域都有着广泛的应用。近年来,模糊测试用例生成技术的研究已经取得了长足的进展。首先,回顾模糊测试用例生成技术的发展历程,对相关研究工作进行分类归纳及综合对比。其次,基于模糊测试... 模糊测试是主流的软件漏洞挖掘技术之一,在不同领域都有着广泛的应用。近年来,模糊测试用例生成技术的研究已经取得了长足的进展。首先,回顾模糊测试用例生成技术的发展历程,对相关研究工作进行分类归纳及综合对比。其次,基于模糊测试用例生成技术的深入研究,形成基于生成方式和基于变异方式的模糊测试用例生成架构。再次,对模糊测试用例生成技术进行分类,深入剖析模糊器从程序结构和语义中提取特征并结合反馈信息生成测试用例的过程。然后,从浏览器、网络协议、编译器和操作系统4个方面,对现有模糊测试用例生成技术在生成测试用例过程中面临的任务及挑战予以分类阐述,并进行系统总结和对比研究。最后,从不同角度探讨现有模糊测试用例生成技术中存在的局限性及解决方案,并展望未来具有潜力的研究方向。 展开更多
关键词 模糊测试 测试用例生成 种子优化策略 漏洞挖掘 软件安全
在线阅读 下载PDF
翁维良治疗风湿性心脏病心力衰竭验案
6
作者 刘梦阳 毛超一 +1 位作者 李秋艳 翁维良(指导) 《山东中医杂志》 2025年第11期1264-1270,共7页
风湿性心脏病发展至心力衰竭阶段,西医治疗手段有限且难度较大。翁维良教授认为风湿性心脏病心力衰竭属于中医心水病范畴,核心病机为气(阳)虚血瘀水停,临证治疗强调有主次、有侧重地灵活配伍应用益气活血、温阳活血、利水活血、养阴活... 风湿性心脏病发展至心力衰竭阶段,西医治疗手段有限且难度较大。翁维良教授认为风湿性心脏病心力衰竭属于中医心水病范畴,核心病机为气(阳)虚血瘀水停,临证治疗强调有主次、有侧重地灵活配伍应用益气活血、温阳活血、利水活血、养阴活血、清热活血、祛风活血等诸法,缓缓图之,既能减轻临床症状,又可在一定程度上提升心功能,从而改善生活质量。通过分析翁教授治疗风湿性心脏病心力衰竭验案的详细治疗过程,对翁教授治疗本病的辨治思路与用药特色进行总结,以为临床治疗本病提供新的思路。 展开更多
关键词 风湿性心脏病 心力衰竭 临证验案 活血化瘀十二法 国医大师 翁维良
暂未订购
临床免疫学检验实习教学中微信加CBL教学法的应用效果
7
作者 曹昭 黄军强 +2 位作者 黄莉 陈志坚 刘登荷 《中国卫生产业》 2025年第6期176-179,共4页
目的分析临床免疫学检验实习教学中微信加基于案例教学法(case-based learning,CBL)的应用效果。方法选取2022年7月—2023年6月广西医科大学第一附属医院检验科的32名实习生为研究对象,对其实施常规教学法,设为参比组。另选取2023年7月... 目的分析临床免疫学检验实习教学中微信加基于案例教学法(case-based learning,CBL)的应用效果。方法选取2022年7月—2023年6月广西医科大学第一附属医院检验科的32名实习生为研究对象,对其实施常规教学法,设为参比组。另选取2023年7月—2024年6月本院检验科的32名实习生,对其实施微信加CBL教学法,设为观察组。比较两组的考核成绩、案例分析能力、解决问题能力、教学满意率。结果出科时,观察组检验理论、操作考核成绩分别为(94.25±1.37)分、(94.34±1.41)分,高于参比组的(91.83±1.49)分、(91.95±1.52)分,差异均有统计学意义(t=6.763,6.521;P均<0.05)。观察组案例分析能力、解决问题能力均高于参比组,差异均有统计学意义(P均<0.05)。观察组的教学满意率为100.00%(32/32),高于参比组的84.38%(27/32),差异有统计学意义(P<0.05)。结论在为检验科实习人员进行带教时,实施微信加CBL教学法可以拓展实习人员临床免疫学检验认知,增强案例分析能力,提高教学满意率。 展开更多
关键词 检验科 临床免疫学检验 微信 基于案例教学法
暂未订购
信息化背景下CBL教学法在实验诊断学实习教学中的应用 被引量:1
8
作者 刘玲玲 许建成 《中国继续医学教育》 2025年第10期72-76,共5页
目的 探讨信息化背景下案例教学法(case-based learning,CBL)在实验诊断学实习教学中的应用效果。方法 选取2023年5-7月在吉林大学第一医院实验诊断学教研室进行实验诊断学实习的吉林大学40名2019级临床五年制本科学生为研究对象。根据... 目的 探讨信息化背景下案例教学法(case-based learning,CBL)在实验诊断学实习教学中的应用效果。方法 选取2023年5-7月在吉林大学第一医院实验诊断学教研室进行实验诊断学实习的吉林大学40名2019级临床五年制本科学生为研究对象。根据学号将学生分为对照组和试验组,各20名。对照组接受传统教学法,而试验组则采用集成了检验信息化系统的CBL教学法。教学结束后,对2组学生在实验诊断学理论考试成绩及教学法满意度进行比较和分析。结果 试验组的基础知识成绩、病例分析成绩和总成绩分别为(44.70±2.50)分、(44.80±1.80)分和(90.30±3.60)分,均高于对照组的(43.20±1.90)分、(42.70±1.20)分和(85.20±3.30)分,差异有统计学意义(P <0.05)。试验组在学习兴趣、自主学习能力、独立思考、临床知识扩展、医患沟通能力、互动参与、团队协作、临床思维能力8个维度的满意度均高于对照组,差异有统计学意义(P <0.05)。结论 将信息化背景下CBL教学法应用在实验诊断学实习教学中能调动学习主动性,培养临床思维连贯性,提高医患沟通能力。 展开更多
关键词 检验信息化系统 典型病例 实验诊断学 实习教学 教学改革 满意度
在线阅读 下载PDF
CBL联合PBL教学法在检验科免疫室规培教学中的应用
9
作者 王许娜 李楠 《教育教学论坛》 2025年第24期96-99,共4页
探讨CBL教学法联合PBL教学模式在检验科免疫室住院医师规范化培训中的教学效果。选取2019年5月至2021年4月在郑州大学第一附属医院检验科免疫室参加规培的学员100名,将100名规培学员随机分成2组,每组50人,即联合教学组和单纯PBL教学组... 探讨CBL教学法联合PBL教学模式在检验科免疫室住院医师规范化培训中的教学效果。选取2019年5月至2021年4月在郑州大学第一附属医院检验科免疫室参加规培的学员100名,将100名规培学员随机分成2组,每组50人,即联合教学组和单纯PBL教学组各50人,两组采用不同的教学模式进行授课教学,培训结束后立即进行出科考试,并用问卷调查的方式来评价两种教学方法的教学效果。两种教学模式的综合评价中,联合教学法较单纯PBL教学法的效果更好。CBL联合PBL教学法有助于提高规培医师的学习兴趣和动力,提高学生学习成绩,增强教师的教学积极性,在规培教学工作中发挥了重要作用,有利于规培教学工作的顺利开展。 展开更多
关键词 检验科免疫室 自身抗体检验技术 案例为基础 问题为基础 住院医师
在线阅读 下载PDF
智能化芯片设计程序测试研究综述 被引量:1
10
作者 李晓鹏 闫明 +5 位作者 樊兴宇 唐振韬 开昰雄 郝建业 袁明轩 陈俊洁 《软件学报》 北大核心 2025年第6期2453-2476,共24页
在当今智能化的时代背景下,芯片作为智能电子设备的核心组件,在人工智能、物联网、5G通信等诸多领域发挥着关键作用,保障芯片的正确性、安全性和可靠性至关重要.在芯片的开发流程中,开发人员首先需要利用硬件描述语言,将芯片设计实现成... 在当今智能化的时代背景下,芯片作为智能电子设备的核心组件,在人工智能、物联网、5G通信等诸多领域发挥着关键作用,保障芯片的正确性、安全性和可靠性至关重要.在芯片的开发流程中,开发人员首先需要利用硬件描述语言,将芯片设计实现成软件形式(即芯片设计程序),然后再进行物理设计并最终流片(即生产制造).作为芯片设计制造的基础,芯片设计程序的质量直接影响了芯片的质量.因此,针对芯片设计程序的测试具有重要研究意义.早期的芯片设计程序测试方法主要依赖开发人员人工设计测试用例来测试芯片设计程序,往往需要大量的人工成本和时间代价.随着芯片设计程序复杂度的日益增长,诸多基于仿真的自动化芯片设计程序测试方法被提出,提升了芯片设计程序测试效率及有效性.近年来,越来越多的研究者致力于将机器学习、深度学习和大语言模型(LLM)等智能化方法应用于芯片设计程序测试领域.调研88篇智能化芯片设计程序测试相关的学术论文,从测试输入生成、测试预言构造及测试执行优化这3个角度对智能化芯片设计程序测试已有成果进行整理归纳,重点梳理芯片设计程序测试方法从机器学习阶段、深度学习阶段到大语言模型阶段的演化,探讨不同阶段方法在提高测试效率和覆盖率、降低测试成本等方面的潜力.同时,介绍芯片设计程序测试领域的研究数据集和工具,并展望未来的发展方向和挑战. 展开更多
关键词 芯片设计程序测试 大语言模型 测试用例生成
在线阅读 下载PDF
OSBL联合CBL新教学模式在医学影像学教学中的应用 被引量:1
11
作者 刘丽君 王泽锋 《继续医学教育》 2025年第2期57-61,共5页
目的探讨基于器官系统的学习(organ system based learning,OSBL)联合案例教学法(case-based learning,CBL)新教学模式在医学影像学教学中的应用效果。方法选取2022年9月至2023年9月内蒙古医科大学医学影像学专业学生100名,按班级将其分... 目的探讨基于器官系统的学习(organ system based learning,OSBL)联合案例教学法(case-based learning,CBL)新教学模式在医学影像学教学中的应用效果。方法选取2022年9月至2023年9月内蒙古医科大学医学影像学专业学生100名,按班级将其分为2组,对照组48名,采用传统模式教学,研究组52名,采用OSBL联合CBL新教学模式教学。对比2组理论考试成绩(外科学、内科学)、实践操作成绩(影像阅片诊断、影像综合分析、阅片总成绩)、综合能力、教学满意度。结果研究组学生期末外科学、内科学理论考试成绩为(90.24±2.32)分、(91.31±2.25)分,均较期中成绩升高,且高于对照组的(88.94±2.51)分、(89.64±2.62)分,差异有统计学意义(P<0.05)。研究组学生期末影像阅片诊断、影像综合分析实践操作成绩以及阅片总成绩为(42.25±1.94)分、(42.68±1.85)分、(83.93±2.90)分,均较期中成绩升高,且高于对照组的(40.11±2.53)分、(41.42±1.67)分、(80.53±1.96)分,差异有统计学意义(P<0.05)。相比对照组,研究组学习主动性、学习兴趣、实践能力、阅片能力、影像诊断思维、分析解决问题能力评分更高,差异有统计学意义(P<0.05)。研究组学生教学满意度为98.08%,高于对照组的83.33%,差异有统计学意义(P<0.05)。结论OSBL联合CBL新教学模式在医学影像学教学中的教学效果显著,可提高学生理论、操作成绩,促进其综合能力发展,提高教学满意度。 展开更多
关键词 医学影像学 医学教学 基于器官系统的学习 案例教学法 考试成绩 综合能力 满意度
在线阅读 下载PDF
面向航空软件需求模型的MC/DC测试用例生成方法 被引量:1
12
作者 丁鼎 胡军 +2 位作者 王康星 董泽华 王立松 《小型微型计算机系统》 北大核心 2025年第7期1783-1792,共10页
充分的测试是确保现代航空软件正常运行的必要环节,而传统软件测试方法往往难以满足要求.为此,本文设计了一种面向航空软件领域的测试用例自动生成方法,为自然语言描述下的航空软件需求构建变量关系模型,解析其模型语义创建需求语义树,... 充分的测试是确保现代航空软件正常运行的必要环节,而传统软件测试方法往往难以满足要求.为此,本文设计了一种面向航空软件领域的测试用例自动生成方法,为自然语言描述下的航空软件需求构建变量关系模型,解析其模型语义创建需求语义树,根据安全关键等级选取测试路径、生成不同的覆盖集.为缓解条件互相关联而可能导致修改的条件/判定覆盖失效的问题,本文定义了适用于该需求模型的耦合条件判断及约束准则,提出3种修改的条件/判定覆盖形式并给出相应的覆盖集生成方法;基于覆盖集所确定的等价类和边界,设计了合理有效的测试用例选取策略,自动生成测试用例集.最后,对一个航空软件需求实例进行形式化建模和测试用例生成,证明了上述方法的可行性. 展开更多
关键词 测试用例生成 修改的条件/判定覆盖 基于需求的测试 形式化需求建模
在线阅读 下载PDF
基于GWO-SVR模型的水合物试采套管动态可靠性评估
13
作者 王康 吕玮 +2 位作者 畅元江 张全胜 陈国明 《石油机械》 北大核心 2025年第3期132-140,共9页
水合物分解相变导致套管边界条件和载荷具有较强的时间相关性,采用数值模拟的方法获得大量套管动态力学响应数据极为困难,无法开展水合物试采井套管的动态可靠性评估。为此,基于灰狼优化支持向量机算法(GWO-SVR)建立水合物试采过程中的... 水合物分解相变导致套管边界条件和载荷具有较强的时间相关性,采用数值模拟的方法获得大量套管动态力学响应数据极为困难,无法开展水合物试采井套管的动态可靠性评估。为此,基于灰狼优化支持向量机算法(GWO-SVR)建立水合物试采过程中的套管动态响应预测模型,提出基于代理模型的套管时变可靠性评估方法,揭示时变不确定条件下的套管可靠性降级演化规律。研究结果表明:基于GWO-SVR算法的水合物试采井套管动态响应预测模型具有较高的预测精度;受水合物分解引起地层沉降的影响,套管强度可靠性不断降低,水合物试采60 d时套管强度可靠性降为99.41%。研究成果可为水合物试采井的安全性和稳定性评估提供理论依据。 展开更多
关键词 水合物试采 套管 动态可靠性 GWO-SVR
在线阅读 下载PDF
典型炸药岩土中爆炸应力波传播规律试验研究
14
作者 苗笑羽 黄风雷 +3 位作者 肖向东 刘海鹏 白志玲 段卓平 《兵器装备工程学报》 北大核心 2025年第6期155-163,共9页
为解决大型深层岩土中爆炸试验应力测试难题,获得装药在地下深层岩土中爆炸的应力波衰减规律,基于岩土介质与工装材料间的耦合作用设计了传感器工装,对比正向应力、侧向应力、混凝土界面3种岩土中爆炸压力测试方法,得到了典型地质条件下... 为解决大型深层岩土中爆炸试验应力测试难题,获得装药在地下深层岩土中爆炸的应力波衰减规律,基于岩土介质与工装材料间的耦合作用设计了传感器工装,对比正向应力、侧向应力、混凝土界面3种岩土中爆炸压力测试方法,得到了典型地质条件下TNT和典型含铝炸药爆炸岩土中应力波衰减规律,确定了带壳装药壳体耗能系数与装填系数的定量关系。结果表明,相同比例距离时,混凝土界面应力最大,正向应力次之,侧向应力最小,随着比例距离增大,三者间差值减小;对于该地质条件下炸药爆炸的侧向应力衰减规律,TNT衰减系数为0.123,衰减指数为2.26,含铝炸药衰减系数为0.140,衰减指数为2.54;带壳装药岩土中爆炸时,壳体耗能系数随装填系数增大而减小。该设计的正向应力、侧向应力2种测试方法可为大型岩土中爆炸试验应力波压力测试提供技术支持。 展开更多
关键词 岩土中爆炸 含铝炸药 爆炸载荷 动态测试 带壳装药
在线阅读 下载PDF
开放科学实现的流程与权益 被引量:1
15
作者 陆彩女 顾立平 《西华大学学报(哲学社会科学版)》 2025年第2期37-52,共16页
推动开放科学的发展已成为全球学术共同体的共识,但当前我国开放科学的实践发展尚处于起步阶段。文章在详细介绍开放科学概念及其实现形式和实现平台的基础上,通过个案研究法,剖析了科研人员亲身经历的开放科学实践案例的整体流程,包括... 推动开放科学的发展已成为全球学术共同体的共识,但当前我国开放科学的实践发展尚处于起步阶段。文章在详细介绍开放科学概念及其实现形式和实现平台的基础上,通过个案研究法,剖析了科研人员亲身经历的开放科学实践案例的整体流程,包括案例涉及哪些开放科学实践及各自平台,整体流程情况及遇到的问题,如其中的知识产权疑虑问题等,并归纳出开放科学实践中的三段式学术研究螺旋上升模型,认为该模型包括公民科学的公众参与、开放获取的学术研究、决策参考的专家咨询三个阶段,并展示了开放科学实践内的三个学术研究闭环与效果反馈。基于此个案研究,以期能帮助科研人员、各相关人员更好地了解开放科学的概念内涵及具体实践形式,打消疑虑,积极拥抱开放科学。 展开更多
关键词 开放科学 开放获取 实践检验 个案研究
在线阅读 下载PDF
一种面向城市轨道交通FAO系统危险场景的安全测试用例自动生成方法
16
作者 冉怡明 张亚东 +1 位作者 饶畅 江磊 《铁道标准设计》 北大核心 2025年第6期178-186,共9页
在当前FAO系统大规模建设背景下,作为典型的安全苛求系统,FAO系统运营服务水平和安全可靠性的需求日益增高,实际应用之前需要对其进行全面严格的测试,而现有的测试用例生成方法一般难以满足对安全性测试的需求。因此,提出一种安全测试... 在当前FAO系统大规模建设背景下,作为典型的安全苛求系统,FAO系统运营服务水平和安全可靠性的需求日益增高,实际应用之前需要对其进行全面严格的测试,而现有的测试用例生成方法一般难以满足对安全性测试的需求。因此,提出一种安全测试用例自动生成方法:以全自动运行系统中的障碍物脱轨检测场景为例,首先根据场景安全约束建立带安全约束的时间自动机模型,定义CF-SC安全测试覆盖准则,用于刻画场景运行下危险致因和安全约束的测试需求;然后针对此覆盖准则,设计一种考虑安全约束的深度优先搜索算法,算法在深度优先搜索框架下增加补充判别策略,用于覆盖安全测试需求的边和节点,实现安全测试用例的自动化生成。结果表明,CF-SC安全测试覆盖准则强于传统的路径覆盖准则,相对于现有方法,本方法在实现路径全覆盖的基础上,可对潜在的危险致因进行充分测试,对含有安全约束的路径覆盖率提升达33%,可有效满足安全测试需求,对提高全自动运行系统安全性具有重要研究意义和应用价值。 展开更多
关键词 城市轨道交通 全自动运行系统 覆盖准则 时间自动机 UPPAAL 测试用例生成
在线阅读 下载PDF
代理辅助多任务进化优化引导的MPI程序路径覆盖测试用例生成 被引量:1
17
作者 孙百才 巩敦卫 姚香娟 《软件学报》 北大核心 2025年第5期2026-2042,共17页
基于进化优化的消息传递接口(message-passing interface,MPI)程序路径覆盖测试中,进化个体适应值的评价需要反复执行MPI程序,而程序的重复执行往往需要高昂的计算成本.鉴于此,提出一种代理辅助多任务进化优化引导的MPI程序路径覆盖测... 基于进化优化的消息传递接口(message-passing interface,MPI)程序路径覆盖测试中,进化个体适应值的评价需要反复执行MPI程序,而程序的重复执行往往需要高昂的计算成本.鉴于此,提出一种代理辅助多任务进化优化引导的MPI程序路径覆盖测试用例生成方法,该方法能够显著约减MPI程序的实际执行次数,进而提高测试效率.首先,面向MPI程序目标路径内每条目标子路径,训练相应的代理模型;然后,基于对应每条目标子路径的代理模型,估计相应测试用例生成优化任务中进化个体的适应值,并形成候选测试用例集;最后,基于候选测试用例集及其面向每条目标子路径的真实适应值,更新对应每条目标子路径的代理模型.将所提方法应用于7个基准MPI程序的基本路径覆盖测试中,并与其他若干先进方法比较.实验结果表明,所提方法能够在确保测试用例生成高有效性的前提下,显著提高测试效率. 展开更多
关键词 路径覆盖测试用例生成 代理辅助多任务进化优化 候选测试用例集
在线阅读 下载PDF
基于MMD-GA的深度学习测试集优化约简
18
作者 王凤英 宋子凯 +1 位作者 张岩 杜利明 《计算机工程与科学》 北大核心 2025年第9期1700-1710,共11页
在图像识别领域,测试用例冗余且标记标签仍需人工操作,对测试用例进行优化是解决测试代价高昂、测试效率低下的有效方法。基于此,提出一种基于进化算法的测试用例优化约简方法—ERIR,使用深度神经网络模型提取图像特征,代入HDBSCAN聚类... 在图像识别领域,测试用例冗余且标记标签仍需人工操作,对测试用例进行优化是解决测试代价高昂、测试效率低下的有效方法。基于此,提出一种基于进化算法的测试用例优化约简方法—ERIR,使用深度神经网络模型提取图像特征,代入HDBSCAN聚类算法分析原始测试集数据分布,在聚类结果的基础上以最小化测试子集与原始分布为目标设计进化算法。提出了基于最大均值差异与遗传算法融合的测试用例挑选算法—MMD-GA,能够在每个聚类簇中挑选出最具有代表性的原型构成测试子集。应用该算法在CNN结构和Transformer结构模型上进行了大量实验,结果显示挑选出的测试输入在提升时间效率的基础上保证了准确率接近原始测试集,对比整体测试集准确率平均误差在0.18%~2.32%。 展开更多
关键词 测试用例约简 深度学习 图像识别 遗传算法 软件测试
在线阅读 下载PDF
FADEC软件需求形式化建模与测试用例生成的实例研究
19
作者 董泽华 胡军 +3 位作者 沈翔宇 熊波 董亚炯 戴嘉磊 《南京航空航天大学学报(自然科学版)》 北大核心 2025年第5期999-1012,共14页
研发具有安全关键特征的全权限数字化发动机控制(Full authority digital engine control,FADEC)软件是当前大飞机航空发动机控制系统研制的重要任务。本文工作面向大飞机FADEC软件研发中的需求分析与测试挑战,基于变量关系模型(Variabl... 研发具有安全关键特征的全权限数字化发动机控制(Full authority digital engine control,FADEC)软件是当前大飞机航空发动机控制系统研制的重要任务。本文工作面向大飞机FADEC软件研发中的需求分析与测试挑战,基于变量关系模型(Variable relation model,VRM)提出了对条目化自然语言描述的FADEC软件需求形式化建模、分析和基于模型测试用例生成的技术方法,并对FADEC中启动燃油控制软件(Start fuel control,SFC)功能实例进行了研究。研究包括对FADEC自然语言需求文档开展结构化预处理,生成领域概念库;通过需求规范化生成形式化建模框架;基于变量关系模型开展多范式的分析;基于需求模型自动生成测试用例;对FADEC需求建模分析中的领域特征问题进行总结分析等。本文对FADEC软件需求提供了建模与测试的工程经验。 展开更多
关键词 计算机软件与理论 机载软件形式化建模 变量关系模型 自然语言需求建模 测试用例自动生成
在线阅读 下载PDF
中医全息论指导下腹针疗法治疗甲状腺功能亢进症验案
20
作者 刘悦秋 崔曼 +1 位作者 李美 李檬 《山东中医杂志》 2025年第7期814-817,823,共5页
腹针疗法是在中医全息论指导下应用的中医特色疗法,治疗慢性全身性疾病疗效显著。文章分享一则腹针疗法治疗甲状腺功能亢进症验案,提出定位与辨证相结合的诊治思路,针对甲状腺功能亢进症患者肝火亢盛、心阴亏损、脾虚湿蕴的复杂证候,以... 腹针疗法是在中医全息论指导下应用的中医特色疗法,治疗慢性全身性疾病疗效显著。文章分享一则腹针疗法治疗甲状腺功能亢进症验案,提出定位与辨证相结合的诊治思路,针对甲状腺功能亢进症患者肝火亢盛、心阴亏损、脾虚湿蕴的复杂证候,以滋阴降火、疏肝健脾、养肝宁心为主要治法进行腹针治疗,同时配合腹部全息观取穴定位病变脏腑,标本兼治,取得了显著疗效。通过介绍腹针疗法治疗甲状腺功能亢进症的特点和优势,以启发中医全息论应用于现代中医特色疗法治疗慢性全身性疾病的新思考。 展开更多
关键词 腹针 微针疗法 中医全息论 甲状腺功能亢进症 验案
暂未订购
上一页 1 2 141 下一页 到第
使用帮助 返回顶部