首页> 外文OA文献 >Specification-based Test Generation and Optimization Using Model Checking *

【2h】

Specification-based Test Generation and Optimization Using Model Checking *

机译：使用模型检查的基于规范的测试生成和优化*

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Hongwei Zeng; Huaikou Miao; Jing Liu;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Automatic test case generation from Simulink/Stateflow models using model checking [J] . Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar§, Software Testing, Verification and Reliability . 2014,第2期

机译：使用模型检查从Simulink / Stateflow模型自动生成测试用例
2. A unified framework for evaluating test criteria in model-checking-assisted test case generation [J] . Bolong Zeng, Li Tan Information systems frontiers . 2014,第5期

机译：在模型检查辅助的测试案例生成中评估测试标准的统一框架
3. Towards Model based Generation of Self - Priming and Self - Checking Conformance Tests for Implementing Atomic Read/Write Shared Memory in Mobile Ad hoc Networks [J] . Fatma.A. Omara, Reham.A.Shihata International journal of computer science and network security . 2010,第4期

机译：在移动Ad hoc网络中实现原子读/写共享内存的基于模型的自启动和自检查一致性测试的产生。
4. Specification-based Test Generation and Optimization Using Model Checking [C] . Zeng, Hongwei, Miao, . 2007

机译：使用模型检查的基于规范的测试生成和优化
5. Using model checkers for automatic generation of VHDL test case with improved test coverage. [D] . Sankarasetty, Esa Sragvi. 2012

机译：使用模型检查器自动生成具有改进的测试覆盖范围的VHDL测试用例。
6. Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization [O] . Koichi Kobayashi, Kunihiko Hiraishi -1

机译：使用模型检查和多项式优化的上下文敏感概率布尔网络的验证和最优控制
7. Design of a Test Generation Methodology for ARTIS using Model-Checking with a Generic Modelling Approach [O] . Vernekar Ganesh Kamalakar 2016

机译：使用通用建模方法进行模型检查的ARTIS测试生成方法设计

Specification-based Test Generation and Optimization Using Model Checking *

著录项

引文网络

相似文献

相关主题

期刊订阅