确认测试路径的一种生成方法

针对确认测试自动化在实现中的难题，提出了将测试过程进行划分的确认控制策略，并探讨了次之付诸实践的可行方法。一方面通过将测试过程进行划分减轻用例设计的负担，另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性。方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外，其余的步骤均能自动实现。     

一种确认控制的形式化方法

提出了一种基于事务的确认控制形式化方法.该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据流事务转换为FSM事务,消除了数据流图的歧义性;同时,将有限状态机作为FSM事务的控制原语,使事务的控制部分得以形式化,从而可实现确认控制自动化     

一种基于CPN的协议测试序列生成方法

针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(ｃolored ｐetri ｎet)、面向属性的协议一致性测试序列生成方法。 首先, 构建被测协议规范的CPN模型, 即协议模型, 并将被测协议的若干功能属性采用CPN进行形式描述, 形成属性模型。 提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法, 基于这些算法给出了一种完整的基于属性的测试序列生成方法。 该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题, 而且还对测试中的PCO库所进行了特殊标识, 完成测试序列中可观察元素的自动提取处理, 使得处理后的测试序列可直接用于协议实际测试过程。 为有效验证所提测试序列生成方法的可行性, 开发了一套实现该方法的软件, 并应用于HMIPv6协议的实际测试过程中。实践表明, 这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。     

基于Petri网的测试路径选择标准

首先介绍了Petri网在分析系统方面的优点,给出基于Petri网进行测试研究的相关概念,提出了基于Petri网的考虑控制流进行测试的标准,也给出了考虑数据流进行测试的标准．然后通过例子,给出了基于各个标准产生的测试路径,最后给出了结论以及下一步应考虑的问题．     

从测试规格说明到测试用例的自动生成方法

讨论了使用域测试策略生成测试用例的过程 :将测试规格说明 ,即经过预处理的形式规格说明所得到的以析取范式形式表示的线性谓词 ,变换成不等式组 ,然后对每一个不等式组利用 1× 1域测试策略生成域测试矩阵 ,最终得到测试用例包 .提出了一种应用 1× 1域测试策略和线性不等式值转换器来构成一个从测试规格说明生成测试用例的方法 .最后通过一个实例说明如何使用 1× 1域测试策略来实现从测试规格说明到测试用例的自动生成 .     

OSPF协议中路由表计算的测试例生成方法

本给出了OSPF协议中路由表计算部分的Petri网模型和产生测试例的方法,以算法中的外部路由计算为例,详细介绍了如何从协议本形式化为Petri网模型,然后再多Petri网生成测试例的方法,并给出了方法所采用的测试标准。     

一种基于Object-Z规格说明的集成测试用例生成方法

形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述,同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例,提出一种使用Object-Z模式描述组件模型的方法,并且针对模型提出测试准则,产生测试场景,然后根据得到的测试场景产生测试用例.     

基于Petri网的数据流与控制流相结合的协议测试

提出一种数据民控制流相结合的测试方法,在Ｐｅｔｒｉ网模型对上于控制流选定操作符覆盖标准,对于数据流采用ａｌｌ－ｄｅｆｓ标准,最后给出一既考虑数据流标准又考虑控制流标准的求测试序的算法。     

从ESTELLE协议规格说明生成测试序列

ESTELLE是一种由ISO提出的用于描述计算机通信协议的形式化描述技术,并已成为国际标准。随着计算机网络技术的发展,出现了一门新的学科——协议工程。它包括通信协议的规范、验证、生成、测试。测试序列生成在协议一致性测试中是一个非常复杂的问题。本文提出了从ESTELLE语言规范生成测试序列的方法。有关测试序列生成的一些原始材料可以在一些协议规范的文本中找到。_抽象机(即扩充的有限自动机)是所提方法的基础。这个方法的思想是这样的:首先是用ESTELLE语言编译器从ESTELLE协议文本中提取要求的信息(抽象机),并且用某种形式表尔之。第二,将抽象机展开成为一个一般的有限自动机。第三,从有限自动机中生成测试序列。最后,把测试序列转换成TTCN形式。     

一种构造Petri网可达图的方法

Ｐｅｔｒｉ网是一种系统设计和分析的工具，为了完成Ｐｅｔｒｉ网的各项分析，还需借助如可达树、矩阵方程、可达图等工具．本文将提出可达图的一种构造方法     

既考虑数据流又考虑控制流的测试方法分析及比较

研究数据流与控制流相结合的测试方法，为进行比较，采用了三个不同的数据流标准，对于控制流选定操作符覆盖标准，提出了求可执行变迁序更列的算法，并且给出了关于测试方法，测试序列数目及错误覆盖能力的比较。     

程序测试数据的生成

研制了为Ｐａｓｃａｌ模块测试生成测试数据的工具，介绍了测试数据成生技术、测试工具的结构及其实现     

一种基于UML模型的系统测试方法

针对基于用UML开发的软件系统的用例之间的复杂联系．设计了一种通过UML活动图表示UML用例图来对UML用例图中各个用例之间的联系进行描述，并对其中的用例进行扩展；在此基础上通过对UML活动图中用例遍历的系统测试方法．     

基于PN的可重入医学检测调度系统优化研究

基于一类具有可重入特点的医学检测过程的设备调度问题,进行了具有约束条件的优化解的研究.首先分析了调度约束条件和优化目标,建立了其Petri Networks（PN）形式化模型,并分析了其规则调度系统的稳定性和其他性能．然后利用PN模型和调度约束条件解出调度可行解结合对医学检测部分工序要求连续的基础上建立时间约束矩阵,对可行解进一步优化,最终得到满足所有约束条件的优化可行解．通过对实际医学检测系统的实例分析和CPN Tools 仿真,结果表明所建立的模型和方法的有效性．     

协议描述和验证的基本方法

简要说明了协议描述和验证的基本概念，示例地介绍构造实现描述和协议验证的基本思想，最后以Ｐｅｔｒｉ网形式给出了ＡＢ协议一例。     

飞控计算机系统分层混合可靠性建模方法

对于复杂的非相似、多余度飞控计算机系统,根据其结构特点,综合静态和动态可靠性建模方法的优势,提出了采用可靠性框图（RBD）和广义随机Petri网（GSPN）相结合的分层混合建模方法,并对建模过程中低层各子系统存在共因失效部件情况下的可靠性建模和求解作了分析.分别采用分层混合建模方法和动态可靠性建模GSPN方法对Boeing777电传主飞控计算机系统进行可靠性建模和分析.同动态GSPN方法相比,该方法综合采用了静态和动态可靠性建模方法,具有状态空间模型的灵活性和组合模型求解的高效性,同时层次结构避免了GSPN方法带来的状态空间爆炸问题.由结果比较可得,该方法可行、高效、精确.     

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

基于场景的形式化测试模型生成方法

在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言（unified modeling language,UML）状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.