基于有限状态机的一致性测试模型

基于有限状态机测试方法是进行协议一致性测试、图形用户界面测试和面向对象测试的重要方法之一。首先给出了用于有限状态机一致性测试的定义和性质，接着讨论了基于有限状态机一致性测试的概念和步骤，最后提出了基于有限状态机及扩展的有限状态机的一致性测试模型。     

乐观电子合同签订协议的一种有限状态机模型

乐观电子合同签订协议是一类典型的安全协议，用于在两个或多个主体之间公平高效地实现电子合同签订。与其它类型的安全协议相比，乐观电子合同签订协议更为复杂，从而为其形式化分析带来了一定困难。模型检验是一类有效的形式化分析方法，应用模型检测方法分析安全协议时，前提和关键是对协议及其执行环境进行准确和全面的建模。     

基于VHDL的有限状态机设计

通过2种状态机的设计方法比较,说明使用VHDL语言设计出稳定、可靠的有限状态机的方法是有效的和实用的.由于两者对状态寄存器值的不同处理方法,使得状态机在采用不同编码方法时可靠性出现差异.针对此问题提出的状态机设计方法很好的解决了这个问题,保证采用常用编码方法进行状态机编码时,不管采用何种状态机的设计方法,状态机都会处于稳定、可靠状态.     

基于UIO序列的状态机测试序列生成算法

在通信协议的一致性测试中,寻找一条简洁高效的测试序列是关键工作之一．基于FSM模型的协议一致性测试,提出一种新的UIO序列生成方法,利用遗传算法求解UIO序列．研究结果表明,该算法能生成更短且结果稳定的UIO序列．     

基于有限状态机的电网设备状态库研究

在电网调度运行的实际生产中,需要明确电力设备的初始状态,防止发生恶性误操作事件。当前,设备状态由D5000系统采集或调度电话直接联系场站核对,存在一定的不准确性。文章阐述了基于有限状态机的电网设备状态库,其严格遵守状态转移函数,具有强逻辑,且可以与D5000系统的量测设备库进行实时校核,为设备状态的量测提高了冗余性,提高了安徽电网的安全水平。     

乐观电子合同签订协议的一种有限状态机模型

乐观电子合同签订协议是一类典型的安全协议,用于在两个或多个主体之间公平高效地实现电子合同签订。与其它类型的安全协议相比,乐观电子合同签订协议更为复杂,从而为其形式化分析带来了一定困难。模型检验是一类有效的形式化分析方法,应用模型检测方法分析安全协议时,前提和关键是对协议及其执行环境进行准确和全面的建模。     

一种改进的遗传算法进化有限状态机

提出了一种改进的遗传算法,针对有限状态机中输出矢量与状态转移相关的特性,将配置有限状态机的染色体分解为状态转移基因和输出矢量基因进行分阶段的进化实验。实验结果表明同传统的进化算法相比,这种分阶段进化的遗传算法降低了有限状态机进化过程中的复杂度,有效地提高了进化性能。     

基于有限状态机的帧同步系统设计

结合时分复用计算机数字通信系统中的帧同步技术,介绍了一种基于Mealy型有限状态机设计巴克码识别器的方法,在MAX＋PLUS10．0设计平台下给出了使用最广泛、性能良好的七位巴克码组识别器的设计,结合同步保护模块最大限度地减小假同步和漏同步概率,实现数字通信系统的帧同步。     

基于Web应用系统的软件测试

随着Web技术的发展,基于Web应用系统已经变得越来越庞大和复杂,如何保证Web应用系统的准确性、可靠性和安全性已成为软件测试的一个重要课题。本文比较了几种软件测试模型优缺点,分析了基于Web应用系统的功能测试、性能测试,探讨了基于Web应用系统的安全性测试。     

基于Web的多Agent系统体系结构研究与应用

交互性和易操作性是多Agent技术的研究重点,Internet则是人们沟通交流的直接高效的途径,如果能够使普通用户能像普通浏览网页一样控制Agent工作将是十分高效方便的。本文在分析了Agent系统的体系结构、Web架构的基础上,将Web技术与多Agent系统有机结合,实现了上述要求,其优点是能够在有效降低用户计算机终端的配置前提下,通过中转服务器将用户与Agent系统安全有效连接,发挥了多Agent系统的良好特性,最后并将其运用在同城咨询系统当中,并给出其整体流程和体系架构。     

Web应用系统的自动化测试解决方案

软件测试贯穿于整个软件开发周期,在软件测试中引入自动化的概念可以提高测试的效率,本文通过一些开源的软件来构建系统的Web应用的自动化测试方案.测试自动化管理系统用来控制整个测试过程和项目的进展,功能方面的自动化测试主要采用关键字驱动的Web系统测试框架Watij来实现,而性能测试的自动化则利用分布式的测试工具Tsung.自动化测试不能完全取代人工测试,只有在保证软件质量的前提下,进行自动化测试才有意义.     

基于Web应用系统的GUI测试

软件测试是软件开发的重要环节,Web应用系统的GUI测试是一项复杂而烦琐的工作。本文阐述了GUI测试的概念,提出了Web应用系统的GUI测试的一般流程及测试指南,同时给出了Web应用系统GUI测试的主要方法。     

基于Web Services的松耦合系统的研究与应用

以耦合系统的研究与应用问题为目标,提出了以Web Services松耦合系统的构架为企业解决信息集成的思路,并提供了基于该技术思路的工程应用关键技术方案.     

Web应用中的网页静态化技术研究

针对绝大多数Web应用都在使用动态网页以及数据库技术,频繁访问后台数据库并动态生成内容会给服务器带来沉重负荷,从而降低页面响应速度,甚至造成服务器崩溃;为解决这一问题,提出了动态网页静态化的方案.结合某网上商城系统的设计,提出了网页静态化的原则和策略;针对商城首页和商品详情页面,分别介绍了定时静态化以及访问时静态化的方法.实验结果表明:经过静态化处理,网页的响应速度明显提升,而系统能够处理的并发请求数量也大幅度提升.     

基于Web的选课系统的设计与实现

Web应用程序的开发方法已经从早期的手工作坊式转向基于面向对象的方法设计。应用UML建模可降低系统复杂性,提高系统设计的可重用性和系统的可维护性。对网上选课系统进行了分析和研究,利用UML技术完成系统的分析和设计,并给出具体的实现方法。     

基于软件缺陷模型的测试系统

设计并实现了一种基于软件缺陷模型的测试系统（DTS）. 对常见软件缺陷模式进行了分类、分析和总结. 基于状态机提出了软件缺陷模式的描述方法及统一测试框架,提出通过区间运算来减少测试的误报和提高测试精度. 与同类工具比较表明, DTS具有效率高和误报少等特点.     

Web技术在嵌入式系统中的应用研究

在设备上嵌入Web服务器,使设备能与网络Internet无缝连接.嵌入式Web使用Web架构,其开放性和平台独立性能够大大降低系统的设计工作量,同时能提供大量工具和函数库,减少开发的工作量.研究了基于Web控制与检测的嵌人式数控系统的设计与实现过程,将AJAX技术应用于嵌入式数控系统Web检测,可提高实时数据的传输速率.