InfoQ

新闻

文章：采访与书摘——“使用C#进行基于模型的软件测试和分析”

作者 James Vastbinder译者 张逸 发布于 2008年3月13日 上午2时10分

社区
.NET,
Architecture
主题
.NET框架,
软件测试,
代码分析
标签
C#,
测试,
图书

InfoQ有幸对《Model Based Software Testing and Analysis with C#》一书的四位作者Jonathan Jacky, Margus Veanes, Colin Campbell和Wolfram Schulte进行了一次采访，回答了我们收集的相关问题。他们的著作最近由剑桥大学出版社出版，同时，出版社为InfoQ提供了第1章“描述、分析、测试”的试读。

我们希望通过详尽而实用的方式为基于模型的测试提供最新的信息，基于模型的测试方法在微软内部已经成功地得到了应用。我们同时也希望为教育界人士提供这方面的资源，使得他们可以在课堂上讲授基于模型的测试方法，因为我们相信本书所能起到的推广作用还远远不够。使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。

本书使得这一思想能够为广泛的读者群所接受。

若要了解更多内容可以阅读本文，同时可以获取InfoQ提供的样章。

查看全文：采访与书摘：“使用C#进行基于模型的软件测试和分析”

查看原文：Interview and Book Excerpt: Model Based Software Testing and Analysis with C#

相关赞助商

InfoQ中文站.NET社区，关注.NET和微软的其他企业开发解决方案，通过新闻、文章、视频访谈和演讲以及迷你书等为中国.NET社区提供一流资讯。

没有回复

回复

独家内容

利用Ruby简化你的Java测试

本文是Productive Java with Ruby系列文章的第一篇，我将从单元测试这个话题开始，让Java的开发人员能够在实际工作中利用Ruby提高工作效率。

与赵进聊SaaS

InfoQ中文站有幸与阿里软件的首席架构师赵进在一起探讨了SaaS的相关话题，包括SOA和ASP与SaaS的异同、云计算、SaaS的前景、它的关键技术、技术瓶颈等等。

在ESB中选择路由还是编配？

在这篇文章中，Adrien Louis和Marc Dutoo在一个典型的ESB场景中讨论了编配和路由的区别和优缺点。他们讨论了几种连接服务的方法，从使用如自定义路由这样的低级别方法，到使用如工作流和编配这样面向业务的高级别方式，并总结说不存在“一边倒”的解决方案。

分布式系统中的一致性和可用性

本文是根据7月26日InfoQ中文站在杭州举行的QClub活动（第三期）后半程小组讨论总结而成。主要内容包括如何在SOA系统中实现服务编排，如何保证分布式系统中的一致性和可用性，以及如何在实施SOA的过程中控制接口的粒度等。

虚拟化导论

人们很容易想当然的以为虚拟化技术仅仅应用于服务器。而在现实中，虚拟化这一苏醒的概念正被运用于各个层面，其中包括网络，存储以及应用基础架构。在这篇导论中，InfoQ将深入每个方面，详尽向您描述虚拟化技术的运用以及其优点与不足。

用户故事估算技巧

作为开发者，同时也是ThoughtWorks的咨询师，Jay Fields总结了自己估算用户故事的有效技巧。

InfoQ案例研究：纳斯达克市场回放

在这篇案例研究中，InfoQ对Adobe AIR和Amazon的简单存储服务(Simple Storage Service ,S3)在NASDAQ市场回放程序(NASDAQ Market Replay)中的应用进行了详细的分析。

Hadoop基本流程与应用开发

本文介绍了Hadoop的基本流程、业务场景、代码范例以及集成测试。本文是《分布式计算开源框架Hadoop入门实践》三部曲的最后一部。