Testing Concurrent Object-Oriented Systems with Spec Explorer
Testing Concurrent Object-Oriented Systems with Spec Explorer
复制标题
DOI：
10.1007/11526841_38
复制
发表时间：
2005-07
期刊：
影响因子：
--
通讯作者：
C. Campbell;W. Grieskamp;Lev Nachmanson;Wolfram Schulte;N. Tillmann;Margus Veanes
中科院分区：
文献类型：
--
作者：
C. Campbell;W. Grieskamp;Lev Nachmanson;Wolfram Schulte;N. Tillmann;Margus Veanes
我们描述了微软研究院开发的一个实用的基于模型的测试工具，称为Spec Explorer。Spec Explorer支持对并发的面向对象系统进行建模和自动测试。这些系统以自发反应的形式接受输入并提供输出，其中输入和输出可以是任意数据类型，包括对象。微软的几个产品组每天都在使用Spec Explorer。这里介绍的技术用于测试操作系统组件和Web服务基础设施。
We describe a practical model-based testing tool developed at Microsoft Research called Spec Explorer. Spec Explorer enables modeling and automatic testing of concurrent object-oriented systems. These systems take inputs as well as provide outputs in form of spontaneous reactions, where inputs and outputs can be arbitrary data types, including objects. Spec Explorer is being used daily by several Microsoft product groups. The here presented techniques are used to test operating system components and Web service infrastructure.