摘要
《软件开发的形式化方法》课程内容抽象且缺少简单、易懂的软件开发的形式化方法的实例.为了提高学生的学习兴趣,增强学生对软件开发的形式化方法的感性认识,从而达到掌握软件开发的形式化方法的目的,该文以软件测试的形式化方法为例,探讨了基于有限状态机的软件测试原理,开发了非确定有限状态机测试用例生成工具,并通过C程序测试例子说明基于有限状态机的程序测试方法.
出处
《广西师范学院学报（自然科学版）》
2008年第4期101-105,共5页
Journal of Guangxi Teachers Education University(Natural Science Edition)
基金
广西教育科学"十一五"规划课题(20006C430)
广西师范学院新课程立项项目
