下载  >  课程资源  >  讲义  > 状态图法.doc

状态图法.doc 评分:

1. 定义   状态迁移图法主要关注在测试状态转移的正确性上面。对于一个有限状态机,通过测试验证其在给定的条件内是否能够产生需要的状态变化,有没有不可达的状态和非法的状态,可能不可能产生非法的状态转移等。通过构造能导致状态迁移的事件,来测试状态之间的转换。   2. 应用的范围   一个功能的状态比较多的情况下,比如mp3,堆栈操作等.

...展开详情
2019-05-25 上传 大小:131KB
举报 收藏
分享
白盒测试-控制流图法.ppt

白盒测试-控制流图法.ppt 控制流图法是单元测试必备的测试用例书写方法,教程案例典型,介绍详细,值得学习资料。

立即下载
最佳化PID现场调整技术.doc

第一章  控制系统概论 1 1-1 摘要 1 1-2 目的 1 1-3 原理 1 1-4 工作内容 1 第二章  回授控制 3 2-1 回授控制的构成 3 2-2 PID控制与最终控制组件 4 2-3 感测与转换 7 第三章  系统辨识 12 3-1 系统辨识 12 3-2 系统特性图 14 3-3 系统辨识方法 15 第四章 PID最佳调整法与系统仿真 20 4-1 PID调整法概述 20 4-2 针对无转移函数的PID调整法 21 4-2-1 Relay feedback调整法 21 4-2-2 在线调整法 27 4-3 针对无转移函数的PID调整方法 35 4-3-1 系统辨识法 3

立即下载
论文研究-改进的概率路径图法.pdf

针对蚁群算法容易陷入局部最优解及搜索时间长等不足,引入一种基于连续空间的禁忌搜索算法,并将其与蚁群算法相结合,提出了一种引入禁忌搜索策略的蚁群算法,以求解连续对象优化问题。经测试验证了该算法不仅跳出局部最优解的能力更强,而且能较快地收敛到全局最优解,表明算法的有效性。

立即下载
黑盒测试:决策表法、因果图法.zip

黑盒测试的决策表法和因果图法,可以提供给正在学习软件测试的学弟学妹们借鉴和参考!

立即下载
Stateflow建模技术基础_07_状态图的层次

Stateflow建模技术基础_07_状态图的层次

立即下载
UML 状态图的实用 C/C++设计

UML 状态图的实用 C/C++设计 嵌入式系统的事件驱动编程技术 样张

立即下载
uml状态图的实用C/C++设计 (中英文非扫描版)

从事嵌入式编程的童鞋应该都知道状态机的魅力,自己也一直想写一写这方便的体会,惰性使然,一直未能实行,无意中发现此书,顿时大开眼界。本资源包含中文和英文两个版本,非扫描版,绝对是良心奉献。 “这本书绝对是让我对状态机大开眼界。我最近使用(包含在本书内)的 QP 框架改写了代码的主要部分,它带来了奇迹。我以前的代码使用了许多传统的状态机,并很快演变成意大利面条式代码。层次式状态机方法令新代码更小,更健壮,并且更易于维护和扩展。优秀的书和代码!” ——Bob Bradley, Apple Computer, Inc.,

立即下载
UML状态图的实用C/C++设计

UML状态图的实用C/C++设计 本书作者Miro Samek博士是Quantum Leaps公司的创始人和总裁,这是一家提供轻量化的基于状态机的事件驱动型应用程序框架的开源公司。他是“Practical Statecharts in C/C++”第一版(CMP出版社,2002)的作者,他为包括C/C++Users Journal在内的许多杂志撰写专栏,他是Embedded Systems Conferences的定期演讲者,并任职于Embedded Systems Design杂志的编辑审查委员会。多年以来,他在多家硅谷公司从事嵌入式软件架构师的工作,在此之前他是GE Medical Sys

立即下载
成熟软件系统架构设计的5视图法.pdf

架构设计的5视图法,基于多视图的架构设计方法在一定程度上将各 类需求分别对待,通过不同的架构设计视图分 别满足它们

立即下载
操作系统课程实习 位图法分配内存.

操作系统课程实习,位图法分配内存. 按位图法分配内存,VC++6.00.

立即下载
论文研究-高校教学信息化水平提升参数调控仿真分析——基于逐树设撤参数仿真建流图法.pdf

论文研究-高校教学信息化水平提升参数调控仿真分析——基于逐树设撤参数仿真建流图法.pdf,  高校教学信息化是高校人才培养的重要环节,在发展过程中有很多问题待进一步研究.本文针对现阶段我国高校教学信息化系统发展与水平提升过程中普遍存在的8个待解决问题,确定9个流位流率对构成流位流率系.通过逐树设撤参数组合仿真检验法,建立反馈仿真流图模型,其中基于9个流位流率对建立9棵流率基本入树,建立86个

立即下载