mcdure的博客

第1章 搭建开发环境 第2章 HTML 第3章 JavaScript 第4章 JSP 第5章 Servlet 第6章 数据库 第7章 JDBC 第8章 JavaBean 第9章 Ajax 第10章 Struts 第11章 Hibernate 第12章 Spring 第13章 淘宝商城 第14章 文件传输系统

C语言的基础知识，详细。第1章-C语言概述；第2章-基本数据类型。。。第7章-数组

C++ Test指导书 C++Test是一个C/C++单元测试工具，自动测试任何C/C++类、函数或部件，而不需要您编写一个测试用例、测试驱动程序或桩调用。

NuSMV is a re-implementation and extension of SMV, the first model checker based on BDDs. It has been designed to be an open architecture for model checking, which can be reliably used for the verification of industrial designs, as a core for custom verification tools, and as a test-bed for formal verification techniques.

　Junit测试是程序员测试，即所谓白盒测试，因为程序员知道被测试的软件如何（How）完成功能和完成什么样（What）的功能。 　　Junit本质上是一套框架，即开发者制定了一套条条框框，遵循这此条条框框要求编写测试代码，如继承某个类，实现某个接口，就可以用Junit进行自动测试了。

DPLL算法解决CNF可满足性 合取范式（CNF）可满足性算法PPT