5.4 本章小结 ··············································································· 错误！未定义书签。 6 系统测试··························································································· 错误！未定义书签。

6.1 系统测试目的 ······································································· 错误！未定义书签。 6.2 测试方法 ··············································································· 错误！未定义书签。 6.3 测试结果 ··············································································· 错误！未定义书签。

6.3.1 结构信息测试 ····························································· 错误！未定义书签。 6.3.2 系统用户界面测试 ····················································· 错误！未定义书签。 6.3.3 系统登录测试 ····························································· 错误！未定义书签。

7 总结与展望 ······················································································ 错误！未定义书签。

7.1 总结······················································································· 错误！未定义书签。 7.2 展望······················································································· 错误！未定义书签。 参考文献 ································································································· 错误！未定义书签。

II

1 绪论

1.1 课题背景及其意义

有限状态自动机（FSM \state machine\或者FSA \state automaton\）是为研究有限内存的计算过程和某些语言类而抽象出的一种计算模型。有限状态自动机拥有有限数量的状态，每个状态可以迁移到零个或多个状态，输入字串决定执行哪个状态的迁移。有限状态自动机可以表示为一个有向图。有限状态自动机是自动机理论的研究对象。

经过大学四年理论课程的学习，以及校内校外的实践，极大的丰富了自身的理论基础，并且也具备了一些处理简单问题的能力，但即将踏上社会的我深知这还远远不够，因此我利用了毕业设计的机会，在老师的指导下去完成一个具有挑战性的，其具体应用及社会服务相结合的项目，深知通过对它的开发，将对我的能力有更高层次的突破。

开发软件的一个目的是针对目前市面上的系统存在的功能不全，操作复杂，系统要求高等一系列问题，而设想一个具有个性化系统。管理人员软件操作的适应时间和操作感觉这些方面都将大大的提高。

给定xml格式的自动机（自动机描述了逻辑信息）（有代码），xml里面存储逻辑控制信息，，生成脚本（这个脚本里面就是控制信息）（所谓的控制信息，就是 测试场景），这些信息是由自动机转换来的，自动机里有什么逻辑，转换的脚本就包含什么逻辑，然后和数据库里的数据 合并为一个最后的执行脚本

二．当自动机描述的逻辑是，加减乘除的时候，就是用来测试计算器的 三．数据驱动脚本是将测试输入和期望输出存储在数据文件中，而不是存储在脚本中，脚本中只存放控制信息。执行测试时，从文件中而不是从脚本中读取测试输入。

1.2 当前国内外发展概况调研

1.2.1 系统理论的发展

系统的基本理论研究，正朝着以下几个方向的发展：

1

(1)系统研制方法的进一步系统化的研究。 (2)系统研制工具的进一步改善和完善的研究。 (3)系统模型的进一步研究。

(4)信息系统对人、组织和社会影响的进一步研究。

1.2.2应用技术的发展

C#是Microsoft为.NET平台量身定做的语言，是基于.NET平台的最佳语言。它不仅能轻松的完成其他语言的程序设计任务，对高级程序设计任务的支持也吸引了大批的程序员，如网络编程、数据库连接[1]、多线程、安全和保护特性等。C#是Microsoft专用在.NET Framework平台上进行开发的一门新型编程语言。.NET Framework由两部分构成：托管代码执行的运行环境和几乎可以完成所有编程任务的众多类库。虽然很多语言都能够编写.NET代码，但C#是惟一针对.NET Framework而设计的语言，因此在今后几年内，C#将会成为编写.NET应用程序的首选。 B/S模式:将服务器分解成一个数据服务器和一个或多个应用服务器，从而构成一个三层结构体系。利用B/S构架技术，即可在内部网上发布各种信息，供查询、借阅。在查询过程中，我们可以在客户机通过浏览器实现，不必另外安装软件，从而减少了维护工作量，同时还可以不断推出新的查询版本，以满足用户不断增长的需要。

C/S模式: 将系统分布于两个独立的实体客户机和数据库服务器中，开发的应用程

序安装在每个客户机端，并与网络服务器数据库相连。其优点在于人机交互方面具有更大的灵活性，在数据访问处理速度和数据安全上有一定的优势；缺点是在更新客户端服务程序时，大大增加维护量，造成维护工作困难。

1.3 课题任务

有多种类型的有限状态自动机：接受器判断是否接受输入；转换器对给定输入产生一个输出。常见的转换器有 Moore 机 与 Mealy 机。Moore 机对每一个状态都附加有输出动作，Mealy 机对每一个转移都附加有输出动作。

有限状态自动机还可以分成确定与非确定两种。非确定有限状态自动机可以转化为确定有限状态自动机。

有限状态自动机识别的语言是正规语言。

有限状态自动机除了它在理论上的价值，还在数字电路设计、词法分析、文本编辑器

2

程序等领域得到了应用。

自动机接受的所有字串构成了自动机识别的语言 L(M)。 非确定有限状态自动机

一个非确定有限状态自动机（NFA \）M 是由下述元素构成的五元组 (Q,Σ,δ,q0,F) 有穷状态集合 Q ； 有穷输入字母表 Σ；

转移函数 δ: Q × Σ -> 2Q； 初始状态 q0；

终结状态集合 F，F 包含于 Q 。

自动机从初始状态 q0 起，逐一读入输入串（由输入字母表 Σ 的字母构成）的每一个字母，根据当前状态、输入字母和转移函数 δ 决定自动机的下一步状态；如果输入串结束时，自动机处于终结状态集合 F 的某一个状态，这表示自动机接受该字串；否则自动机不接受该字串。

非确定有限状态自动机与确定有限状态自动机的唯一区别是它们的转移函数不同。确定有限状态自动机对每一个可能的输入只有一个状态的转移。非确定有限状态自动机对每一个可能的输入可以有多个状态转移，接受到输入时从这多个状态转移中非确定地选择一个。

自动机接受的所有字串构成了自动机识别的语言 L(M)。

1.4 本文的组织结构

本文以基于C#的设计与实现为主题，围绕c#所采用的技术，及其需求和设计进行详细阐述，分为七部分：

第一章主要介绍了课题产生的背景，围绕背景阐述此课题研究目的和意义，并结合国内外的研究现状，分析理论的发展以及在实际应用中的发展。接着介绍了课题任务和文章的章节安排。

第二章主要对进行系统的可行性分析，并按照由简单到细致的顺序对用户需求进行分析以及从业务流程的角度对系统的功能需求进行详细描述。

第三章主要研究分析系统的功能模块和体系结构。 第四章主要是对系统的实现进行数据库设计。

3