|
|||||
|
|
| 软件开发的形式化方法在程序测试中的应用 | |
| 作者姓名： | 廖伟志 |
| 作者单位： | 广西师范学院信息技术系,广西南宁530001 |
| 基金项目： | 广西教育科学“十一五”规划课题（20006CA30）;广西师范学院新课程立项项目 |
| 摘 要： | 《软件开发的形式化方法》课程内容抽象且缺少简单、易懂的软件开发的形式化方法的实例．为了提高学生的学习兴趣，增强学生对软件开发的形式化方法的感性认识，从而达到掌握软件开发的形式化方法的目的，该文以软件测试的形式化方法为例，探讨了基于有限状态机的软件测试原理，开发了非确定有限状态机测试用例生成工具，并通过C程序测试例子说明基于有限状态机的程序测试方法． |
| 关 键 词： | 软件工程 形式化方法 程序测试 |
| 本文献已被 维普 等数据库收录！ | |