
采访与书摘:“使用C#进行基于模型的软件测试和分析”
最近,InfoQ对出版了《Model Based Software Testing and Analysis with C#》“使用C#进行基于模型的软件测试和分析”一书的四位作者Jonathan Jacky, Margus Veanes, Colin Campbell和Wolfram Schulte进行了采访,他们就基于模型的测试发表了个人观点。同时还要感谢剑桥大学出版社与我们分享了本书的样章摘录。

最近,InfoQ对出版了《Model Based Software Testing and Analysis with C#》“使用C#进行基于模型的软件测试和分析”一书的四位作者Jonathan Jacky, Margus Veanes, Colin Campbell和Wolfram Schulte进行了采访,他们就基于模型的测试发表了个人观点。同时还要感谢剑桥大学出版社与我们分享了本书的样章摘录。
对于TDD的“单元测试”与传统的“单元测试”之间的差异,业界一直存在着误解。知名的XP贡献者Mike Hill,对这些误解进行了澄清,同时使用“微测试(microtesting)”这个词为刚刚使用TDD的开发者们进行了明确的阐述。
RubySpec项目的目标是为Ruby语言建立一个完整的可执行的规范。最近它有了自己的网站。我们还访问了两个参加Google SoC的学生,他们将会帮助改进这些规范。
服务仿真(模仿)——模仿服务行为(甚至在它们实现之前)的能力——使服务消费者的开发人员和测试人员在服务实现之前就能并行工作。服务仿真还为昂贵的参考环境(reference environment)提供了一个轻量级的替代方案。

InfoQ.com最近采访了新一代Java测试:TestNG和高阶理念的作者Hani Suleiman和Cédric Beust,并针对这本书和他们对测试的总体看法进行了讨论。InfoQ很荣幸在这里给大家提供该书第二章的节选,“Mocks和Stubs”。

目前可以用来调试Java应用程序的工具令人叹为观止。现代IDE提供了全功能的调试界面,并且像GlassBox这样的工具用BCI(bytecode instrumentation)提供了关于应用程序运行时状态的更多信息。虽然你有时候会发现自己处于无法使用这些工具的境地,或许应用程序被部署在防火墙的另一端,不允许你远程调试;或许你正在客户那里,没有你喜欢的工具可用。现代调试工具使用的大多数信息和方法都由JVM自己提供,并具有控制这种信息而不用最新图形工具的一些方法。本文关注一些可用的调试方法,它们只使用Java SDK(JDK)自带的那些工具。

构建(Build),自动化(Automate),测试(Test),这个BAT可以帮助你建立一张防护网,确保代码可以如你所愿的继续工作。 Richardson向我们展示了这些步骤如何迅速发现并解决那些没有意识到的副作用。看看它与你日常工作相比的区别是什么,你是否需要用不同的手段处理工作。
持续集成(Continuous Integration,CI)这项基本的XP实践现在已经变成了被广泛使用的开发者最佳实践之一。InfoQ为您提供了“持续集成:改善软件质量并降低风险”一书中的“第六章:持续测试”,在这一章中,作者提出了一些编写优秀测试以保证系统质量的建议和示例。