首页 > 《装甲兵工程学院学报》 > 1996年1期 > 基于全局时态逻辑(GTL)的验证和测试生成研究

基于全局时态逻辑(GTL)的验证和测试生成研究

在线阅读下载PDF 导出详情

摘要基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（GlobalTemporalLogic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。

DOI o3j78pngd1/160629

作者何新华;吕昌龄

机构地区不详

出处《装甲兵工程学院学报》 1996年1期

关键词时态逻辑验证测试生成故障

分类 [军事][军事理论]

出版日期 1996年01月11日（中国期刊网平台首次上网日期，不代表论文的发表时间）

相关文献

1潘江杰,张景景. 基于AFDX测试软件开发及验证研究.建筑技术科学,2023-10.
2马元驹;潘迪. 基于服务主导逻辑的成本结构分析及验证.会计学,2018-06.
3霍峰,薛一哲 ,柴睿鸽. 基于模型驱动的IMA软件自动测试与验证技术研究.,2022-09.
4刘捷. 基于无线路由器的VPN测试环境搭建与测试方法验证.电力系统及自动化,2018-12.
5张保国. 基于蜕变测试理论和全对偶测试理论的测试方法研究.建筑技术科学,2022-09.
6于明亮;韩景倜;林坚洪;刘建国. 基于局域交互和全局广播的创新传播模型研究.系统科学,2016-04.
7崔丽娜. 文化自信的生成逻辑.政治学,2018-02.
8张茜马凡王一萱. FPGA软件验证及测试.产业经济,2019-07.
9何新华;宫云战;潘哲华. 基于状态变换的同步时序电路测试生成.军事理论,1996-01.
10李鑫. 基于形态学的测试仿真图像生成技术.光学工程,2008-04.

来源期刊

装甲兵工程学院学报

装甲兵工程学院学报

相关推荐

同分类资源更多

相关关键词

时态逻辑验证测试生成故障

返回顶部