-
题名测试自动机的测试驱动器设计与实现技术
被引量：5
- 1
-
-
作者
易国洪
卢炎生
谢晓东
江胜
-
机构
华中科技大学计算机科学与技术学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第23期181-183,共3页
-
基金
"十五"国防科技预研项目资助
-
文摘
介绍了测试自动机的测试驱动器设计与实现技术,给出了测试驱动器接口的测试用例、测试输出的形式化定义,提出了一种通用的“客户/服务”测试驱动模型及其实现技术。
-
关键词
自动机
实现技术
测试用例
驱动器
驱动模型
接口
通用
输出
-
Keywords
Software testing
test automaton
test driver
test case
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
TP393
[自动化与计算机技术—计算机科学与技术]
-
-
题名离散事件系统最小故障诊断基的求解与应用
被引量：2
- 2
-
-
作者
刘富春
曹越
赵锐
邓秀勤
崔洪刚
-
机构
广东工业大学计算机学院
广东工业大学应用数学学院
-
出处
《信息与控制》
CSCD
北大核心
2020年第5期521-526,535,共7页
-
基金
国家自然科学基金资助项目(61673122)
广东省自然科学基金资助项目(2019A1515010548)
广东工业大学重大奖项培育项目(2016PY01)
-
文摘
针对离散事件系统(DESs)的最小故障故障诊断基(MDB)求解问题,提出了一种基于事件集树的求解算法.首先在诊断器的基础上构建了一种新型测试自动机,并求得离散事件系统可诊断性的充分必要条件,实现了对D ESs的故障诊断.在此基础上,提出了通过构造事件集树求解离散事件系统MDB的算法,并对算法的复杂度进行了分析.最后,通过网络系统中关键网路的选取实例对算法进行了分析.与现有算法相比,所提算法不仅复杂度更低,而且可用于在线诊断和离线诊断,适用性更广.
-
关键词
离散事件系统
故障诊断
最小故障诊断基
测试自动机
-
Keywords
discrete event systems
fault diagnosis
minimum diagnosis base
test automaton
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
-
-
题名基于场景的车载设备测试用例自动生成方法研究
被引量：3
- 3
-
-
作者
赵伟慧
吕继东
袁磊
唐涛
李辰岭
-
机构
北京交通大学轨道交通控制与安全国家重点实验室
北京交通大学轨道交通运行控制系统国家工程研究中心
-
出处
《计算机应用与软件》
CSCD
2015年第3期65-68,共4页
-
基金
国家高技术研究发展计划项目(2012AA112801)
-
文摘
列控车载子系统是确保列车的安全运行的关键设备,对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷,提出一种基于场景的车载系统测试用例自动生成方法,依据CTCS-3级列控系统技术规范构造车载子系统场景树模型,由实时系统测试用例自动生成工具Co Ver对列车运行模式转换自动机网模型生成基于场景的测试用例,并由运行模式最小重复度选择算法生成全模式覆盖的测试序列。结论证明,基于场景自动生成的测试用例能够覆盖全部车载模式,并提高了模式转换测试序列生成效率。
-
关键词
车载系统
运营场景
模式转换
测试用例
观测自动机
-
Keywords
Onboard subsystem Operation scenario Mode transition test case Observing automaton
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
