首页> 外文会议>International symposium on formal aspects of component software >Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development

【24h】

Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development

机译：使用行为规范对黑匣子组件进行运行时验证：工具开发经验报告

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We introduce a generic component-based design of a runtime checker, identify its components and their requirements, and evaluate existing state of the art tools instantiating each component.

机译：我们介绍了运行时检查程序的基于组件的通用设计，确定其组件及其要求，并评估实例化每个组件的现有技术水平。

著录项

来源
《International symposium on formal aspects of component software 》|2013年|128-133|共6页
会议地点
作者
Frank S. de Boer; Stijn de Gouw;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Performance regression testing and run-time verification of components in robotics systems [J] . Wienke J., Wrede S. Advanced Robotics: The International Journal of the Robotics Society of Japan . 2017 ,第21a22期

机译：机器人系统中组件的性能回归测试和运行时验证
2. Development of the Contentment with Life Assessment Scale (CLAS): Using Daily Life Experiences to Verify Levels of Self-Reported Life Satisfaction [J] . Loraine F. Lavallee, P. Maurine Hatch, Alex C. Michalos, Social Indicators Research . 2007 ,第2期

机译：生活评估量表（CLAS）的满足感的发展：使用日常生活经验来验证自我报告的生活满意度水平
3. Improved error reporting for software that uses black-box components [J] . Jungwoo Ha, Christopher J. Rossbach, Jason V. Davis, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2007 ,第6期

机译：改进了使用黑盒组件的软件的错误报告
4. Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development [C] . Frank S. de Boer, Stijn de Gouw FACS 2012 . 2013

机译：使用行为规格的黑盒组件运行时验证：有关工具开发的经验报告
5. Adaptive component paradigm for component specification based on behavioral model and design patterns [D] . Zewdie, Berhane 2008

机译：基于行为模型和设计模式的组件规格自适应组件范例
6. Development of the great recess framework – observational tool to measure contextual and behavioral components of elementary school recess [O] . William V. Massey, Megan B. Stellino, Sean P. Mullen, 2018

机译：大休假框架的开发–测量小学休假情境和行为成分的观察工具
7. BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems [O] . Blech, Jan Olaf, Schmidt, Heinz 2014

机译：BespaceD：迈向规范的工具框架和方法分布式软件构件的空间行为分析与验证系统

Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development

摘要

著录项

相似文献

相关主题

期刊订阅