结构性自动软件测试的设计方法与实现 被引量：3

1

作者 苏庆 吴伟民 黎凯伦 《计算机工程与设计》 CSCD 北大核心 2006年第8期1417-1419,共3页

阐述了一种自动生成结构性测试用例的设计方法与实现过程。采用广义表数据结构作为源程序的中间表示,在辅助实现结构性测试主要功能的同时,兼顾程序结构可视化。讨论了怎样以适当代价尽量高效全面地生成测试用例,并且提供较易用的使用... 阐述了一种自动生成结构性测试用例的设计方法与实现过程。采用广义表数据结构作为源程序的中间表示,在辅助实现结构性测试主要功能的同时,兼顾程序结构可视化。讨论了怎样以适当代价尽量高效全面地生成测试用例,并且提供较易用的使用界面。已经在一个可视化集成开发环境中的程序测试模块得到应用。 展开更多

关键词 软件测试自动化 广义表 可视化 流程图 测试用例

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

有界地层非牛顿渗流试井解释模型 被引量：12

3

作者 刘泽俊 孙智 宋考平 《大庆石油地质与开发》 CAS CSCD 北大核心 1996年第3期63-66,共4页

建立了圆形有界地层中非牛顿幂律流体渗流边界定压和封闭两种模型，求得了拉氏空间中的解，做出了理论图版，进行了实例研究。本文的研究可用于聚合物驱等非牛顿渗流条件下的试井解释。

关键词 压力恢复曲线 试井 非牛顿渗流 解释模型

在线阅读 下载PDF 职称材料

无损检测的质量控制技术 被引量：7

4

作者 郝红卫 《无损检测》 北大核心 2007年第11期666-668,共3页

以控制无损检测中的误判为例,介绍了质量控制技术在无损检测质量管理工作中的应用。首先利用流程图发现出现误判问题的产生环节,即缺陷的定位或定量错误。然后利用两图一表(因果图、排列图和检查表)分析引起缺陷定量或定位错误的原因。... 以控制无损检测中的误判为例,介绍了质量控制技术在无损检测质量管理工作中的应用。首先利用流程图发现出现误判问题的产生环节,即缺陷的定位或定量错误。然后利用两图一表(因果图、排列图和检查表)分析引起缺陷定量或定位错误的原因。最后制定了防止误判产生的对策表。采用质量控制技术可以实现无损检测质量的持续改进。 展开更多

关键词 无损检测 质量控制 流程图 因果图 排列图 检查表

在线阅读 下载PDF 职称材料

某型数字化汽车组合仪表出厂检测设备的开发 被引量：2

5

作者 刘庆华 李忠国 +1 位作者 周木子 董晓马 《测控技术》 CSCD 2007年第5期37-39,共3页

针对汽车组合仪表出厂质量检测要求,运用模块化设计思想构建系统结构,开发出某型仪表出厂检测设备。基于工业PC、Win98软件平台,采用仿真技术和数字编程电路接口技术实现对数字式组合仪表校测进行可编程数字模拟;开发了测控系统过程处... 针对汽车组合仪表出厂质量检测要求,运用模块化设计思想构建系统结构,开发出某型仪表出厂检测设备。基于工业PC、Win98软件平台,采用仿真技术和数字编程电路接口技术实现对数字式组合仪表校测进行可编程数字模拟;开发了测控系统过程处理软件包,使数字式组合仪表生产实现程序化,并兼顾了操作方便性。给出了主要软件设计和流程图。该设备实际运行可靠、操作简便、界面友好,并具备随仪表改型同步升级的能力,较好地满足了使用要求。 展开更多

关键词 汽车组合仪表 质量检测 工业PC 可编程数字模拟 串行口 软件流程图

在线阅读 下载PDF 职称材料

HTR-10的调试管理

6

作者 苏庆善 王瑞偏 +3 位作者 陈华 梁锡华 胡守印 孙栓樑 《核动力工程》 EI CAS CSCD 北大核心 2002年第2期109-112,共4页

10MW高温气冷实验堆(HTR-10)属于研究堆类型,但又具有小型核动力堆的运行模式;HTR-10的调试队伍由设计者、运行者和合同单位有关人员组成。针对HTR-10自身的特点和调试队伍人员组合的特点,确定了调试管理模式。本文重点介绍了HTR-10调... 10MW高温气冷实验堆(HTR-10)属于研究堆类型,但又具有小型核动力堆的运行模式;HTR-10的调试队伍由设计者、运行者和合同单位有关人员组成。针对HTR-10自身的特点和调试队伍人员组合的特点,确定了调试管理模式。本文重点介绍了HTR-10调试管理中的调试组织的规范化和试验活动的程序化,并给出了试验活动程序流程图。 展开更多

关键词 HTR-10 高温气冷实验堆 调试管理 调试组织 试验活动流程图

在线阅读 下载PDF 职称材料

江都散货泊位船舶操纵仿真模拟研究 被引量：3

7

作者 焦战立 《中国航海》 CSCD 北大核心 2008年第4期428-431,共4页

拟建江都散货泊位工程水域附近流态复杂。为保证进出港船舶和靠、离泊作业船舶的安全,需要对拟建工程进行模拟仿真研究。根据实地拍摄视景图片和定位,制作出码头附近的三维视景库,利用当地实测地形资料和相关资料,制作出包括码头设计尺... 拟建江都散货泊位工程水域附近流态复杂。为保证进出港船舶和靠、离泊作业船舶的安全,需要对拟建工程进行模拟仿真研究。根据实地拍摄视景图片和定位,制作出码头附近的三维视景库,利用当地实测地形资料和相关资料,制作出包括码头设计尺寸、航道的三维地形图和视景图及电子江图,运用水流模拟软件进行模拟和验证,建立了6自由度的设计船舶模型,根据不同风、流组合条件,进行了模拟航行和操纵试验,得到试验数据和模拟研究结论。本次模拟研究,首次使用专业水流模拟软件,结合大型船舶操纵模拟器进行试验,使结果更加具有参考价值和科学依据。 展开更多

关键词 水路运输 码头 船舶 模拟仿真 水流 电子海图 试验

在线阅读 下载PDF 职称材料

“互联网+”时代的计量产业平台 被引量：19

8

作者 李洪波 李伟 +1 位作者 张泽光 李少壮 《计测技术》 2015年第5期1-9,14,共10页

综述了国内计量现状、我国计量市场化面临的挑战,提出建立以行业计量检测中心为核心、以入股方式参与利益分配的计量股份公司/集团是计量资源整合的最优途径,并给出了具体实施路径。简述了"互联网+"时代计量平台所需考虑的数... 综述了国内计量现状、我国计量市场化面临的挑战,提出建立以行业计量检测中心为核心、以入股方式参与利益分配的计量股份公司/集团是计量资源整合的最优途径,并给出了具体实施路径。简述了"互联网+"时代计量平台所需考虑的数据存储/处理、营销、标准化、监督/审计和信用、支付、物流、客户服务及远程计测的功能和作用,给出了基于"互联网+"的直接服务于客户的计量流程控制图。 展开更多

关键词 计量学 互联网+ 泛互联网 平台 计量管理 流程控制 检定 校准 测试

在线阅读 下载PDF 职称材料

双重介质地层的凝析气井定流压分析模型及应用 被引量：5

9

作者 李笑萍 赵子刚 《大庆石油地质与开发》 CAS CSCD 北大核心 2005年第6期45-47,共3页

在凝析气井生产过程中地层流体会产生复杂的相变,如果井底析出凝析油会造成严重的井底污染,影响气井产量。为了避免这种现象,凝析气井多以定流压的状态进行生产,因此,从凝析气井生产的这一实际情况出发,改变了以往传统的常产量试井分析... 在凝析气井生产过程中地层流体会产生复杂的相变,如果井底析出凝析油会造成严重的井底污染,影响气井产量。为了避免这种现象,凝析气井多以定流压的状态进行生产,因此,从凝析气井生产的这一实际情况出发,改变了以往传统的常产量试井分析理论,建立了适应于凝析气井试井分析的定流压渗流模型,绘制了试井理论图版,以适用于凝析气井的试井分析,可以通过凝析气井的产量历史解释出地层参数,还可以进行产能预测,并给出了应用实例。 展开更多

关键词 凝析气相变 双重介质地层 定流压试井模型 理论图版 气井产量史 地层参数

在线阅读 下载PDF 职称材料

基本路径测试技术及应用研究

10

作者 明德廷 李娟 +1 位作者 王兴宇 谭亮 《计算机应用文摘》 2024年第7期74-76,81,共4页

基本路径测试法是一种白盒测试方法,文章将程序流程图映射成流图,探讨了程序的3种基本结构映射成流图的方法,计算了流图的环形复杂度并确定了基本测试路径,从而为每条基本路径设计了测试用例。实践证明,基本路径测试法适用于执行路径较... 基本路径测试法是一种白盒测试方法,文章将程序流程图映射成流图,探讨了程序的3种基本结构映射成流图的方法,计算了流图的环形复杂度并确定了基本测试路径,从而为每条基本路径设计了测试用例。实践证明,基本路径测试法适用于执行路径较多的程序,通过选择有代表性的路径进行测试,可有效提高测试效率。 展开更多

关键词 基本路径 白盒测试 流图 环形复杂度

在线阅读 下载PDF 职称材料

基于安全充分捕获技术的多时钟数字系统测试矢量生成

11

作者 张金艺 熊艳爽 《上海大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第1期4-9,共6页

针对多时钟数字系统提出了一种新颖的产生测试矢量的方法——安全充分捕获技术(Safe and CompleteCapture Technology,S&CCT).该方法对电路系统中的时钟按照一定的标准分为等效时钟和串行时钟,然后确定正确的时钟捕获顺序.使用并发... 针对多时钟数字系统提出了一种新颖的产生测试矢量的方法——安全充分捕获技术(Safe and CompleteCapture Technology,S&CCT).该方法对电路系统中的时钟按照一定的标准分为等效时钟和串行时钟,然后确定正确的时钟捕获顺序.使用并发故障模拟器从逻辑上和时序上对生成的测试矢量进行仿真,测试矢量生成器使用该仿真信息,以避免生成失效测试矢量.实验证明,S&CCT与传统方法相比,测试矢量数目减少50%左右,不仅大大减少了测试矢量的数目,对电路的硬件开销也几乎没有影响. 展开更多

关键词 安全充分捕获技术 自动测试图形生成 测试协议 时钟分类标准 数据流图 测试覆盖率

在线阅读 下载PDF 职称材料

软件测试的一种数学优化方法──由Fokker　Planck方程得到的Markov链算法

12

作者 段虞荣 曾昭才 段绍光 《重庆大学学报（自然科学版）》 CSCD 1996年第6期66-72,共7页

从数学优化角度对软件测试问题进行探索性研究，将软件测试中的结构测试问题转化为一个组合最优化问题，然后利用Ｆｏｋｋｅｒ－Ｐｌａｎｃｋ方程的离散形式而得到的Ｍａｒｋｏｖ链为基础的一个算法求解．最后给出了几个测试实例的部分... 从数学优化角度对软件测试问题进行探索性研究，将软件测试中的结构测试问题转化为一个组合最优化问题，然后利用Ｆｏｋｋｅｒ－Ｐｌａｎｃｋ方程的离散形式而得到的Ｍａｒｋｏｖ链为基础的一个算法求解．最后给出了几个测试实例的部分数值结果。 展开更多

关键词 软件测试 优化 F-P方程 马尔柯夫链

在线阅读 下载PDF 职称材料

OSEK/VDX操作系统功能测试研究 被引量：2

13

作者 马保 罗晓敏 +2 位作者 涂时亮 沈灏 仇睿 《计算机工程》 CAS CSCD 2012年第6期262-264,共3页

传统OSEK/VDX操作系统测试采用分类树的测试方法,导致测试路径不完全和冗余性高。为此,提出以系统服务接口为目标的面向符合类的流框图测试方法。通过评估接口重要度,准确判断接口的各种调用组合方式,提高测试覆盖率,实现测试代码的复用... 传统OSEK/VDX操作系统测试采用分类树的测试方法,导致测试路径不完全和冗余性高。为此,提出以系统服务接口为目标的面向符合类的流框图测试方法。通过评估接口重要度,准确判断接口的各种调用组合方式,提高测试覆盖率,实现测试代码的复用,其测试工作量比原方法减少三分之一。 展开更多

关键词 功能测试 流框图 符合类 最重要测试 测试覆盖率 分类树

在线阅读 下载PDF 职称材料

变速器智能检测系统软件的开发

14

作者 张广斌 王坤侠 《电脑知识与技术》 2009年第8期6233-6234,共2页

针对变速器在线检测已经成为汽车工业生产流水线重要组成部分的情况，开发了一个基于组态王软件的变速器检测监控系统。阐述了系统的硬件结构和软件总体规划，在介绍使用组态网的数组字典定义变量的基础上，论述了软件中的核心模块一换... 针对变速器在线检测已经成为汽车工业生产流水线重要组成部分的情况，开发了一个基于组态王软件的变速器检测监控系统。阐述了系统的硬件结构和软件总体规划，在介绍使用组态网的数组字典定义变量的基础上，论述了软件中的核心模块一换挡控制模块的流程图和模块的详细设计过程。 展开更多

关键词 变速器 检测 换挡 数组字典 流程图

在线阅读 下载PDF 职称材料

电路板故障诊断系统可视化开发环境的设计与实现 被引量：1

15

作者 保坤 王厚军 兰京川 《计算机测量与控制》 CSCD 北大核心 2010年第4期746-748,751,共4页

传统TPS开发平台大多给用户提供采用文本形式通用语言为基础的非可视化编辑环境,这种环境复杂,难学,不够直观;针对这种情况,结合某电路板故障诊断系统,提出了一种基于MS Visio构建可视化TPS开发环境的设计方法,实现了测试策略的可视化编... 传统TPS开发平台大多给用户提供采用文本形式通用语言为基础的非可视化编辑环境,这种环境复杂,难学,不够直观;针对这种情况,结合某电路板故障诊断系统,提出了一种基于MS Visio构建可视化TPS开发环境的设计方法,实现了测试策略的可视化编程,并研究了由这种测试策略流程图转换为可编译运行的C程序代码的算法;该方法具有简单、直观、易学易用等优点;通过雷达电路板的故障诊断过程可以看出,该可视化开发环境提高了TPS的开发效率,降低了开发难度,提高了测试效率,对自动测试系统的组建有着积极的意义。 展开更多

关键词 可视化 自动测试技术 VISIO二次开发 测试流程图 代码实现

在线阅读 下载PDF 职称材料

基于软件内建自测试的测试用例研究 被引量：1

16

作者 唐培 徐拾义 《计算机应用与软件》 CSCD 北大核心 2006年第10期45-46,共2页

在软件测试中,测试用例的生成是关键。我们通过特定的模板[1]来得到程序流程图的信息,用一系列的规则把流程图[2]转换成二叉树表示的形式,然后遍历二叉树的各个分支,对每个分支都生成测试用例。从而达到白盒测试中具有较高故障覆盖率的... 在软件测试中,测试用例的生成是关键。我们通过特定的模板[1]来得到程序流程图的信息,用一系列的规则把流程图[2]转换成二叉树表示的形式,然后遍历二叉树的各个分支,对每个分支都生成测试用例。从而达到白盒测试中具有较高故障覆盖率的路径覆盖。 展开更多

关键词 软件测试 测试用例 流程图 二叉树

在线阅读 下载PDF 职称材料

完全路径覆盖测试法 被引量：1

17

作者 贺青春 叶柏龙 《矿业研究与开发》 CAS 北大核心 2007年第1期43-45,共3页

白盒测试是一种基于程序逻辑结构的测试,结构越复杂的程序需要的测试用例越多,存在测试量过大和测试不足这一对始终难解的矛盾。将程序分割,使其结构简单化,既可以减少测试工作量,又可以使测试充足,即通过使用完全路径覆盖法可以缓解这... 白盒测试是一种基于程序逻辑结构的测试,结构越复杂的程序需要的测试用例越多,存在测试量过大和测试不足这一对始终难解的矛盾。将程序分割,使其结构简单化,既可以减少测试工作量,又可以使测试充足,即通过使用完全路径覆盖法可以缓解这一对矛盾。 展开更多

关键词 白盒测试 路径覆盖 测试用例 流图

在线阅读 下载PDF 职称材料

自动化测试在硬件在环平台中的实现方案 被引量：5

18

作者 袁永军 刘天翼 +1 位作者 王珂 王志强 《汽车工程师》 2013年第5期53-56,共4页

文章针对目前V-Model开发汽车电子控制器过程中硬件在环阶段的自动化测试实现方法进行分析研究。引入了自动化测试的典型解决方案:流程图式和表驱动式2种。并从成本对项目的适应性及优缺点等方面对不同的自动化测试方案进行了讨论及概... 文章针对目前V-Model开发汽车电子控制器过程中硬件在环阶段的自动化测试实现方法进行分析研究。引入了自动化测试的典型解决方案:流程图式和表驱动式2种。并从成本对项目的适应性及优缺点等方面对不同的自动化测试方案进行了讨论及概括。在此基础上,提出了与实际项目相适应的自动化测试解决方案,从而达到最优化测试效率,并通过实际项目的统计结果,体现了自动化测试的优势。 展开更多

关键词 硬件在环 自动化测试 流程图 表驱动

在线阅读 下载PDF 职称材料

苏里格气田试气地面流程改进历程及应用 被引量：3

19

作者 张群双 《油气井测试》 2010年第1期50-51,共2页

选择苏里格气田苏14区块为研究对象,对该区块试气地面流程改进的三个阶段以及各阶段的优缺点进行了论述。实践认为,目前各区块使用第三阶段设计的T型油嘴套精简阶段地面流程,选择KQ65/70带针阀的六阀井口,通过井口针阀、地面针阀、油嘴... 选择苏里格气田苏14区块为研究对象,对该区块试气地面流程改进的三个阶段以及各阶段的优缺点进行了论述。实践认为,目前各区块使用第三阶段设计的T型油嘴套精简阶段地面流程,选择KQ65/70带针阀的六阀井口,通过井口针阀、地面针阀、油嘴套实现三级节流控制。该阶段流程组装容易,安装精简,配合相应措施,可降低成本,适合在苏里格气田同等压力环境下推广应用。 展开更多

关键词 苏里格气田 试气 地面流程 改进

在线阅读 下载PDF 职称材料

一种用于类的数据流测试中构造控制流图的算法

20

作者 季秀兰 《昭通师范高等专科学校学报》 2006年第5期26-28,共3页

分析类的数据流,说明数据的定义-使用对;给出构造类的控制流图的一种算法.

关键词 数据流测试 定义-使用对 控制流图

在线阅读 下载PDF 职称材料