论文部分内容阅读
《软件开发的形式化方法》课程内容抽象且缺少简单、易懂的软件开发的形式化方法的实例．为了提高学生的学习兴趣，增强学生对软件开发的形式化方法的感性认识，从而达到掌握软件开发的形式化方法的目的，该文以软件测试的形式化方法为例，探讨了基于有限状态机的软件测试原理，开发了非确定有限状态机测试用例生成工具，并通过C程序测试例子说明基于有限状态机的程序测试方法．