基于MFC的SPIN控件的扩展类

界面控件的使用,界面内各控件值的传递,配置文件的应用,程序直接能跑,各方面都比较完善,对初学者应该帮助很大

MFC树形控件的使用演示，整个工程源代码，加上演示的可执行文件

MFC教程_ MFC下的文件类,一个不错的教程

基于spin的测试ARINC653工具，改工具提供了部分apex接口的测试用例

针对科学实验载荷使用的Linux操作系统,对其测试方法等做了研究总结。模型检测作为一种全自动运行的形式化验证手段,在其适用领域对发现系统逻辑错误意义重大。针对操作系统测试需要,对Linux管道通信进行

信息化社会中人们对软件可信性的要求越来越高,传统的测试技术已经不能充分保证系统的安全性,基于模型的形式化验证技术成为解决此类问题的重要途径。SPIN作为典型的模型检测工具,在学术界和工业界都得到了广泛

本应用为实验实践程序,使用MFC开发的链表程序,便于学生学习链表

UltimateToolbox,V9.3 MFC 扩展控件源代码...................................................................

里面包含了关于CButton类的开源控件类的一些包,包括CButtonST CQuluButton CSXButton,实现改变按钮控件的颜色,加载图片,等功能的实现,是个非常不错的东东。

基于MFC的对话框应用程序，简单的控件的使用，实现一个简单的计算器的功能。