基于程序执行状态图的软件测试方法研究 被引量：9

1

作者 何允如 刘宗田 +1 位作者 郝峰 李心科 《计算机工程与应用》 CSCD 北大核心 2002年第18期96-98,共3页

软件测试一直是保证软件质量的最主要的手段之一,多年来人们一直在寻找好的测试方法和测试策略。同时随着图形界面的日益流行,传统的测试方法变得难以适应测试的需要。文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序... 软件测试一直是保证软件质量的最主要的手段之一,多年来人们一直在寻找好的测试方法和测试策略。同时随着图形界面的日益流行,传统的测试方法变得难以适应测试的需要。文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序执行状态图的定义,以及相应的覆盖准则。最后,文章介绍了使用PESC逐步生成测试路径的方法。 展开更多

关键词 程序执行状态图 软件测试方法 软件质量 软件工程

在线阅读 下载PDF 职称材料

基于UML的面向对象软件测试系统 被引量：5

2

作者 张保卫 张毅坤 +1 位作者 赵明 崔杜武 《计算机工程》 EI CAS CSCD 北大核心 2005年第6期70-72,215,共4页

设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,... 设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,生成测试装置。同时,对源代码插装,以便度量代码覆盖率。在此基础上,编译测试装置和源代码,生成测试装置执行文件。最后,驱动测试装置执行文件,分析测试结果,生成测试报告。 展开更多

关键词 软件测试 UML状态图 插装器 测试驱动器

在线阅读 下载PDF 职称材料

基于变迁的完全路径覆盖测试 被引量：3

3

作者 刘继华 陈策 《计算机应用》 CSCD 北大核心 2012年第11期3075-3077,3081,共4页

为解决基于状态节点搜索的完全路径覆盖所产生的测试用例数过多和难以实现连续测试的问题,提出了一种基于变迁的完全路径覆盖测试准则,并设计和实现了一种深度优先搜索与宽度优先搜索相结合的基于变迁完全路径覆盖测试用例自动生成算法... 为解决基于状态节点搜索的完全路径覆盖所产生的测试用例数过多和难以实现连续测试的问题,提出了一种基于变迁的完全路径覆盖测试准则,并设计和实现了一种深度优先搜索与宽度优先搜索相结合的基于变迁完全路径覆盖测试用例自动生成算法。实验结果表明,基于变迁的完全路径覆盖准则比基于状态的完全路径覆盖准则更为严格,相应的算法可以产生更优的测试用例集,能更方便地完成软件的连续动态测试。 展开更多

关键词 软件测试 状态图测试 完全路径覆盖 测试用例

在线阅读 下载PDF 职称材料

基于UML状态图的自动化测试系统研究与实现 被引量：1

4

作者 布辉 刘冉 《信息工程大学学报》 2012年第5期626-631,共6页

以UML状态图的测试用例自动生成算法为基础,研究并实现了基于UML状态图的自动化测试系统,测试系统通过对Rational Rose生成的*.mdl文件进行解析,得到形式化的状态图,使用改进的UIO方法得到测试路径,测试路径与路径上的事件结合,生成最... 以UML状态图的测试用例自动生成算法为基础,研究并实现了基于UML状态图的自动化测试系统,测试系统通过对Rational Rose生成的*.mdl文件进行解析,得到形式化的状态图,使用改进的UIO方法得到测试路径,测试路径与路径上的事件结合,生成最终的测试序列。该系统生成的测试序列相对较短且能够达到状态-转换覆盖标准。 展开更多

关键词 UML状态图 自动化测试 扩展有限状态机 测试用例 测试序列

在线阅读 下载PDF 职称材料

基于UML状态图的类测试技术

5

作者 周清雷 张文宁 +1 位作者 赵东明 李喜艳 《计算机工程》 CAS CSCD 北大核心 2010年第2期81-82,90,共3页

针对基于状态的类测试技术缺陷检测率较低的问题,提出一种使用等价类划分和边界值分析等功能性测试方法构建UML状态图的方法,描述基于W方法的测试序列生成策略,使用Mujava变异工具对方法的有效性进行检测。实验结果表明,该测试策略具有... 针对基于状态的类测试技术缺陷检测率较低的问题,提出一种使用等价类划分和边界值分析等功能性测试方法构建UML状态图的方法,描述基于W方法的测试序列生成策略,使用Mujava变异工具对方法的有效性进行检测。实验结果表明,该测试策略具有较高的缺陷检测率。 展开更多

关键词 类测试 UML状态图 测试序列 变异测试

在线阅读 下载PDF 职称材料

基于控制流程的软件测试用例自动生成方法研究 被引量：2

6

作者 余祥 李强 齐建业 《内蒙古大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第5期521-527,共7页

软件测试中最重要的就是设计和生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.首先提供了一种从流程图自动生成测试用例的方法,然后介绍了从流程图生成交互有限状态自动机的算法以及从交互有限状态... 软件测试中最重要的就是设计和生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.首先提供了一种从流程图自动生成测试用例的方法,然后介绍了从流程图生成交互有限状态自动机的算法以及从交互有限状态自动机生成测试用例的算法.最后,介绍了相关支持工具ATCG. 展开更多

关键词 流程图 测试用例 交互有限状态自动机 测试路径

在线阅读 下载PDF 职称材料

实时嵌入式软件系统测试需求建模研究 被引量：6

7

作者 高猛 《航天控制》 CSCD 北大核心 2010年第5期64-69,共6页

使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度。UML状态图具有形式化特征,适合复杂系统详细行为的描述。本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法。... 使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度。UML状态图具有形式化特征,适合复杂系统详细行为的描述。本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法。该方法对被测软件系统的静态结构和动态行为进行建模,能清晰、完整地描述测试输入信息,包括前置条件、接口数据、激励事件、过程描述、后置状态等。并通过相关的建模机制实现了对实时性、并发性、时序性及数据反馈等约束特征的描述。基于该方法生成的需求模型,结合一定的测试用例生成策略,可以自动生成测试用例。作为示例,本文结合该方法对某飞行器控制功能进行建模,模型具有简洁、直观、易用的特点。 展开更多

关键词 系统测试 实时软件 测试需求建模 状态图

在线阅读 下载PDF 职称材料

基于UML集成测试模型的生成方法 被引量：1

8

作者 吴静莉 韩松峰 刁海南 《微电子学与计算机》 CSCD 北大核心 2008年第6期164-167,共4页

UML中的状态图和通信图可共同作为生成测试用例的模型,用于集成测试用例的生成.在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图,提出一种形式化组合状态图中组合状态的方法,使集成测试模型更加简单,实验结果表明易于生... UML中的状态图和通信图可共同作为生成测试用例的模型,用于集成测试用例的生成.在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图,提出一种形式化组合状态图中组合状态的方法,使集成测试模型更加简单,实验结果表明易于生成集成测试用例. 展开更多

关键词 集成测试 通信图 状态图 组合状态

在线阅读 下载PDF 职称材料

基于界面状态因果图的测试用例生成

9

作者 金义富 杨学伟 陈传毅 《计算机工程与应用》 CSCD 北大核心 2003年第19期104-105,114,共3页

在可视化软件测试系统中,测试用例来源于引起对象状态转移的前置条件和触发事件,模拟界面控件状态由消息驱动产生转移变迁的执行特点形成界面状态因果图,提出了基于终态的测试树及其生成算法,讨论了利用这种测试树及相应覆盖准则生成测... 在可视化软件测试系统中,测试用例来源于引起对象状态转移的前置条件和触发事件,模拟界面控件状态由消息驱动产生转移变迁的执行特点形成界面状态因果图,提出了基于终态的测试树及其生成算法,讨论了利用这种测试树及相应覆盖准则生成测试用例的方法,最后给出了一个应用实例。 展开更多

关键词 状态因果图 测试树 测试用例生成 算法

在线阅读 下载PDF 职称材料

基于工作流模型的业务流程测试方法研究 被引量：1

10

作者 权淑静 《北方工业大学学报》 2015年第3期57-61,共5页

信息系统交付时的验收测试很大程度上都是对业务流程进行的功能测试.本文对信息系统中的业务流程进行功能测试,提出一种基于工作流模型的测试方法.该方法先对业务流程进行基于UML状态图的工作流建模,然后对此模型进行改进的深度优先遍历... 信息系统交付时的验收测试很大程度上都是对业务流程进行的功能测试.本文对信息系统中的业务流程进行功能测试,提出一种基于工作流模型的测试方法.该方法先对业务流程进行基于UML状态图的工作流建模,然后对此模型进行改进的深度优先遍历,生成从初始状态到终止状态的测试路径,一个路径即为一个测试用例.测试实践表明该方法对于信息系统的业务流程测试有效. 展开更多

关键词 软件测试 工作流模型 测试用例 UML状态图

在线阅读 下载PDF 职称材料

基于UML的数据采集测试用例生成研究

11

作者 杨厚群 林雄 邢诒杏 《海南大学学报（自然科学版）》 CAS 2008年第1期38-42,共5页

将UML协作图与状态图结合起来,以此为模型,用于集成测试用例的生成.首先以协作图为依据确定集成测试的对象,对状态图进行组合,形成组合状态图,并给出组合状态图的形式化定义,以及对组合状态图进行展开,然后用于集成测试用例的生成,在覆... 将UML协作图与状态图结合起来,以此为模型,用于集成测试用例的生成.首先以协作图为依据确定集成测试的对象,对状态图进行组合,形成组合状态图,并给出组合状态图的形式化定义,以及对组合状态图进行展开,然后用于集成测试用例的生成,在覆盖所有的测试需求的前提下,生成的测试用例较少. 展开更多

关键词 测试用例 集成测试 UML状态图 UML协作图

在线阅读 下载PDF 职称材料

基于UML模型的嵌入式软件测试用例生成方法

12

作者 黄晨 段永颢 《空间控制技术与应用》 2013年第1期57-62,共6页

软件测试是保证嵌入式软件质量的重要手段之一,测试用例集的完备性是软件测试的关键因素.研究一种基于统一建模语言(UML)状态图生成测试用例集的方法,根据状态、迁移不变性原则以及动作映射,将UML状态图转换为扩展有限状态机(EFSM),采... 软件测试是保证嵌入式软件质量的重要手段之一,测试用例集的完备性是软件测试的关键因素.研究一种基于统一建模语言(UML)状态图生成测试用例集的方法,根据状态、迁移不变性原则以及动作映射,将UML状态图转换为扩展有限状态机(EFSM),采用广度优先搜索满足状态、迁移覆盖准则,由测试序列建立查找表生成测试用例集.最后给出实例说明该方法的可行性和有效性. 展开更多

关键词 嵌入式软件 测试用例 UML状态图 EFSM

在线阅读 下载PDF 职称材料

试气阶段评价气井不稳定产能的新方法 被引量：15

13

作者 冯曦 彭先 +3 位作者 李骞 赵晓亮 张平 潘登 《天然气工业》 EI CAS CSCD 北大核心 2020年第4期59-68,共10页

早期预测气井产能变化规律一直都是天然气开发的技术难点之一,常用的稳定渗流分析方法误差较大,而产量递减分析及压力不稳定试井分析经典方法同样难以有效解决这一问题。为此,基于定压生产试井模型求解,改变过去简化计算指数积分函数的... 早期预测气井产能变化规律一直都是天然气开发的技术难点之一,常用的稳定渗流分析方法误差较大,而产量递减分析及压力不稳定试井分析经典方法同样难以有效解决这一问题。为此,基于定压生产试井模型求解,改变过去简化计算指数积分函数的近似做法,精确计算气井绝对无阻流量解析解,并且以均质储层直井为参照基准,定量描述不同类型气井产能不稳定特征;结合新井产能评价的需求,研究形成了重点解决试气分析问题的实用新方法,并在四川盆地天然气开发热点区块的部分重点井进行了现场应用。研究及应用结果表明:①试井模型解析解的精确公式显著增强了对短时测试条件的适应性;②所制作的图版简要地揭示了气井不稳定产能特征与主要影响因素之间的定量关系;③当紊流效应特征参数未知时,根据定压生产试井模型分析气井无阻流量变化趋势需要进行变表皮系数迭代计算;④通过对比分析典型情况的计算结果,能够深化认识不同类型气井无阻流量的递减规律。结论认为,该新方法能够提高气井不稳定产能预测的准确性,可以广泛用于天然气勘探阶段、开发前期评价阶段、开发生产新井投产阶段的气井产能评价,有助于天然气勘探开发决策的制订。 展开更多

关键词 气井绝对无阻流量 非稳态特征 试井模型 解析解 典型曲线图版 迭代计算 产能预测

在线阅读 下载PDF 职称材料

一种基于对象状态的软件测试方法

14

作者 史桂红 《电脑与信息技术》 2005年第2期1-4,共4页

面向对象的软件测试是面向对象软件开发的重要阶段,基于对象状态的软件测试方法是面向对象软件测试中类测试的常用方法。文章通过符号执行技术运行类中的每个操作,区分出对象的所有状态属性及状态区间。根据状态集和状态转换集构造出状... 面向对象的软件测试是面向对象软件开发的重要阶段,基于对象状态的软件测试方法是面向对象软件测试中类测试的常用方法。文章通过符号执行技术运行类中的每个操作,区分出对象的所有状态属性及状态区间。根据状态集和状态转换集构造出状态图。 展开更多

关键词 软件测试方法 对象状态 面向对象 软件开发 常用方法 状态转换 测试用例 类测试 状态图 状态集 属性

在线阅读 下载PDF 职称材料

基于UML状态图的列控中心软件测试路径生成方法 被引量：7

15

作者 王秀玄 《铁路计算机应用》 2016年第8期9-12,15,共5页

针对列控中心测试,介绍了基于UML状态图的列控中心测试路径生成方法。根据列控中心需求规范建立UML状态图模型;采用改进的深度优先搜索算法(DFS)自动搜索有向图得到从初始节点到终止节点的所有路径集合,利用贪心算法构造超串合并测试需... 针对列控中心测试,介绍了基于UML状态图的列控中心测试路径生成方法。根据列控中心需求规范建立UML状态图模型;采用改进的深度优先搜索算法(DFS)自动搜索有向图得到从初始节点到终止节点的所有路径集合,利用贪心算法构造超串合并测试需求;利用路径集合扩展测试需求集合,最终实现测试路径自动生成;以列控中心改变区间运行方向功能为例,给出测试路径生成方法实现。 展开更多

关键词 测试路径 UML状态图 列控中心 深度优先搜索 超串

在线阅读 下载PDF 职称材料

老年性聋与认知功能障碍的相关临床特点分析 被引量：1

16

作者 刘业军 赵亚会 张燕 《当代医学》 2019年第31期66-68,共3页

目的探讨老年性聋患者可能出现认知功能障碍相关的临床特点进行分析研究。方法纳入2017年7月至2018年3月就诊于本院耳鼻咽喉科且符合老年性聋的患者100例,同时选取于全国爱耳日义诊的无糖尿病、冠心病、哮喘、高血压等基础病史、无耳科... 目的探讨老年性聋患者可能出现认知功能障碍相关的临床特点进行分析研究。方法纳入2017年7月至2018年3月就诊于本院耳鼻咽喉科且符合老年性聋的患者100例,同时选取于全国爱耳日义诊的无糖尿病、冠心病、哮喘、高血压等基础病史、无耳科相关病史的健康患者100例,经询问病史、问卷调查(简易智力状况检查表、画钟测验)统计基本信息,并行纯音测听检查及声阻抗检查等检查,根据其认知功能的分类、严重程度进行分组及分析。结果与健康者比较,老年性聋患者出现认知功能障碍的风险较高,差异有统计学意义(P<0.05),轻度与中度认知功能障碍的差异具有统计学意义,重度认知功能障碍的差异无统计学意义;老年性聋的认知功能障碍主要表现在记忆力、注意力、回忆方面存在较高风险,差异有统计学意义(P<0.05);定向力、语言能力方面差异无统计学意义。结论老年性聋患者存在认知功能障碍的高危风险,临床工作中应该重视老年性聋患者认知功能方面的认识,提高患者生活质量。 展开更多

关键词 老年性聋 认知功能障碍 简易智力状况检查表 画钟测验 记忆力

暂未订购

基于LTL的UML状态图测试用例生成方法

17

作者 高莉 《安徽建筑大学学报》 2015年第2期75-78,共4页

测试用例的自动生成是软件测试研究的主要方向之一,针对软件开发过程中测试数据生成存在低效、无目的、冗余等问题,提出了基于UML状态模型图的面向对象类级测试用例生成方法,将UML状态图转换成相应的事件确定有限状态机,通过线性时序逻... 测试用例的自动生成是软件测试研究的主要方向之一,针对软件开发过程中测试数据生成存在低效、无目的、冗余等问题,提出了基于UML状态模型图的面向对象类级测试用例生成方法,将UML状态图转换成相应的事件确定有限状态机,通过线性时序逻辑的模型检测技术,验证有限状态机模型的正确性,实验结果表明,该方法能够在不降低迁移覆盖准则的情况下,生成数量少、针对性强的测试用例集。 展开更多

关键词 软件测试 测试用例生成 UML状态图 线性时序逻辑

在线阅读 下载PDF 职称材料

基于TFG的UML状态图测试方法

18

作者 徐艳 李力峰 《高职论丛》 2010年第4期10-14,共5页

随着软件规模的不断扩大,其状态空间会随之增大,甚至会出现状态大爆炸的现象,这给分析其状态转换的流程带来相当大的困难。本文探讨了一种通过把UML状态图转化为中间图TFG的方法来产生测试序列,该方法能有效降低使用UML状态图产生测试... 随着软件规模的不断扩大,其状态空间会随之增大,甚至会出现状态大爆炸的现象,这给分析其状态转换的流程带来相当大的困难。本文探讨了一种通过把UML状态图转化为中间图TFG的方法来产生测试序列,该方法能有效降低使用UML状态图产生测试用例的难度。 展开更多

关键词 UML状态图 TFG 测试模型

原文传递