Spec Explorer是微软发布的一款与Visual Studio紧密整合的基于模型测试的工具。用户可以通过Spec Explorer对一个软件系统的期望行为进行建模，并自动生成能够在Visual Studio的测试框架下运行的测试代码。模型可以用当前主流的程序设计语言C#开发，然后通过Cord语言脚本对模型进行配置和裁剪。 我们用Spec Explorer这个名字是因为该工具可以自动探索规格说明（即Specification，简称Spec）的所有潜在行为，并将其行为模型表示为状态机。一次探索的输出有可能非常巨大...

2009跃动越精彩微软中国研发集团(CRD)上海运动会在啦啦队热情洋溢地开场舞中“火辣辣”地拉开序幕。我们的美女工程师啦啦队员们一出场，就引爆了现场第一波“high”的高潮。 接下来是我们的 Walter Wong为本次运动会致开幕词。那天下午的阳光很灿烂，而我们的Wong总笑得比阳光更灿烂哈！ 本次运动会是在紫竹办公室附近的华师大体育场馆内举行，应该算是微软服务器与开发工具事业部中国团队（STB China）的主场了，那就让我们一起看看东道主的选手们发挥得如何吧！ 首先进行的是4...

冲突是微软开发工作时的常态，每个微软新产品的孕育过程概莫能外地充斥着质疑、抗争、苦闷、忐忑……理念的交击、智慧的冲撞让软件开发的各个阶段都弥漫着硝烟，直至产品发布，然后又要迈入下一个循环。对于微软工程师们来说，这样的经历就仿佛是一次次痛苦但不乏惊喜的涅槃。 这篇博客记录了微软Windows Server 2008 R2*中国团队的一些真实经历与感悟，例如“暗藏杀机”的季度性产品评审会议；微软工程师如何“向用户学习”；软件开发过程中只有对错、没有“权威”…… *Windows...