基于有限状态机法的计算器设计与教学效果研究

为研究有限状态机分析法在嵌入式系统教学中的效果,将其引入到基于嵌入式系统的计算器设计中.利用状态机思想,分别对普通计算器和带有优先级的计算器进行建模和设计.详细叙述建模基本步骤,分析不同状态的含义以及状态间的转换条件.通过对比教学用时,学生完成率和编程所用代码量等指标,比较了流程图法和有限状态机法的教学效果.实验结果表明,利用有限状态机分析法设计计算器的教学效果明显优于流程图法.     

基于UML顺序图的软件测试

面向对象的软件测试是在面向对象软件开发过程中不可缺少的一个环节,对于保证软件质量、提高软件可靠性至关重要。UML（Unified Modeling Language）状态图是在软件开发的早期设计阶段确定下来的,它描述了对象以及对象间相互传递的消息,并根据面向对象顺序图的特点,结合类图和状态图来设计测试用例。本文,笔者介绍了基于UML顺序图的软件测试方法。     

基于UML顺序图的软件测试

<正>面向对象的软件测试是在面向对象软件开发过程中不可缺少的一个环节,对于保证软件质量、提高软件可靠性至关重要。UML(Unified Modeling Language)状态图是在软件开发的早期设计阶段确定下来的,它描述了对象以及对象间相互传递的消息,并根据面向对象顺序图的特点,结合类图和状态图来设计测试用例。本文,笔者介绍了基于UML顺序图的软件测试方法。     

针对面向对象软件的测试

软件测试是整体软件开发中的重要一环,是确保软件质量,提高其可靠性的关键步骤。然而,传统的测试技术和方法,对面向对象技术开发的软件存在一定的缺陷。本文在分析面向对象软件开发技术特点的基础上,讨论了面向对象软件测试的测试策略、方法及测试技术。     

浅谈软件测试方法

新软件的开发和推行维护过程中的软件功能正确性、完整性必须依赖于软件测试,测试在软件开发过程中占有40%的地位。软件测试的方法繁多,仔细研究测试方法成为提高软件正确性的重要环节。     

软件测试的自动化

软件测试的自动化是软件测试的发展趋势．随着软件技术的发展，手工测试已不能满足软件测试的要求．该文主要分析了软件测试自动化的意义和支持测试自动化的工具，从而说明了软件测试必须进行自动化．     

基于分层有限状态机的时间序列数据挖掘与预测方法

针对非平稳非线性时间序列的数据挖掘与预测问题,提出一种基于分层有限状态机的预测方法 .首先,将时间序列构建成有限状态机(FSM)模型,将时间序列的相对序列模式作为状态.然后,构建一种层次模型,通过关联特定模式形成中间状态,并以递归方式对模式进行分组,以此解决长序列造成的过度训练问题.最后,通过梯度下降法结合所有有限状态(FS)预测器的输出,生成最终预测结果 .实验结果表明,该方法能够对时间序列进行有效的规则挖掘,具有较高的预测精度.     

线性空间概念的教学方法研究

从心理学以及数学认知学角度,分析了线性空间概念的形式化定义以及学生面临的学习困难,提出一些新的线性空间概念的教学方法．强调通过对线性空间形式化定义的符号化和图形化及其相互转化,以及基于计算机代数系统软件Maple的可视化教学技术等教学方法,强化学生对线性空间这一抽象数学概念的理解,从而提高课堂教学质量．     

浅议软件测试与质量控制

我们知道软件开发的过程是极其复杂的,而在软件系统的开发过程中,软件测试的地位是非常的重要的。虽然在此过程中人们采用了许多方法来试图保证软件的质量,但是我们知道软件系统具有客观复杂性的特点,这就是说人们的主观认识不可能完全符合客观实际,同样的,在每个阶段的技术审查中所有的设计和分析上的错误也不可能被毫无遗漏地查出并纠正出来,差错的产生在软件生命周期的各个阶段是不可避免的,因此,本文就主要介绍了软件测试和质量控制的相关问题,并积极探究进行软件测试和质量控制的科学方法。     

基于UML顺序图的软件测试

面向对象的软件测试是在面向对象软件开发过程中不可缺少的一个环节,对于保证软件质量、提高软件可靠性至关重要。UML（Unified Modeling Language）状态图是在软件开发的早期设计阶段确定下来的,它描述了对象以及对象间相互传递的消息,并根据面向对象顺序图的特点,结合类图和状态图来设计测试用例。本文,笔者介...     

代数规格说明语言ASL及到PROLOGR的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换，首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ；然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换的形式化方法，在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

OWL-S到Z规格说明的转换

OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化验证工具. Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言,比OWL-S具有更强的表达力. 该文研究基于Z的OWL-S形式化方法,提出从OWL-S到Z规格说明的模型转换规则. 基于这些规则,用Z定义OWL-S中概念的形式化语义,并开发了从OWL-S描述到Z规格说明的自动转换工具OWLS2Z.     

基于结构覆盖和状态识别的FSM一致性测试实验评估

针对在测试资源紧张的情况下所面临的不同测试技术中测试方法选择问题,阐明了对基于结构覆盖和基于状态识别的测试生成技术进行实验评估的必要性,以10个有限状态机（finite state machine, FSM）应用实例为实验对象,从测试开销和错误覆盖能力两方面对这两种技术进行了实证研究,为FSM一致性测试中这两种技术的选择应用提供了经验性的参考建议。     

Web服务行为相容性和可适配性的一种分析方法

基于有限状态机模型,在服务组合层面上提出了Web服务之间3种相容性的判定方法.对于两个不相容的Web服务,通过分析它们的行为路径对的可适配性来判断Web服务之间的可适配性;对于两个可适配的Web服务,通过生成它们的行为路径对的子适配器模型并将其合并,从而得到Web服务之间的适配器模型并自动映射生成实际可运行的BPEL代码.通过实例分析表明了该方法的可行性和有效性.     

基于数据流的组件测试

用组件状态机为组件的行为建模,根据组件状态机中状态、迁移和迁移的守卫条件之间的控制和数据关系,设计了组件状态机到组件流图的转换算法;提出了一种基于数据流的组件测试方法。按照全使用数据流测试准则,自动生成组件流图的定义－使用路径集。     

汉语动词深层语义多态性

本文提出了汉语动词深层语义多态性概念，并采用面向对象思想，给出了其形式化描述和实现方法，这对消除自然语言的歧义和简化自然语言理解编程有实用价值．     

齐线性微分方程非零解的零点个数定理

对于高阶的变系数齐线性微分方程，我们没有统一的方法可以求出其所有非零解的函数表达式，因此从宏观上研究其非零解的性质是非常必要的．本文基于常微分方程解的存在唯一性定理，讨论了各阶齐线性微分方程非零解的一个重要性质，就是其非零解在有限闭区间上的零点个数至多为有限个．     

TELNET控制台在交换机中的设计与实现

结合实际项目 ,通过对TELNET控制台管理器的有限状态机进行描述 ,对TELNET控制台管理器的各项功能进行设计 ,尤其对其核心技术进行了详细的说明 ,从而实现了TELNET控制台管理器在交换机中的应用     

一个基于身份的数字签名方案

根据基于身份的数字签名的形式化定义构造一个基于双线性对的基于身份的数字签名方案,并且对该方案进行安全性和效率分析．安全性分析表明该方案具有可验证性、不可伪造性、不可否认性．     

浅谈软件测试技术

本文简单介绍了软件测试的必要性和目的,阐述了软件测试的静态和动态方法,最后详细介绍软件测试活动的详细过程。