期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到708篇文章
< 1 2 … 36 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
智能变电站间隔层设备自动测试系统研制 被引量：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
灰盒测试方法的实践与研究 被引量：6
11
作者 张卫祥 刘文红 《飞行器测控学报》 2010年第6期86-89,共4页
从测试是否针对系统的内部结构和具体实现的角度来看,软件测试可分为白盒测试和黑盒测试。而灰盒测试是近年来提出的一种新的软件测试方法,它兼顾了白盒测试和黑盒测试方法的优点。本文在实践的基础上,对灰盒测试方法进行了研究,介绍了... 从测试是否针对系统的内部结构和具体实现的角度来看,软件测试可分为白盒测试和黑盒测试。而灰盒测试是近年来提出的一种新的软件测试方法,它兼顾了白盒测试和黑盒测试方法的优点。本文在实践的基础上,对灰盒测试方法进行了研究,介绍了灰盒测试基本知识和一种灰盒测试方法的实现过程。 展开更多
关键词 软件测试 灰盒测试方法 测试用例
下载PDF
基于改进AETG算法的车载ECU测试方法研究
12
作者 刘海城 汤春球 《自动化与仪表》 2024年第9期79-83,共5页
对两两组合测试方法进行研究,提出了一种基于改进AETG算法的车载ECU测试方案。通过处理相邻参数和边界条件,优化了组合测试的设计和执行过程。深入研究AETG算法,通过优化参数选择策略提出了算法改进方案,提升了生成测试用例的精简度。最... 对两两组合测试方法进行研究,提出了一种基于改进AETG算法的车载ECU测试方案。通过处理相邻参数和边界条件,优化了组合测试的设计和执行过程。深入研究AETG算法,通过优化参数选择策略提出了算法改进方案,提升了生成测试用例的精简度。最后,通过设计相应的测试平台实验验证了提出方法的有效性。相较于传统测试方案,该研究在测试效率上提高了15倍以上,为未来车载ECU测试提供了更高效的解决方案,对推动汽车电子系统的可靠性和性能提升具有重要意义。 展开更多
关键词 两两组合测试 AETG 测试用例 车载ECU
下载PDF
面向民用飞机需求验证的自动化测试技术研究
13
作者 汪澔 武仲芝 唐剑 《图学学报》 CSCD 北大核心 2024年第2期308-316,共9页
在商用飞机全生命周期的研制过程中,需求与概念论证环节作为商用飞机研制的早期环节,将极大地影响整个商用飞机的全生命周期成本。其中功能定义作为需求与概念论证阶段的核心产物之一,以一种统一化、标准化的描述了目标产品一系列的预... 在商用飞机全生命周期的研制过程中,需求与概念论证环节作为商用飞机研制的早期环节,将极大地影响整个商用飞机的全生命周期成本。其中功能定义作为需求与概念论证阶段的核心产物之一,以一种统一化、标准化的描述了目标产品一系列的预期行为表达。功能性需求作为功能定义的重点输出产物,决定了商用飞机的核心产品竞争力。基于功能仿真的需求验证作为一种常用的需求质量评价手段,通过建立飞机的测试模型,仿真模拟特定场景下飞机的运行行为,以结果为评判依据确认早期方案设计是否满足需求。然而,在实际面向需求的仿真测试过程中,碍于场景外部环境的多变性,往往会出现“组合爆炸式”的测试用例,极大地增加了测试的规模和成本。为解决上述问题,提出基于模型的测试(MBT)方法,通过基于系统建模语言(SysML)模型自动化生成测试用例,缩短验证过程的周期并保证需求验证的可追溯性。 展开更多
关键词 需求验证 测试用例 基于模型的测试 SYSML
下载PDF
基于时间自动机的CTCS-3级列控等级转换场景测试用例生成方法研究
14
作者 易翠英 《自动化与仪器仪表》 2024年第3期264-267,共4页
为了提高列控等级转换系统测试效率和自动化程度,以时间自动机为基本依据,研究设计了一种中国列车运行控制系统-2级转中国列车运行控制系统-3级列控等级转换系统进行模型信息提取,并自动生成测试路径,从而生成具体的测试用例。结果表明... 为了提高列控等级转换系统测试效率和自动化程度,以时间自动机为基本依据,研究设计了一种中国列车运行控制系统-2级转中国列车运行控制系统-3级列控等级转换系统进行模型信息提取,并自动生成测试路径,从而生成具体的测试用例。结果表明,列车转换时间主要集中在62 s~75 s。转换时间为80 s时,转换成功概率为99.7%以上。等级转换过程,结合获得的测试路径,最终得到测试用例153条。在测试路径基础上,依据逻辑覆盖准则,得到各谓词条件的变量取值范围,结合已有测试路径,最终生成了具体测试用例。该方法的测试用例有效提高了软件开发效率,缩短开发周期,降低了出错率,提高测试自动化程度。该方法提高了列控等级转换系统测试效率和自动化程度,对列控系统等级转换场景软件开发高效性研究具有重要意义。 展开更多
关键词 时间自动机 CTCS-3级 等级转换 测试用例 逻辑覆盖准则
原文传递
考希良治疗脾胃病验案六则
15
作者 李书豪 考希良(指导) 《山东中医杂志》 2024年第8期902-906,920,共6页
总结考希良治疗脾胃病的临床经验。选取六则临床诊治医案,从不同角度体现考希良临证思维。考希良在临床诊治中,结合六经辨证与脏腑辨证,兼顾患者自身体质;在遣方选药上以量宏力专、祛邪扶正,进而调和阴阳为特点,力求法捷效速。在病因病... 总结考希良治疗脾胃病的临床经验。选取六则临床诊治医案,从不同角度体现考希良临证思维。考希良在临床诊治中,结合六经辨证与脏腑辨证,兼顾患者自身体质;在遣方选药上以量宏力专、祛邪扶正,进而调和阴阳为特点,力求法捷效速。在病因病机方面,考希良基于《黄帝内经》中经络循行与脏腑联属的生理、病理关系,知常达变,以此认识与理解临床相关病因病机,按照对应的治则治法及方药进行施治,构建了传统中医诊疗思维。 展开更多
关键词 考希良 脾胃病 验案 胃痛 腹痛 胃痞 泄泻 便秘
下载PDF
基于因果图的软件测试方法 被引量：6
16
作者 王立荣 何炜 《计算机系统应用》 2010年第4期104-107,共4页
因果图方法是一种有效的软件测试方法,适合于描述对于多种条件的组合、相应产生多个动作形式的测试用例设计。因果图最终被转换为判定表,但是由因果图到判定表的转换是很困难的。描述了因果图方法的原理并详细说明了因果图到判定表的转... 因果图方法是一种有效的软件测试方法,适合于描述对于多种条件的组合、相应产生多个动作形式的测试用例设计。因果图最终被转换为判定表,但是由因果图到判定表的转换是很困难的。描述了因果图方法的原理并详细说明了因果图到判定表的转换算法,介绍了因果图方法测试用例的生成。 展开更多
关键词 软件测试 因果图 判定表 测试用例
下载PDF
基于站点地图的Web访问控制漏洞检测方法
17
作者 任家东 李尚洋 +2 位作者 任蓉 张炳 王倩 《计算机科学》 CSCD 北大核心 2024年第9期416-424,共9页
攻击者通常利用Web应用程序的访问控制漏洞实现对系统的非授权访问、信息窃取等恶意行为。针对Web应用程序的访问控制漏洞的检测问题,现有方法由于页面覆盖率低、检测过程开销大等问题,因此漏报率过高且效率低下。为此,基于动态分析,提... 攻击者通常利用Web应用程序的访问控制漏洞实现对系统的非授权访问、信息窃取等恶意行为。针对Web应用程序的访问控制漏洞的检测问题,现有方法由于页面覆盖率低、检测过程开销大等问题,因此漏报率过高且效率低下。为此,基于动态分析,提出了一种基于站点地图的Web访问控制漏洞检测方法。该方法首先为不同角色下的用户分别建立各自的站点地图,并形成不同角色的完整站点地图,再通过对其分析生成Web应用程序预期访问控制策略,构建非法测试用例进行动态访问并分析执行结果实现对未授权访问、越权访问等类型访问控制漏洞的检测。最后,在7个真实开源Web应用程序中对所提方法进行验证,结果表明该方法能有效降低开销,其页面覆盖率达到90%以上;发现了10个真实漏洞,准确率达到了100%。 展开更多
关键词 访问控制 站点地图 测试用例 漏洞检测 CVE分析
下载PDF
医疗器械独立软件检测要求及方法 被引量：6
18
作者 王晨希 王权 李佳戈 《中国医疗设备》 2020年第11期66-69,76,共5页
目的针对目前医疗器械独立软件的检测方法进行介绍,为更好的对独立软件的质量评价提供意见和思路。方法通过对国家药品监督管理局颁布的医疗器械软件注册法规和文献中有关独立软件产品技术要求内容的解读,结合产品实际检验检测经验,分... 目的针对目前医疗器械独立软件的检测方法进行介绍,为更好的对独立软件的质量评价提供意见和思路。方法通过对国家药品监督管理局颁布的医疗器械软件注册法规和文献中有关独立软件产品技术要求内容的解读,结合产品实际检验检测经验,分别从通用要求、质量要求和专用要求三个方面进行分析,提供通用要求需要明确的要素,质量要求测试用例建立的方法和角度,专用要求的适用情况。结果相关测试用例的方式的编写和检测模型和对应的检测方法的建立,可以指导制造商编写医疗器械独立软件产品技术,指导检验检测机构如何开展相关评测。结论明确产品的质量评价方法,建立相关检测模型,能够完成此类产品检测,并对当前检测方法的不足之处提出意见和建议。 展开更多
关键词 医疗器械 软件 标准 测试用例
下载PDF
基于TF-IDF加权朴素贝叶斯算法的ATP车载设备测试案例分类研究 被引量：4
19
作者 王心仪 程剑锋 刘育君 《铁路计算机应用》 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
基于遗传算法的黑箱测试用例自动生成模型 被引量：4
20
作者 潘祖烈 孙乐昌 +1 位作者 蔡铭 陈建熊 《计算机工程》 CAS CSCD 北大核心 2008年第9期205-207,210,共4页
介绍基于遗传算法的测试用例自动生成技术,研究了利用动态调试技术和静态反汇编技术计算遗传算法中适应度函数的方法,设计了基于遗传算法的黑箱测试用例自动生成模型。该模型可直接对可执行文件自动生成测试用例,避免对程序进行源代码插... 介绍基于遗传算法的测试用例自动生成技术,研究了利用动态调试技术和静态反汇编技术计算遗传算法中适应度函数的方法,设计了基于遗传算法的黑箱测试用例自动生成模型。该模型可直接对可执行文件自动生成测试用例,避免对程序进行源代码插装,降低对程序源代码的要求,扩展了基于遗传算法的测试用例自动生成技术的应用范围。 展开更多
关键词 黑箱测试 遗传算法 测试例
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 36 下一页 到第 页
使用帮助 返回顶部