- 授权协议: 免费，非开源
- 开发语言: C/C++
- 操作系统: Windows
- 软件首页: http://msdn.microsoft.com/en-us/devlabs/ee692301.aspx
- 软件文档: http://msdn.microsoft.com/zh-cn/library/ee620411(en-us).aspx
软件介绍
Spec Explorer是微软研究院研发的一款基于模型的测试工具（非开源）。可以自动探索规格说明（即Specification，简称Spec）的所有潜在行为，并将其行为模型表示为状态机。由于状态机工具常常会引起状态信息爆炸的问题，所以Spec Explorer附带了一个名为Cord的语言对这些信息进行过滤整理，以得到最需要的部分。之前它已经作为内部工具在微软内部大量使用，现在Spec Explorer团队公开发布了Spec Explorer 2010——一个可以和Visual Studio紧密集成的工具：用户可以通过Spec Explorer对一个软件系统的期望行为进行建模，并自动生成能够在Visual Studio的测试框架下运行的测试代码。
Spec Explorer分别提供了Visual Studio 2008和Visual Studio 2010的版本，同时也提供了详细的文档供大家学习使用
Linux C编程一站式学习
宋劲杉 / 电子工业出版社 / 2009-12 / 60.00元
本书有两条线索，一条线索是以Linux平台为载体全面深入地介绍C语言的语法和程序的工作原理，另一条线索是介绍程序设计的基本思想和开发调试方法。本书分为两部分：第一部分讲解编程语言和程序设计的基本思想方法，让读者从概念上认识C语言；第二部分结合操作系统和体系结构的知识讲解程序的工作原理，让读者从本质上认识C语言。. 本书适合做零基础的初学者学习C语言的第一本教材，帮助读者打下牢固的基础。有一定......一起来看看 《Linux C编程一站式学习》 这本书的介绍吧!
