面向联锁功能测试的模型转换方法

1

作者 叶晨雨 梁志国 +2 位作者 张宏扬 齐志华 王海峰 《铁道学报》 北大核心 2025年第11期127-135,共9页

基于模型的测试是保障计算机联锁系统质量的自动化测试手段。为解决基于模型的测试中形式化建模的问题,提出一种基于模型转换间接构建联锁测试模型的方法。采用直观易理解的统一建模语言(UML)序列图对进路处理功能建模,描述联锁软件子... 基于模型的测试是保障计算机联锁系统质量的自动化测试手段。为解决基于模型的测试中形式化建模的问题,提出一种基于模型转换间接构建联锁测试模型的方法。采用直观易理解的统一建模语言(UML)序列图对进路处理功能建模,描述联锁软件子模块之间的交互以及联锁条件的执行顺序;采用ATLAS转换语言将UML序列图转换为分层时间自动机,得到形式化的联锁功能模型;将分层时间自动机导入UPPAAL工具生成测试用例。研究结果表明,该方法具备通用性,可以实现多个联锁功能模型的自动化转换,生成有效的联锁测试用例,且测试用例覆盖了UML序列图的所有场景。 展开更多

关键词 模型转换 计算机联锁 基于模型的测试 UML序列图 自动机

在线阅读 下载PDF 职称材料

测试自动机的测试驱动器设计与实现技术 被引量：5

2

作者 易国洪 卢炎生 +1 位作者 谢晓东 江胜 《计算机工程》 CAS CSCD 北大核心 2004年第23期181-183,共3页

介绍了测试自动机的测试驱动器设计与实现技术,给出了测试驱动器接口的测试用例、测试输出的形式化定义,提出了一种通用的“客户/服务”测试驱动模型及其实现技术。

关键词 自动机 实现技术 测试用例 驱动器 驱动模型 接口 通用 输出

在线阅读 下载PDF 职称材料

离散事件系统最小故障诊断基的求解与应用 被引量：2

3

作者 刘富春 曹越 +2 位作者 赵锐 邓秀勤 崔洪刚 《信息与控制》 CSCD 北大核心 2020年第5期521-526,535,共7页

针对离散事件系统(DESs)的最小故障故障诊断基(MDB)求解问题,提出了一种基于事件集树的求解算法.首先在诊断器的基础上构建了一种新型测试自动机,并求得离散事件系统可诊断性的充分必要条件,实现了对D ESs的故障诊断.在此基础上,提出了... 针对离散事件系统(DESs)的最小故障故障诊断基(MDB)求解问题,提出了一种基于事件集树的求解算法.首先在诊断器的基础上构建了一种新型测试自动机,并求得离散事件系统可诊断性的充分必要条件,实现了对D ESs的故障诊断.在此基础上,提出了通过构造事件集树求解离散事件系统MDB的算法,并对算法的复杂度进行了分析.最后,通过网络系统中关键网路的选取实例对算法进行了分析.与现有算法相比,所提算法不仅复杂度更低,而且可用于在线诊断和离线诊断,适用性更广. 展开更多

关键词 离散事件系统 故障诊断 最小故障诊断基 测试自动机

原文传递

基于DNA有穷自动机的素性测试法 被引量：1

4

作者 杨学庆 柳重堪 《通信学报》 EI CSCD 北大核心 2006年第10期80-85,共6页

有穷自动机,一种计算能力极其有限的计算模型,具有解决素性测试的能力通过构造法得到了证明。既而提出了一种基于有穷自动机的测试一个整数是否为素数的DNA算法,并且详细描述了该有穷自动机的构造方法,将有穷自动机的状态用DNA单链分子... 有穷自动机,一种计算能力极其有限的计算模型,具有解决素性测试的能力通过构造法得到了证明。既而提出了一种基于有穷自动机的测试一个整数是否为素数的DNA算法,并且详细描述了该有穷自动机的构造方法,将有穷自动机的状态用DNA单链分子来编码,而输入则用DNA双链分子编码,用带环的双链DNA分子来编码状态转移规则,通过限制性内切酶的切割实现状态的转移。该算法的创新之处在于它是基于有穷自动机这种计算能力极其有限的计算模型的,并且该算法不仅能判断一个整数是否是素数,还能用于素因子分解。该算法的优点是实验实现容易,所需的时间是输入的多项式函数而不是指数函数。 展开更多

关键词 DNA计算 有穷自动机 素性测试法 RSA公钥密码体制

在线阅读 下载PDF 职称材料

基于时序规范的测试预言自动生成技术评述 被引量：1

5

作者 王馨 王戟 齐治昌 《计算机工程与科学》 CSCD 2006年第7期127-130,133,共5页

测试预言是一种检验待测系统在特定执行下是否正确运行的方法,是软件测试过程中必不可少的阶段,也是软件测试研究的薄弱环节。针对反应式实时系统,我们使用时序规范来描述系统性质。本文详细阐述了基于时序规范的测试预言自动生成技术... 测试预言是一种检验待测系统在特定执行下是否正确运行的方法,是软件测试过程中必不可少的阶段,也是软件测试研究的薄弱环节。针对反应式实时系统,我们使用时序规范来描述系统性质。本文详细阐述了基于时序规范的测试预言自动生成技术的研究现状,并按预言生成的理论基础将预言生成方法分为四类进行介绍。最后,并分析了基于时序规范的测试预言生成面临的困难。 展开更多

关键词 测试预言 时序规范 时序逻辑 自动机

在线阅读 下载PDF 职称材料

论有穷状态验证方法的局限性

6

作者 葛玮 龚晓庆 郝克刚 《计算机科学》 CSCD 北大核心 2007年第2期280-283,共4页

程序有穷状态验证方法是介于程序验证和程序测试之间的一种方法,一方面它如同程序验证一样可以证明某程序具有某些要求的性质,或找出反例证明该程序不具有所要求的性质。另一方面它又不像程序验证那样复杂,要求验证人员具有较高的形式... 程序有穷状态验证方法是介于程序验证和程序测试之间的一种方法,一方面它如同程序验证一样可以证明某程序具有某些要求的性质,或找出反例证明该程序不具有所要求的性质。另一方面它又不像程序验证那样复杂,要求验证人员具有较高的形式化推理的专业理论和数学水平。但是,现有的有穷状态验证方法有很大的局限性,它要求所论证的性质是有穷自动机所接受的事件序列的集合,或等价地说该性质能表示成为正则表达式。众所周知,有穷自动机所能接受的语言类,按Chomsky字的集合的分类是很小的类。本文讨论了这种局限性,并尝试突破只能使用有穷自动机的限制,提出了一种新的验证方法——有穷路径验证法。在这种方法中,所论证的性质表示可以推广到使用任何一类自动机。作为代价,描写系统的模型限制是无环的。对于有环的描写系统的模型,本文提出了一种称之为“有穷路径测试”的方法。同一般的程序测试一样,用这种方法通过测试不能正面地验证程序的正确性,可是如果通不过测试,则能帮你发现反例,找出程序的错误。与一般的程序测试不同的是这里的测试是相对于模型的路径,而不执行实际的程序。 展开更多

关键词 程序验证 程序测试 有穷自动机 有穷状态验证 有穷路径验证

在线阅读 下载PDF 职称材料

时间Petri网与CAGA算法相结合的并行测试研究

7

作者 葛云生 汤泓 +1 位作者 乐晓波 潘小海 《计算机应用与软件》 CSCD 北大核心 2014年第11期100-104,共5页

在并行测试的研究中对于任务的测试次序一直是个研究重点及难题。用时间Petri网建立关于并行测试系统的模型,并首次用元胞遗传算法(CAGA)对模型中的变迁序列进行搜索,快速得到最好的测试序列。通过仿真结果表明,该算法展示了很好的收敛... 在并行测试的研究中对于任务的测试次序一直是个研究重点及难题。用时间Petri网建立关于并行测试系统的模型,并首次用元胞遗传算法(CAGA)对模型中的变迁序列进行搜索,快速得到最好的测试序列。通过仿真结果表明,该算法展示了很好的收敛效果,并且与已有的研究成果相比更具优势。 展开更多

关键词 并行测试 时间PETRI网 变迁序列 元胞遗传算法

在线阅读 下载PDF 职称材料

基于场景的车载设备测试用例自动生成方法研究 被引量：3

8

作者 赵伟慧 吕继东 +2 位作者 袁磊 唐涛 李辰岭 《计算机应用与软件》 CSCD 2015年第3期65-68,共4页

列控车载子系统是确保列车的安全运行的关键设备,对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷,提出一种基于场景的车载系统测试用例自动... 列控车载子系统是确保列车的安全运行的关键设备,对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷,提出一种基于场景的车载系统测试用例自动生成方法,依据CTCS-3级列控系统技术规范构造车载子系统场景树模型,由实时系统测试用例自动生成工具Co Ver对列车运行模式转换自动机网模型生成基于场景的测试用例,并由运行模式最小重复度选择算法生成全模式覆盖的测试序列。结论证明,基于场景自动生成的测试用例能够覆盖全部车载模式,并提高了模式转换测试序列生成效率。 展开更多

关键词 车载系统 运营场景 模式转换 测试用例 观测自动机

在线阅读 下载PDF 职称材料

基于模型的车载设备测试用例自动生成研究 被引量：2

9

作者 易承龙 李开成 周晶晶 《西华大学学报（自然科学版）》 CAS 2014年第2期58-62,共5页

针对人工生成测试序列的不足,提出基于模型的车载设备测试用例自动生成方法。首先按照系统需求规范,在UPPAAL环境下运用时间自动机对车载设备进行建模及验证,然后将建立的模型导入到基于覆盖度算法的模型辅助工具Cover中自动生成测试用... 针对人工生成测试序列的不足,提出基于模型的车载设备测试用例自动生成方法。首先按照系统需求规范,在UPPAAL环境下运用时间自动机对车载设备进行建模及验证,然后将建立的模型导入到基于覆盖度算法的模型辅助工具Cover中自动生成测试用例,最后分析了自动生成的测试用例的正确性。 展开更多

关键词 车载设备 测试 测试用例 时间自动机

在线阅读 下载PDF 职称材料

对时间输入/输出自动机一致性测试的改进 被引量：2

10

作者 赵冬 叶克江 《郑州大学学报（理学版）》 CAS 2002年第4期30-33,共4页

Jan.S等提出了对时间输入 /输出自动机 (TIOA)模型进行黑盒一致性测试的算法 .针对其生成的测试序列数量太大这一问题 ,提出用可最小化的时间自动机 (MTA)模型来描述稠密的实际系统 ,并用递归算法实现了对测试序列的首部即转换覆盖 P的... Jan.S等提出了对时间输入 /输出自动机 (TIOA)模型进行黑盒一致性测试的算法 .针对其生成的测试序列数量太大这一问题 ,提出用可最小化的时间自动机 (MTA)模型来描述稠密的实际系统 ,并用递归算法实现了对测试序列的首部即转换覆盖 P的构造 .由分析得出结论 :使用 MTA模型可使上述测试算法生成的测试序列的数量大大减少 。 展开更多

关键词 时间输入/输出自动机 一致性测试 双向模型 可最小化时间自动机 状态空间最小化 测试序列 MAT模型

在线阅读 下载PDF 职称材料

有界偏序自动机的同步算法

11

作者 王志喜 蒋贵德 《计算机科学》 CSCD 北大核心 2023年第S01期831-835,共5页

同步自动机是有同步字的自动机,它们在系统测试、编码、工业自动化、机器人技术及生物计算等领域有着广泛应用。有界偏序自动机是状态集具有与所有输入字母都相容的有界偏序的自动机。文中给出了同步有界偏序自动机的一些重要特征,并据... 同步自动机是有同步字的自动机,它们在系统测试、编码、工业自动化、机器人技术及生物计算等领域有着广泛应用。有界偏序自动机是状态集具有与所有输入字母都相容的有界偏序的自动机。文中给出了同步有界偏序自动机的一些重要特征,并据此设计了有界偏序自动机的同步性检测算法、同步字查找算法和最短同步字查找算法,确定了全体n-状态同步自动机的最短同步字长度的上确界。这些工作在有界偏序自动机的范围内解决了同步自动机研究的主要问题。 展开更多

关键词 同步自动机 有界偏序自动机 同步性检测算法 同步字查找算法 最短同步字查找算法

在线阅读 下载PDF 职称材料