首页> 外文OA文献 >Model Checking Real-time Component Based Systems with Blackbox Testing

【2h】

Model Checking Real-time Component Based Systems with Blackbox Testing

机译：基于黑盒测试的基于实时组件的系统模型检测

页面导航

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

著录项

作者
Dang Van Hung; Bui Vu Anh;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation [J] . Takeshi NAGAOKA, Akihiko ITO, Kozo OKANO, IEICE transactions on information and systems . 2011,第5期

机译：基于概率模型检查技术与仿真混合分析的实时分布式系统QoS分析
2. QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation [J] . Takeshi NAGAOKA, Akihiko ITO, Kozo OKANO, IEICE Transactions on Information and Systems . 2011,第5期

机译：基于概率模型检查技术与仿真混合分析的实时分布式系统QoS分析
3. Towards model-based generation of self-priming and self-checking conformance tests for interactive systems [J] . Amit Paradkar Information and software technology . 2004,第5期

机译：迈向基于模型的交互式系统自启动和自检一致性测试
4. Model checking real-time component based systems with blackbox testing [C] . Dang Van Hung, Bui Vu Anh Embedded and Real-Time Computing Systems and Applications, 2005. Proceedings. 11th IEEE International Conference on . 2005

机译：使用黑盒测试对基于实时组件的系统进行模型检查
5. A model-based testing technique for component-based real-time embedded systems [D] . Guan, Jing. 2015

机译：基于组件的实时嵌入式系统的基于模型的测试技术
6. Seven Novel Probe Systems for Real-Time PCR Provide Absolute Single-Base Discrimination Higher Signaling and Generic Components [O] . James L. Murray, Peixu Hu, David A. Shafer 2014

机译：七个用于实时PCR的新型探针系统可提供绝对的单碱基识别更高的信号传递和通用组件
7. Stochastic Contracts for Runtime Checking of Component-based Real-time Systems [O] . Nandi, Chandrakana, Monot, Aurelien, Oriol, Manuel 2015

机译：基于组件的实时数据运行时检查的随机契约系统
8. Model-Checking of Component-Based Event-Driven Real-Time Embedded Software [R] . Gu, Z. , Shin, K. G. 2005

机译：基于组件的事件驱动的实时嵌入式软件的模型检查

Model Checking Real-time Component Based Systems with Blackbox Testing

著录项

引文网络

相似文献

相关主题

期刊订阅