Welcome to MSDN Blogs Sign in | Join | Help

November 2009 - Posts

Spec Explorer是微软发布的一款与Visual Studio紧密整合的基于模型测试的工具。用户可以通过Spec Explorer对一个软件系统的期望行为进行建模,并自动生成能够在Visual Studio的测试框架下运行的测试代码。模型可以用当前主流的程序设计语言C#开发,然后通过Cord语言脚本对模型进行配置和裁剪。 我们用Spec Explorer这个名字是因为该工具可以自动探索规格说明(即Specification,简称Spec)的所有潜在行为,并将其行为模型表示为状态机。一次探索的输出有可能非常巨大,所以Spec Read More...
2009跃动越精彩微软中国研发集团(CRD)上海运动会在啦啦队热情洋溢地开场舞中“火辣辣”地拉开序幕。我们的美女工程师啦啦队员们一出场,就引爆了现场第一波“high”的高潮。 接下来是我们的 Walter Wong为本次运动会致开幕词。那天下午的阳光很灿烂,而我们的Wong总笑得比阳光更灿烂哈! 本次运动会是在紫竹办公室附近的华师大体育场馆内举行,应该算是微软服务器与开发工具事业部中国团队(STB China)的主场了,那就让我们一起看看东道主的选手们发挥得如何吧! 首先进行的是4*100接力跑。赛场上选手们奋力前冲的状态是否让你想起羽泉的那首《奔跑》?“随风奔跑自由是方向,随风飞翔有梦作翅膀。。。” Read More...
冲突是微软开发工作时的常态,每个微软新产品的孕育过程概莫能外地充斥着质疑、抗争、苦闷、忐忑……理念的交击、智慧的冲撞让软件开发的各个阶段都弥漫着硝烟,直至产品发布,然后又要迈入下一个循环。对于微软工程师们来说,这样的经历就仿佛是一次次痛苦但不乏惊喜的涅槃。 这篇博客记录了微软Windows Server 2008 R2*中国团队的一些真实经历与感悟,例如“暗藏杀机”的季度性产品评审会议;微软工程师如何“向用户学习”;软件开发过程中只有对错、没有“权威”…… *Windows Server 2008 Read More...
 
Page view tracker