期刊文献+
共找到225篇文章
< 1 2 12 >
每页显示 20 50 100
基于Testcase Designer的列车运行控制系统测试方法的研究 被引量:2
1
作者 陈黎洁 孙超 +1 位作者 卢利勇 贺红阳 《铁路计算机应用》 2017年第1期18-22,共5页
针对CTCS-3级列控系统的需求规范,结合欧洲列车运行控制系统(ETCS)的测试经验,研究基于Testcase Designer的CTCS-3级列控系统自动测试方法。Testcase Designer主要用于将测试案例模块化,通过优化编写流程,生成符合测试平台需求的测试序... 针对CTCS-3级列控系统的需求规范,结合欧洲列车运行控制系统(ETCS)的测试经验,研究基于Testcase Designer的CTCS-3级列控系统自动测试方法。Testcase Designer主要用于将测试案例模块化,通过优化编写流程,生成符合测试平台需求的测试序列,为测试项目的执行提供必要的关键数据点。同时,Testcase Designer可供存储、导出及发布。其测试案例中的关键输入输出接口(如BTM、TIU、RTM等)配置信息均已通过配置文件形式实现。以列控系统无线闭塞中心(RBC)切换场景为例,采用Testcase Designer编写该场景的测试案例。研究结果表明:Testcase Designer实现了功能特征、参考需求、测试步骤等元素的集成,编写的测试案例是合理的。 展开更多
关键词 CTCS-3级列控系统 测试案例 运营场景 RBC切换
在线阅读 下载PDF
Evaluation of the HIV Case-Based Surveillance System: A Pilot of the Electronic Health Record System in Mutare District, Zimbabwe, 2021
2
作者 Kudzai Patience Takarinda Simon Nyadundu +3 位作者 Emmanuel Govha Notion Tafara Gombe Tsitsi Juru Tshimanga Mufuta 《Open Journal of Epidemiology》 2021年第4期483-500,共18页
<strong>Background:</strong> Zimbabwe started HIV case-based surveillance in April 2017. Rapid testing for HIV recent infection was introduced into routine HIV and testing services in 2019 along with the I... <strong>Background:</strong> Zimbabwe started HIV case-based surveillance in April 2017. Rapid testing for HIV recent infection was introduced into routine HIV and testing services in 2019 along with the Impilo Electronic Health Record System. For the period January-June 2020, only 1 out of 13 health facilities in Mutare district reported seven newly diagnosed HIV patients through the electronic health record system compared to 483 in the District Health Information System (DHIS-2) recorded from paper-based registers. We evaluated the case-based surveillance system attributes, usefulness and reasons for under-reporting from January-December 2020. <strong>Methods:</strong> We conducted a descriptive cross-sectional study using updated Centres for Disease Control guidelines for evaluating public health surveillance systems. Questionnaires were administered to 36 health workers involved in HIV testing services. Facility checklists were used to collect data on knowledge, system attributes and usefulness of the system. Completed HIV case-based surveillance forms were assessed for completeness. Epi Info Version 7 was used to generate frequencies, means and proportions. <strong>Results:</strong> The reasons for under-reporting of patients in the electronic health record system were lack of reporting guidelines 26/36 (72%), limited coordination between technical staff and health facilities 24/36 (67%) and limited competency on the Electronic health record system 22/36 (61%). Timeliness, completeness, and validity were 88%, 82% and 100% respectively. The stability of the system was affected by the lack of standard operating procedures during system interruptions. Overall representativeness was 45% despite increasing from 3/226 (1%) to 224/303 (73%) between Quarter-1 and Quarter-4 of 2020. Acceptability was 100% due to reduced paperwork and the ability to generate simple reports. The information generated was used to identify new infection hotspots 28/36 (78%). <strong>Conclusion:</strong> The HIV cases based surveillance system was timely, acceptable with good data quality. Representativeness was poor due to limited competency on the electronic health record system. As a result, health workers received further training. 展开更多
关键词 HIV case-Based Surveillance Recency testing Electronic Health Record system Mutare Zimbabwe
暂未订购
面向电网调度自动化系统鲁棒性的验证用例生成方法研究
3
作者 路辉 王诗琪 +3 位作者 万雄 张若柳 裘雨音 申建强 《计算机测量与控制》 2026年第1期259-268,共10页
电网调度自动化系统的稳定运行是保障电力系统安全的核心;对于电网调度自动化系统进行鲁棒性测试,是保障系统面对异常、极端输入下性能良好的前提;对面向电网调度自动化系统鲁棒性的验证用例生成方法进行了综合分析;对电网调度自动化系... 电网调度自动化系统的稳定运行是保障电力系统安全的核心;对于电网调度自动化系统进行鲁棒性测试,是保障系统面对异常、极端输入下性能良好的前提;对面向电网调度自动化系统鲁棒性的验证用例生成方法进行了综合分析;对电网调度自动化系统的特点与测试难点、现存电网调度自动化系统验证用例生成方法进行了分析,发现了现存方法在电网调度自动化系统鲁棒性测试方面的不适用性;研究了面向一般复杂系统鲁棒性测试的验证用例生成的方法框架;对于框架中涉及到的代理模型在不同维度下的拟合精度与速度进行了实验分析,经实验测试发现高斯过程分类模型适合于低维问题;支持向量机模型适合于中高维度问题;对于超过20维的问题,人工神经网络的拟合速度达到支持向量机模型的20倍,并且能达到令人满意的精度;详细分析了将鲁棒性测试验证用例生成框架用于电网调度自动化系统亟待解决的问题和可能存在的技术途径。 展开更多
关键词 电网调度自动化系统 电力系统 鲁棒性测试 验证用例生成 自适应采样
在线阅读 下载PDF
信息化背景下CBL教学法在实验诊断学实习教学中的应用 被引量:1
4
作者 刘玲玲 许建成 《中国继续医学教育》 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
OSBL联合CBL新教学模式在医学影像学教学中的应用 被引量:2
5
作者 刘丽君 王泽锋 《继续医学教育》 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
基于融合聚类的新型列控系统测试用例自适应排序方法
6
作者 张素阳 窦道飞 郝韬 《中国铁路》 北大核心 2025年第2期28-34,共7页
为提高新型列控系统功能故障检测能力,缩短测试周期,提出聚类分析与多目标优化相结合的测试用例排序方法。分析新型列控系统结构及功能,提取临时限速场景中各子系统的关键状态,生成初始测试用例集;进行文本聚类和覆盖聚类分析,将聚类结... 为提高新型列控系统功能故障检测能力,缩短测试周期,提出聚类分析与多目标优化相结合的测试用例排序方法。分析新型列控系统结构及功能,提取临时限速场景中各子系统的关键状态,生成初始测试用例集;进行文本聚类和覆盖聚类分析,将聚类结果按一定的权重组合,得到测试用例相似性矩阵;以平均故障检测率、语句覆盖率和有效执行时间为多目标优化的度量指标,采用可支配遗传算法与历史执行信息对测试用例集进行自适应排序,得到最终测试序列。依托京张高铁列控系统仿真测试平台,验证该方法的有效性。试验结果表明:在不同测试用例规模情况下,该方法与AP、AC-CAP、AAR-CAP方法相比较,标准平均故障检测率的表现更优,排序结果具有更好的故障检测效果,可为新型列控系统功能测试提供新的、高效的解决方案。 展开更多
关键词 新型列控系统 测试用例排序 聚类分析 组合测试 临时限速 故障检测
在线阅读 下载PDF
一种面向城市轨道交通FAO系统危险场景的安全测试用例自动生成方法
7
作者 冉怡明 张亚东 +1 位作者 饶畅 江磊 《铁道标准设计》 北大核心 2025年第6期178-186,共9页
在当前FAO系统大规模建设背景下,作为典型的安全苛求系统,FAO系统运营服务水平和安全可靠性的需求日益增高,实际应用之前需要对其进行全面严格的测试,而现有的测试用例生成方法一般难以满足对安全性测试的需求。因此,提出一种安全测试... 在当前FAO系统大规模建设背景下,作为典型的安全苛求系统,FAO系统运营服务水平和安全可靠性的需求日益增高,实际应用之前需要对其进行全面严格的测试,而现有的测试用例生成方法一般难以满足对安全性测试的需求。因此,提出一种安全测试用例自动生成方法:以全自动运行系统中的障碍物脱轨检测场景为例,首先根据场景安全约束建立带安全约束的时间自动机模型,定义CF-SC安全测试覆盖准则,用于刻画场景运行下危险致因和安全约束的测试需求;然后针对此覆盖准则,设计一种考虑安全约束的深度优先搜索算法,算法在深度优先搜索框架下增加补充判别策略,用于覆盖安全测试需求的边和节点,实现安全测试用例的自动化生成。结果表明,CF-SC安全测试覆盖准则强于传统的路径覆盖准则,相对于现有方法,本方法在实现路径全覆盖的基础上,可对潜在的危险致因进行充分测试,对含有安全约束的路径覆盖率提升达33%,可有效满足安全测试需求,对提高全自动运行系统安全性具有重要研究意义和应用价值。 展开更多
关键词 城市轨道交通 全自动运行系统 覆盖准则 时间自动机 UPPAAL 测试用例生成
在线阅读 下载PDF
民用飞机CNS系统一体化测试用例与程序开发方法
8
作者 张辉 姚宇甲 《航空工程进展》 2025年第6期113-121,147,共10页
机载无线电通信导航监视(CNS)系统是民用飞机航空电子系统的重要组成部分。测试程序是CNS系统验证过程中的重要技术文件,也是测试验证工作开展的依据和基础。如何缩短测试程序的开发时间和测试时间,节约测试验证活动的时间资源,是CNS系... 机载无线电通信导航监视(CNS)系统是民用飞机航空电子系统的重要组成部分。测试程序是CNS系统验证过程中的重要技术文件,也是测试验证工作开展的依据和基础。如何缩短测试程序的开发时间和测试时间,节约测试验证活动的时间资源,是CNS系统验证过程要考虑的关键问题之一。对影响测试程序开发时间和测试时间的多种要素展开分析,以增强不同CNS功能测试程序相似性为目标,通过深入挖掘CNS功能相似性特征,提出CNS系统一体化测试用例与程序开发方法;以实际工程数据为支撑,进行一体化开发方法与常规开发方法的对比分析。结果表明:一体化开发方法能够有效缩短测试程序的开发时间和测试时间,提高验证效率,对其他航电系统测试验证有一定的借鉴意义。 展开更多
关键词 民用飞机 航空电子系统 CNS系统 一体化特征 测试用例 测试程序
在线阅读 下载PDF
复合材料外涵机匣结构强度试验温度控制方法研究
9
作者 赵俊东 张宁 《工程与试验》 2025年第3期47-49,共3页
本文针对复合材料外涵机匣结构强度试验中温度控制环节存在的响应慢、大滞后等难点,提出了控点切换技术与分段限幅加比例前馈的复合PID控制技术,解决了该结构强度试验温度控制存在的问题。试验结果表明,此方案有效可行,为后续类似试验... 本文针对复合材料外涵机匣结构强度试验中温度控制环节存在的响应慢、大滞后等难点,提出了控点切换技术与分段限幅加比例前馈的复合PID控制技术,解决了该结构强度试验温度控制存在的问题。试验结果表明,此方案有效可行,为后续类似试验提供了参考。 展开更多
关键词 发动机 外涵机匣 结构强度试验 控制系统 温度控制
在线阅读 下载PDF
继电保护装置自动测试系统设计 被引量:59
10
作者 王忠 张晓莉 +3 位作者 李忠安 刘奎 胡习 赵青春 《电力系统保护与控制》 EI CSCD 北大核心 2015年第5期130-135,共6页
分析了继电保护装置自动测试的现状和优势,针对继电保护装置研发过程中性能测试的要求和特点,介绍了一种通用的继电保护装置自动测试系统。该系统采用分布式体系结构和模块化设计思想,利用Python语言构造实时测试脚本,可实现保护装置的... 分析了继电保护装置自动测试的现状和优势,针对继电保护装置研发过程中性能测试的要求和特点,介绍了一种通用的继电保护装置自动测试系统。该系统采用分布式体系结构和模块化设计思想,利用Python语言构造实时测试脚本,可实现保护装置的闭环自动测试和回归测试。通过改变配置,可以实现对常规站保护装置和数字化站保护装置的自动测试。对自动测试系统各模块的设计进行了详细说明,重点介绍了测试用例的实现方法。实际应用表明,该系统可提高研发过程中的测试质量及效率。 展开更多
关键词 继电保护 自动测试系统 测试用例 回归测试 分布式系统
在线阅读 下载PDF
FADEC软件需求形式化建模与测试用例生成的实例研究
11
作者 董泽华 胡军 +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
高铁信号系统联调联试典型案例分析及优化策略
12
作者 纪英杰 《铁路通信信号工程技术》 2025年第8期62-69,共8页
联调联试是高速铁路开通前验证车地协同功能的关键环节,但实际测试中常因地面人员操作失误、车载设备差异、测试与设计误差等问题导致产生一些不必要的测试问题,从而影响整个工程的开通。结合在联调联试工作中遇到的实际线路动态检测案... 联调联试是高速铁路开通前验证车地协同功能的关键环节,但实际测试中常因地面人员操作失误、车载设备差异、测试与设计误差等问题导致产生一些不必要的测试问题,从而影响整个工程的开通。结合在联调联试工作中遇到的实际线路动态检测案例,从地面操作配合、设备性能、规范理解等方面分析一些在测试中常见问题的成因,提出在测试前就通过既有设备使用和现场测试经验预判可能出现的问题,旨在通过优化操作流程、详细了解设备的性能及加深规范理解等手段,减少联调联试中问题产生,提升测试效率。 展开更多
关键词 高铁信号系统 联调联试 典型案例 优化策略
在线阅读 下载PDF
数字线程中需求与架构模型协同设计与一致性分析方法研究
13
作者 郭朕凯 郭姣姣 姜海波 《空天防御》 2025年第2期125-135,共11页
复杂航天器装备系统的数字化设计,较多地采用数字线程技术设计和开发复杂装备的需求模型(基于顶层运行场景和条目化需求设计)和架构模型(基于SysML语言进行时序图和状态机图模型设计)。在数字线程开发技术中,本文提出使用需求追溯技术... 复杂航天器装备系统的数字化设计,较多地采用数字线程技术设计和开发复杂装备的需求模型(基于顶层运行场景和条目化需求设计)和架构模型(基于SysML语言进行时序图和状态机图模型设计)。在数字线程开发技术中,本文提出使用需求追溯技术实现需求模型和架构模型协同设计,使用形式化检查和测试用例自动生成方法进行需求模型和架构模型一致性分析;同时,给出了模型一致性分析验证的实现流程。 展开更多
关键词 数字工程 数字线程 基于模型的系统设计 需求模型 架构模型 SYSML 测试用例自动生成
在线阅读 下载PDF
基于UML顺序图测试用例的生成 被引量:7
14
作者 李建军 朱敏 +1 位作者 刘晓娟 邵培南 《计算机工程》 CAS CSCD 北大核心 2008年第21期73-75,共3页
在分析UML模型可测试性的基础上,提出一种基于UML顺序图模型生成分布式系统测试用例方法,以系统软件配置项为对象对分布式应用典型场景进行模拟,通过解析MDL文件给出对顺序图XML的建模方案,实现一个自动生成分布式系统测试用例工具。实... 在分析UML模型可测试性的基础上,提出一种基于UML顺序图模型生成分布式系统测试用例方法,以系统软件配置项为对象对分布式应用典型场景进行模拟,通过解析MDL文件给出对顺序图XML的建模方案,实现一个自动生成分布式系统测试用例工具。实验结果表明,生成的测试用例达到判定覆盖的标准,具有良好的应用前景。 展开更多
关键词 分布式系统 测试用例生成 UML顺序图 XML建模
在线阅读 下载PDF
基于切片技术获取系统测试用例的方法 被引量:4
15
作者 罗文劼 周伯生 +1 位作者 王慧 朱令娴 《计算机工程》 CAS CSCD 北大核心 2008年第13期13-15,18,共4页
针对如何获取局部和全部的系统测试用例,确保其正确性和完备性以及与需求的一致性问题,提出利用先进的建模技术,建立可模拟验证的过程模型,并应用切片技术获取测试用例,并利用基于过程模型结构分析的归纳法证明了该法的正确性,根据过程... 针对如何获取局部和全部的系统测试用例,确保其正确性和完备性以及与需求的一致性问题,提出利用先进的建模技术,建立可模拟验证的过程模型,并应用切片技术获取测试用例,并利用基于过程模型结构分析的归纳法证明了该法的正确性,根据过程模型切片准则获取系统测试用例的算法,介绍了实现工具的构成和应用实例。 展开更多
关键词 过程模型 系统测试用例 过程模型切片
在线阅读 下载PDF
基于模型的进路建立过程测试用例自动生成 被引量:10
16
作者 谢林 杨扬 《铁道标准设计》 北大核心 2017年第2期109-116,共8页
为了生成进路建立过程完备的测试案例,分析设备故障和人环因素的影响并结合对应的逻辑过程,建立了进路建立过程的状态机模型,并对模型解析得到状态与边的关系,将状态和边的关系抽象成图论中边和节点的关系进行存储。通过讨论3种覆盖准... 为了生成进路建立过程完备的测试案例,分析设备故障和人环因素的影响并结合对应的逻辑过程,建立了进路建立过程的状态机模型,并对模型解析得到状态与边的关系,将状态和边的关系抽象成图论中边和节点的关系进行存储。通过讨论3种覆盖准则的优劣,设计深度优先搜索算法遍历模型,得到抽象测试案例,采用Java反射机制对抽象案例进行反推,结果生成8种类型的测试片段,每种类型的片段进行组合生成所有的测试案例。最后分析进路正常建立所需的输入案例和引入的故障案例对建立过程的影响。 展开更多
关键词 铁路信号 联锁系统 测试案例 状态机 图论 反射机制
在线阅读 下载PDF
数据库系统测试中测试用例的自动规范方法 被引量:2
17
作者 曾明 洪玫 +2 位作者 王卓 尹洪 冷江 《计算机工程与设计》 CSCD 北大核心 2009年第15期3577-3580,共4页
数据库系统测试用例格式不规范,影响了测试用例的重用。为了解决这一问题,对依据数据库系统测试的特点进行了研究。提出了一个简单的测试用例格式规范,以及能自动规范已有测试用例的算法——用例行为跟踪算法。实现对数据库系统现有测... 数据库系统测试用例格式不规范,影响了测试用例的重用。为了解决这一问题,对依据数据库系统测试的特点进行了研究。提出了一个简单的测试用例格式规范,以及能自动规范已有测试用例的算法——用例行为跟踪算法。实现对数据库系统现有测试用例的自动规范,为进一步的测试用例自动生成研究奠定了基础。最后以MySQL的测试框架为实例,验证该算法的可行性。 展开更多
关键词 软件自动化测试 数据库系统测试 测试用例规范 数据库状态 测试用例自动生成
在线阅读 下载PDF
模型驱动的自动化测试架构 被引量:7
18
作者 周景才 杨家红 陈毅波 《计算机工程与应用》 CSCD 北大核心 2010年第2期66-68,131,共4页
如何在确保软件质量的前提下有效缩短上市周期的问题日益显得重要。在实际工作中基于MDT的思路研究出了一种基于模型驱动的自动化测试架构。该架构通过算法直接将UML系统设计模型转换成U2TP测试设计模型,然后由测试设计模型根据测试策... 如何在确保软件质量的前提下有效缩短上市周期的问题日益显得重要。在实际工作中基于MDT的思路研究出了一种基于模型驱动的自动化测试架构。该架构通过算法直接将UML系统设计模型转换成U2TP测试设计模型,然后由测试设计模型根据测试策略和测试工程方法自动生成测试用例,实现了测试资源重利用和测试活动的前移从而有效缩短了测试周期。 展开更多
关键词 统一建模语言 基于模型驱动测试 被测系统 测试用例 测试逻辑 系统设计模型 测试设计模型
在线阅读 下载PDF
场景法在系统测试用例设计中的应用 被引量:8
19
作者 盛晓娟 贾丽娟 姬鹏超 《计算机工程与设计》 北大核心 2016年第7期1798-1804,共7页
将场景法运用于临时限速服务器(temporary speed restriction server,TSRS)系统测试中,通过对TSRS系统限速命令的设置和取消流程进行场景划分,绘制出基于数据配置的背景图确定限速命令类型,通过对用例个数进行优化,设计出测试用例。质... 将场景法运用于临时限速服务器(temporary speed restriction server,TSRS)系统测试中,通过对TSRS系统限速命令的设置和取消流程进行场景划分,绘制出基于数据配置的背景图确定限速命令类型,通过对用例个数进行优化,设计出测试用例。质量审计及认证审查结果表明,使用该方法设计的用例保证了测试的充分性和有效性。验证的测试用例设计方法已在其它产品的系统测试中得以推广和应用,提高了系统测试的效率和效果,为保证软件产品质量发挥了作用。 展开更多
关键词 场景法 背景图 临时限速服务器 系统测试 用例设计
在线阅读 下载PDF
基于过程与场景分析的航天应用软件测试方法 被引量:7
20
作者 张卫祥 张敏 +2 位作者 窦朝晖 马贤颖 魏波 《测控技术》 2020年第1期30-35,共6页
航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,... 航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析。验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性。 展开更多
关键词 系统测试 测试用例生成 形式化模型 场景分析 软件测试
在线阅读 下载PDF
上一页 1 2 12 下一页 到第
使用帮助 返回顶部