期刊文献+
共找到721篇文章
< 1 2 37 >
每页显示 20 50 100
智能变电站间隔层设备自动测试系统研制 被引量:58
1
作者 董磊超 刘昊昱 +1 位作者 浮明军 何涛 《电力系统自动化》 EI CSCD 北大核心 2015年第5期147-151,共5页
针对目前智能变电站测试环节自动化程度不高现状,提出了智能变电站间隔层设备自动测试系统实现方案。叙述了自动测试系统的硬件架构,从软件功能角度论述了各模块主要功能及其实现过程。对测试用例自动生成、异常模拟和多装置测试等实现... 针对目前智能变电站测试环节自动化程度不高现状,提出了智能变电站间隔层设备自动测试系统实现方案。叙述了自动测试系统的硬件架构,从软件功能角度论述了各模块主要功能及其实现过程。对测试用例自动生成、异常模拟和多装置测试等实现过程中的疑难问题进行了详细探讨并给出了解决方案。该系统目前已成功应用于某智能变电站间隔层设备的研发测试。 展开更多
关键词 智能变电站 间隔层 自动测试系统 测试用例
下载PDF
智能变电站间隔层设备智能定检作业系统的研究 被引量:11
2
作者 彭海平 高昌培 +3 位作者 熊学海 赵凌 赵艳 田海涛 《电力系统保护与控制》 EI CSCD 北大核心 2017年第2期99-104,共6页
随着IEC61850标准的应用与实施,使智能变电站间隔层设备定检技术的智能化成为可能。从硬件构架和软件功能及其实现过程两方面论述了智能变电站间隔层设备定检作业系统的实现方案,从而实现规范、标准、高效的闭环自动测试,目前已成功应... 随着IEC61850标准的应用与实施,使智能变电站间隔层设备定检技术的智能化成为可能。从硬件构架和软件功能及其实现过程两方面论述了智能变电站间隔层设备定检作业系统的实现方案,从而实现规范、标准、高效的闭环自动测试,目前已成功应用于贵州电网某智能变电站间隔层设备的检测。对通用测试模板的开发、测试用例的自动生成等实现过程中的关键问题提出了相应的解决方案。该系统采用抽象化和模块化设计思路,其构建方法对智能变电站系统联调、验收等工程实践的借鉴具有参考意义。 展开更多
关键词 智能变电站 间隔层设备 闭环自动测试 测试用例 通用测试模板
下载PDF
UML状态图和Petri网络在类测试用例生成的应用 被引量:7
3
作者 陈志德 曾凡平 《小型微型计算机系统》 CSCD 北大核心 2010年第3期519-522,共4页
分析和研究UML状态图、扩展状态机和Petri网在类测试用例生成的特点,提出结合三者优势的类测试用例生成方法.通过Petri网对状态图进行性质分析可以解决状态爆炸,分析状态图冲突和了解覆盖性等问题.通过实例分析和研究,三者结合的基于完... 分析和研究UML状态图、扩展状态机和Petri网在类测试用例生成的特点,提出结合三者优势的类测试用例生成方法.通过Petri网对状态图进行性质分析可以解决状态爆炸,分析状态图冲突和了解覆盖性等问题.通过实例分析和研究,三者结合的基于完整路径转换测试准则所产生测试用例生成方法是有效的. 展开更多
关键词 UML状态图 扩展状态机 PETRI网 测试用例
下载PDF
一种基于正交表的功能组合测试设计方法 被引量:5
4
作者 夏镇 饶若楠 《微型电脑应用》 2007年第3期3-6,9,共5页
软件测试在目前的软件开发过程中的地位日益重要。特别是目前的软件功能愈来愈多,必须保证各功能组合之间不产生冲突。如果以无条件地测试所有功能组合,则测试项目数会呈指数级增长而使得实际测试不可能。为了抑制这种组合的发散,利用... 软件测试在目前的软件开发过程中的地位日益重要。特别是目前的软件功能愈来愈多,必须保证各功能组合之间不产生冲突。如果以无条件地测试所有功能组合,则测试项目数会呈指数级增长而使得实际测试不可能。为了抑制这种组合的发散,利用正交表来设计测试是一种有效的方法。本文阐述了一种基于正交表的功能组合测试设计方法和应用,并开发了相应的测试用例生成工具,基于正交表原理,对测试对象程序的各功能项进行组合,确保用较少的测试用例达到较大的测试覆盖率。实验表明,与传统手工测试用例设计方法相比,利用该方法生成的测试用例覆盖率提高2倍,Bug发现率增加3倍,测试用例设计工时压缩为1/6。 展开更多
关键词 测试 正交表 功能组合测试 测试用例
下载PDF
分布式软件系统交互行为建模、验证与测试 被引量:9
5
作者 张琛 段振华 +1 位作者 田聪 鱼滨 《计算机研究与发展》 EI CSCD 北大核心 2015年第7期1604-1619,共16页
为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2.0序列图对模块之间交互行为进行描述.采用基于... 为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2.0序列图对模块之间交互行为进行描述.采用基于命题投影时序逻辑的模型检测技术,将对象状态机图转换为Promela模型,系统交互性质转换为命题投影时序逻辑公式,通过模型检测器验证交互模型是否满足于系统的性质,若不满足于该性质,则能够获得反例执行的路径.给出了一个分布式软件系统测试框架,在验证后的序列图模型基础上,使用基于模型的测试用例自动生成方法得到测试用例集合,该集合能够实现对交互行为的有效测试.实例结果表明,该方法可以提高分布式软件系统中模块交互行为的有效性和可靠性. 展开更多
关键词 分布式软件系统 建模 模型检测 验证 测试用例
下载PDF
黑盒测试技术方法在大气数据计算机软件测试中的应用 被引量:9
6
作者 魏鑫 安鹏伟 +1 位作者 赵菲 高米 《导航定位与授时》 2018年第5期107-111,共5页
软件测试是保证软件产品质量的一个重要手段,其中测试用例的设计是软件测试的关键。以大气数据计算机软件测试为例,详细介绍了软件黑盒测试的几种方法,用黑盒测试技术来设计切实可行的测试用例。实践证明,应用黑盒测试技术在大气数据计... 软件测试是保证软件产品质量的一个重要手段,其中测试用例的设计是软件测试的关键。以大气数据计算机软件测试为例,详细介绍了软件黑盒测试的几种方法,用黑盒测试技术来设计切实可行的测试用例。实践证明,应用黑盒测试技术在大气数据计算机软件测试中设计测试用例,提高了测试效率,发现了软件问题,取得了较好的效果。 展开更多
关键词 黑盒测试 等价类划分法 边界值分析 测试用例
下载PDF
从Rose的规约文件自动生成测试用例 被引量:3
7
作者 张毅坤 施凤鸣 《计算机应用》 CSCD 北大核心 2003年第12期12-15,共4页
对基于状态的类测试用例自动生成进行了研究,重点放在状态预测和测试消息序列生成上:类的动态行为用UML的状态图表示,测试时直接从RationalRose的规约文件中读取状态图规约生成测试消息序列;对状态的预测使用状态不变量;生成消息序列时... 对基于状态的类测试用例自动生成进行了研究,重点放在状态预测和测试消息序列生成上:类的动态行为用UML的状态图表示,测试时直接从RationalRose的规约文件中读取状态图规约生成测试消息序列;对状态的预测使用状态不变量;生成消息序列时对算法进行优化,减少消息序列的冗余,从而缩短消息序列的路径长度。 展开更多
关键词 面向对象 基于状态的测试 测试用例 UML 状态图 有限状态机
下载PDF
软件测试用例设计 被引量:8
8
作者 李洁 《电脑编程技巧与维护》 2010年第4期17-19,23,共4页
软件测试重要性越来越大,测试用例的设计是整个测试过程的基础。结合工作实践介绍软件测试用例的重要性和测试用例的设计方法,并举例说明如何应用白盒测试技术和黑盒测试技术。
关键词 软件测试 白盒测试 黑盒测试 测试用例
下载PDF
基于蚁群算法的测试用例集优化方法 被引量:8
9
作者 任洪丽 张伟 梁家安 《计算机工程与应用》 CSCD 北大核心 2010年第29期58-62,共5页
为了达到以尽可能少的测试用例满足测试需求的目的,提出了一种先对测试用例集进行完全划分,再利用蚁群算法对其优化的方法。首先根据测试需求间的相互关系,将最初的测试用例集划分成多个互不相交的子集,每个子集中的元素为等价测试用例... 为了达到以尽可能少的测试用例满足测试需求的目的,提出了一种先对测试用例集进行完全划分,再利用蚁群算法对其优化的方法。首先根据测试需求间的相互关系,将最初的测试用例集划分成多个互不相交的子集,每个子集中的元素为等价测试用例;其次从各个子集中选取一个测试用例,组成一个新的集合,该集合已经摒弃了部分冗余测试用例;然后利用蚁群算法对测试用例集进行最优的简化;最后通过实例证明了该方法可以产生比原有的方法更优的测试用例集。 展开更多
关键词 测试用例 测试需求 蚁群算法 测试用例集
下载PDF
基于PCI板卡的PLC测试系统的设计与实现 被引量:7
10
作者 姬希娜 李国杰 +2 位作者 刘仁千 刘沛 李松合 《测控技术》 CSCD 北大核心 2013年第7期41-44,共4页
介绍了PLC测试系统的实现方法。该测试系统硬件使用PC机和工业PCI板卡,用于产生PLC的模拟/数字输入信号和监测PLC的模拟/数字输出信号,测试软件的开发基于Windows平台下的MFC。描述了硬件选型注意事项和测试软件结构,并详细阐述了测试... 介绍了PLC测试系统的实现方法。该测试系统硬件使用PC机和工业PCI板卡,用于产生PLC的模拟/数字输入信号和监测PLC的模拟/数字输出信号,测试软件的开发基于Windows平台下的MFC。描述了硬件选型注意事项和测试软件结构,并详细阐述了测试软件中手动测试模块和自动测试模块的设计方法,最后举例说明如何使用基于测试用例集的自动测试来产生测试信号序列。该测试系统可以灵活方便地模拟工业现场的各种信号发生情况,图形化的测试结果形象直观,并具有一定的通用性。 展开更多
关键词 PLC PCI 测试系统 输入 输出信号 手动测试 自动测试 测试用例
下载PDF
基于TF-IDF加权朴素贝叶斯算法的ATP车载设备测试案例分类研究 被引量:6
11
作者 王心仪 程剑锋 刘育君 《铁路计算机应用》 2022年第12期8-12,共5页
针对列车超速防护(ATP,Automatic Train Protection)系统车载设备测试案例分类存在的工作量大、效率低且准确性不高等问题,提出了将词频—逆文档频率(TF-IDF,Term Frequency-Inverse Document Frequency)与朴素贝叶斯算法相结合,应用于... 针对列车超速防护(ATP,Automatic Train Protection)系统车载设备测试案例分类存在的工作量大、效率低且准确性不高等问题,提出了将词频—逆文档频率(TF-IDF,Term Frequency-Inverse Document Frequency)与朴素贝叶斯算法相结合,应用于测试案例分类的方案。利用TF-IDF算法筛选特征词及权重,对朴素贝叶斯算法进行加权处理,并基于实验室现有ATP车载设备的测试案例进行验证。实验结果表明,文章的特征词提取及测试案例分类方法具有较高的准确性。 展开更多
关键词 列车超速防护(ATP) 测试案例 TF-IDF 朴素贝叶斯 案例分类
下载PDF
灰盒测试方法的实践与研究 被引量:6
12
作者 张卫祥 刘文红 《飞行器测控学报》 2010年第6期86-89,共4页
从测试是否针对系统的内部结构和具体实现的角度来看,软件测试可分为白盒测试和黑盒测试。而灰盒测试是近年来提出的一种新的软件测试方法,它兼顾了白盒测试和黑盒测试方法的优点。本文在实践的基础上,对灰盒测试方法进行了研究,介绍了... 从测试是否针对系统的内部结构和具体实现的角度来看,软件测试可分为白盒测试和黑盒测试。而灰盒测试是近年来提出的一种新的软件测试方法,它兼顾了白盒测试和黑盒测试方法的优点。本文在实践的基础上,对灰盒测试方法进行了研究,介绍了灰盒测试基本知识和一种灰盒测试方法的实现过程。 展开更多
关键词 软件测试 灰盒测试方法 测试用例
下载PDF
基于因果图的软件测试方法 被引量:6
13
作者 王立荣 何炜 《计算机系统应用》 2010年第4期104-107,共4页
因果图方法是一种有效的软件测试方法,适合于描述对于多种条件的组合、相应产生多个动作形式的测试用例设计。因果图最终被转换为判定表,但是由因果图到判定表的转换是很困难的。描述了因果图方法的原理并详细说明了因果图到判定表的转... 因果图方法是一种有效的软件测试方法,适合于描述对于多种条件的组合、相应产生多个动作形式的测试用例设计。因果图最终被转换为判定表,但是由因果图到判定表的转换是很困难的。描述了因果图方法的原理并详细说明了因果图到判定表的转换算法,介绍了因果图方法测试用例的生成。 展开更多
关键词 软件测试 因果图 判定表 测试用例
下载PDF
医疗器械独立软件检测要求及方法 被引量:6
14
作者 王晨希 王权 李佳戈 《中国医疗设备》 2020年第11期66-69,76,共5页
目的针对目前医疗器械独立软件的检测方法进行介绍,为更好的对独立软件的质量评价提供意见和思路。方法通过对国家药品监督管理局颁布的医疗器械软件注册法规和文献中有关独立软件产品技术要求内容的解读,结合产品实际检验检测经验,分... 目的针对目前医疗器械独立软件的检测方法进行介绍,为更好的对独立软件的质量评价提供意见和思路。方法通过对国家药品监督管理局颁布的医疗器械软件注册法规和文献中有关独立软件产品技术要求内容的解读,结合产品实际检验检测经验,分别从通用要求、质量要求和专用要求三个方面进行分析,提供通用要求需要明确的要素,质量要求测试用例建立的方法和角度,专用要求的适用情况。结果相关测试用例的方式的编写和检测模型和对应的检测方法的建立,可以指导制造商编写医疗器械独立软件产品技术,指导检验检测机构如何开展相关评测。结论明确产品的质量评价方法,建立相关检测模型,能够完成此类产品检测,并对当前检测方法的不足之处提出意见和建议。 展开更多
关键词 医疗器械 软件 标准 测试用例
下载PDF
基于遗传算法的黑箱测试用例自动生成模型 被引量:4
15
作者 潘祖烈 孙乐昌 +1 位作者 蔡铭 陈建熊 《计算机工程》 CAS CSCD 北大核心 2008年第9期205-207,210,共4页
介绍基于遗传算法的测试用例自动生成技术,研究了利用动态调试技术和静态反汇编技术计算遗传算法中适应度函数的方法,设计了基于遗传算法的黑箱测试用例自动生成模型。该模型可直接对可执行文件自动生成测试用例,避免对程序进行源代码插... 介绍基于遗传算法的测试用例自动生成技术,研究了利用动态调试技术和静态反汇编技术计算遗传算法中适应度函数的方法,设计了基于遗传算法的黑箱测试用例自动生成模型。该模型可直接对可执行文件自动生成测试用例,避免对程序进行源代码插装,降低对程序源代码的要求,扩展了基于遗传算法的测试用例自动生成技术的应用范围。 展开更多
关键词 黑箱测试 遗传算法 测试例
下载PDF
基于蚁群算法的STP系统测试序列优化生成 被引量:5
16
作者 唐汇东 杨华昌 +1 位作者 王浩然 任宛星 《计算机工程与设计》 北大核心 2020年第8期2259-2264,共6页
为提高对无线调车机车信号和监控系统(STP)的测试效率,提出一种由计算机优化生成STP系统测试序列的方法。建立测试序列优化生成问题的数学模型,将其转换为有向图上的分层中国邮递员问题,使用改进的蚁群算法求解得到优化测试序列。该方... 为提高对无线调车机车信号和监控系统(STP)的测试效率,提出一种由计算机优化生成STP系统测试序列的方法。建立测试序列优化生成问题的数学模型,将其转换为有向图上的分层中国邮递员问题,使用改进的蚁群算法求解得到优化测试序列。该方法可在不影响测试完备性的前提下大幅度节约测试时间,实现测试时关键功能优先。通过动态调整信息素挥发系数并引入2-OPT邻域搜索机制,有效避免基本蚁群算法收敛速度慢、易陷入局部最优解的缺陷。仿真实验验证了该方法的有效性。 展开更多
关键词 功能测试 测试案例 测试序列 分层中国邮递员问题 蚁群算法
下载PDF
IOTEST在某型模拟对抗终端嵌入式软件测试中的应用 被引量:5
17
作者 吴海东 陈哲 +2 位作者 保亚运 吴波 王云飞 《计算机测量与控制》 2017年第9期106-109,共4页
由于嵌入式系统对功能和性能的高要求,对嵌入式软件进行测试存在一定难度;嵌入式系统通过各种不同类型的接口与外界实现交互,故而对嵌入式系统的接口进行测试,是保证嵌入式软件质量的重要途径;以某型模拟对抗终端嵌入式软件为例,根据该... 由于嵌入式系统对功能和性能的高要求,对嵌入式软件进行测试存在一定难度;嵌入式系统通过各种不同类型的接口与外界实现交互,故而对嵌入式系统的接口进行测试,是保证嵌入式软件质量的重要途径;以某型模拟对抗终端嵌入式软件为例,根据该型终端的特点,对基于IOTEST实现嵌入式软件测试的自动化进行研究;依照测试需求分析、测试环境搭建、测试建模、变量配置、测试脚本编写、测试执行的测试步骤和方法,通过测试实现过程详细说明了IOTEST在嵌入式软件测试中的应用;测试结果表明,IOTEST能够对嵌入式系统接口的正确性、实时性和可靠性进行有效地测试,该工具在测试过程中具备良好的实用性和通用性;在嵌入式软件的测试过程中合理使用IOTEST,可以有效提高测试效率,保证软件质量。 展开更多
关键词 嵌入式软件 软件测试 IOtest 测试用例
下载PDF
嵌入式软件运行剖面建模及测试用例生成 被引量:3
18
作者 陈小光 陈蔚薇 郭丽丽 《微计算机信息》 北大核心 2008年第11期79-81,共3页
软件运行剖面定量描述软件的使用方式,可以为软件测试提供一个定量的依据,从运行剖面出发可以自动生成测试用例,对提高软件测试的效率与正确性具有很重要的意义。本文给出了一个工程应用中构造嵌入式软件运行剖面以及从剖面生成测试用... 软件运行剖面定量描述软件的使用方式,可以为软件测试提供一个定量的依据,从运行剖面出发可以自动生成测试用例,对提高软件测试的效率与正确性具有很重要的意义。本文给出了一个工程应用中构造嵌入式软件运行剖面以及从剖面生成测试用例的方法。 展开更多
关键词 软件运行剖面 马尔科夫链 测试用例
下载PDF
基于覆盖率的面向对象软件自适应随机测试方法 被引量:5
19
作者 谢网根 陈锦富 +3 位作者 葛宏河 张祖法 曾智锋 周敏敏 《江苏大学学报(自然科学版)》 EI CAS 北大核心 2019年第3期313-319,共7页
针对现有面向对象软件(OOS)自适应随机测试中挑选测试用例的有效性及错误检测率不高的问题,提出了基于覆盖率的面向对象软件自适应随机测试方法.新方法在生成候选测试用例集时考虑了代码覆盖率信息,将语句覆盖率同测试用例差异性信息综... 针对现有面向对象软件(OOS)自适应随机测试中挑选测试用例的有效性及错误检测率不高的问题,提出了基于覆盖率的面向对象软件自适应随机测试方法.新方法在生成候选测试用例集时考虑了代码覆盖率信息,将语句覆盖率同测试用例差异性信息综合考虑来挑选将执行的测试用例,从而提高错误检测率.给出了覆盖率动态排序监测技术整体框架、预处理模块、程序插桩模块及排序模块;叙述了DTCGOOS-Cov算法.采用ID3Manage,RabbitAndFox,SATM,SchoolManagement,WaveletLibrary以及WindShieldWiper这6个被测类库,将新方法与传统自适应随机测试方法和纯随机测试方法进行了对比试验.结果表明:基于覆盖率的OOS自适应随机测试方法在F_m和E_m这2项指标上要优于其他2种方法. 展开更多
关键词 面向对象软件 软件测试 测试用例 覆盖率 自适应随机测试
下载PDF
基于场景技术的嵌入式软件测试用例生成方法 被引量:4
20
作者 殷永峰 刘斌 姜同敏 《计算机工程与设计》 CSCD 北大核心 2008年第16期4111-4114,共4页
软件测试自动化是当前软件测试的发展趋势。场景技术的引入可以更有效地进行测试用例的描述,从而有助于实现软件测试自动化,提高测试效率和测试的可维护性、可重复性。从被测系统的文档分析入手,将场景技术运用于测试用例生成过程中,提... 软件测试自动化是当前软件测试的发展趋势。场景技术的引入可以更有效地进行测试用例的描述,从而有助于实现软件测试自动化,提高测试效率和测试的可维护性、可重复性。从被测系统的文档分析入手,将场景技术运用于测试用例生成过程中,提出了嵌入式软件测试用例生成方法,并将该方法运用到实际的软件测试中,验证了该方法的正确性和有效性。 展开更多
关键词 嵌入式软件 软件测试 测试用例 场景技术 建模技术
下载PDF
上一页 1 2 37 下一页 到第
使用帮助 返回顶部