期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于划分的等价类测试 被引量：8
1
作者 浦云明 陈黎震 《计算机工程与设计》 CSCD 北大核心 2009年第19期4429-4431,共3页
等价类的两个基本因素是健壮性和单/多缺陷假设。依据这两个特性,等价类分为弱一般等价类、强一般等价类、弱健壮等价类和强健壮等价类4种形式。等价类测试的数学基础是等价关系和划分,划分的原则是每个元素仅属于某一类,不同的类之间... 等价类的两个基本因素是健壮性和单/多缺陷假设。依据这两个特性,等价类分为弱一般等价类、强一般等价类、弱健壮等价类和强健壮等价类4种形式。等价类测试的数学基础是等价关系和划分,划分的原则是每个元素仅属于某一类,不同的类之间没有公共元素。常用的输入域等价类划分是将程序的输入域划分为若干子集合,并从每个子集中选择代表性数据设计测试用例,划分保证了等价类测试的完备性和无冗余性。分析了等价类划分设计原则,设计了划分测试实例。 展开更多
关键词 等价关系 等价类 划分 测试用例 可靠性
下载PDF
基于N维复杂业务场景的列车运行监控装置测试方法
2
作者 何宇晖 莫小凡 +1 位作者 郑璟瑜 王佳 《铁道通信信号》 2024年第10期26-31,共6页
目前针对列车运行监控装置(LKJ)的测试普遍采用化整为零的方式,以功能特征作为划分依据,对LKJ业务功能采用等价类划分或边界值分析进行单项测试。但LKJ在运用过程中存在多个业务场景交织的情况,当被测试的业务功能与其他业务功能耦合时... 目前针对列车运行监控装置(LKJ)的测试普遍采用化整为零的方式,以功能特征作为划分依据,对LKJ业务功能采用等价类划分或边界值分析进行单项测试。但LKJ在运用过程中存在多个业务场景交织的情况,当被测试的业务功能与其他业务功能耦合时,测试结果可能会与预期结果不一致。为此根据LKJ业务功能的时间与空间特性,提出一种基于N维复杂业务场景的测试方法。将LKJ业务功能分解得到LKJ单位功能,依据时间法或空间法将LKJ单位功能构建形成复杂场景。通过对LKJ业务功能复杂场景进行测试,更加全面地覆盖LKJ实际运营场景,提高设计开发过程测试的异常发现率,进一步降低LKJ在实际运用中出现非预期行为的概率。 展开更多
关键词 列车运行监控装置 复杂业务场景 时间法 空间法 等价类划分 边界值分析
下载PDF
基于IECP的CTCS-3列控车载TSM曲线完备性测试用例集生成方法研究 被引量：3
3
作者 郑伟 唐涛 +1 位作者 吕继东 魏国栋 《铁道学报》 EI CAS CSCD 北大核心 2020年第5期72-83,共12页
作为CTCS-3级列控系统的核心安全功能,速度-距离模式曲线具有参数输入域规模大、故障模式复杂等特点,如何完备地测试列控车载设备速度-距离监控曲线功能异常困难。提出了一种基于输入等价类划分测试理论的CTCS-3级列控车载目标速度监控... 作为CTCS-3级列控系统的核心安全功能,速度-距离模式曲线具有参数输入域规模大、故障模式复杂等特点,如何完备地测试列控车载设备速度-距离监控曲线功能异常困难。提出了一种基于输入等价类划分测试理论的CTCS-3级列控车载目标速度监控曲线完备性测试用例生成方法。首先,结合CTCS-3级列控系统需求规范,建立了满足司机制动优先和设备制动优先两种不同制动优先级情况下的TSM有限状态机模型,并利用反应式状态迁移系统的形式化语义,描述了不同输入情况下模型的内部状态迁移过程。其次,利用I/O等价原理和等价类划分理论,得到了两种不同制动优先情况下的输入等价类划分。在此基础上,通过引入了被测系统的故障模型和故障域范围,采用W-method测试用例集生成方法,在满足模型故障域的条件下,最终得到两种不同制动优先的目标速度监控曲线模型完备测试集。设备制动优先情况生成的测试用例数量高于司机制动优先约33.3%,且所需测试时间和内存消耗更多。 展开更多
关键词 CTCS-3列控车载 目标速度监控 输入等价类划分 完备性 测试用例
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部