期刊文献+
共找到40篇文章
< 1 2 >
每页显示 20 50 100
一种改进的程序可达基路径生成方法 被引量:1
1
作者 王庆坛 姜淑娟 张艳梅 《计算机工程》 CAS CSCD 2012年第9期40-42,共3页
考虑程序中分支冲突和异常处理结构对控制流信息的影响,提出一种改进的程序可达基路径生成方法。分析不可达路径产生的原因及其判定方法,构建异常控制流图。在此基础上计算相关分支之间的关系,利用深度优先遍历方法得到程序的可达基路... 考虑程序中分支冲突和异常处理结构对控制流信息的影响,提出一种改进的程序可达基路径生成方法。分析不可达路径产生的原因及其判定方法,构建异常控制流图。在此基础上计算相关分支之间的关系,利用深度优先遍历方法得到程序的可达基路径集。实例分析结果表明,该方法能准确生成可达基路径集,满足基路径测试的要求。 展开更多
关键词 分支冲突 异常处理 可达基路径 控制流图 基路径测试
下载PDF
白盒测试基路径算法 被引量:13
2
作者 杜庆峰 李娜 《计算机工程》 CAS CSCD 北大核心 2009年第15期100-102,123,共4页
归纳基路径测试的方法,结合图论和向量空间的理论提出一种根据程序图寻找基路径的算法,分析程序图各种可能的结构,采用标记遍历程序图节点和递归等方法得出基路径,将该算法用C++语言予以实现并运用到一个例子代码中,结果证明该算法是合... 归纳基路径测试的方法,结合图论和向量空间的理论提出一种根据程序图寻找基路径的算法,分析程序图各种可能的结构,采用标记遍历程序图节点和递归等方法得出基路径,将该算法用C++语言予以实现并运用到一个例子代码中,结果证明该算法是合理的、有效的。 展开更多
关键词 软件测试 基路径 算法
下载PDF
基路径与业务逻辑结合的有效测试路径集算法 被引量:1
3
作者 杜庆峰 张秋华 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2013年第1期135-141,共7页
在分析基路径覆盖测试技术及相关最新研究成果基础上,以被测程序及其程序图为依据,通过对变量依赖、非关联路径等的定义,推导出有效路径数量公式VE,进而提出了一种解决无效路径问题的算法模型.通过对算法模型的理论推导和验证,证明该算... 在分析基路径覆盖测试技术及相关最新研究成果基础上,以被测程序及其程序图为依据,通过对变量依赖、非关联路径等的定义,推导出有效路径数量公式VE,进而提出了一种解决无效路径问题的算法模型.通过对算法模型的理论推导和验证,证明该算法模型是有效的. 展开更多
关键词 基路径 无效路径 算法 测试用例
下载PDF
基路径覆盖测试用例自动生成方法研究 被引量:5
4
作者 宋想 宋晓秋 《计算机工程与设计》 CSCD 北大核心 2013年第8期2759-2763,共5页
传统基路径覆盖测试用例生成方法通过程序图求出圈复杂度,然后再得出程序的一组基路径,最后分别针对基路径组中的每条路径求出相应的测试用例,不仅繁琐,而且忽视了代码的语义相关性,导致存在路径不可达问题,也就无法生成对应的测试用例... 传统基路径覆盖测试用例生成方法通过程序图求出圈复杂度,然后再得出程序的一组基路径,最后分别针对基路径组中的每条路径求出相应的测试用例,不仅繁琐,而且忽视了代码的语义相关性,导致存在路径不可达问题,也就无法生成对应的测试用例。提出了一种新的方法,利用遗传算法动态运行程序,逐渐逼近被测程序的真实逻辑圈复杂度,直接生成满足基路径覆盖测试用例的最小集合,不存在路径不可达问题。实验结果表明,该算法能够有效地生成满足基路径覆盖的测试用例。 展开更多
关键词 面向路径测试 路径覆盖 基路径覆盖 圈复杂度 测试用例自动生成
下载PDF
软件测试中基路径获取方法的研究 被引量:1
5
作者 梅玲霞 张忠林 《兰州交通大学学报》 CAS 2011年第1期6-9,共4页
软件测试是软件质量保证的重要手段,基路径测试是结构测试的一种重要方法.主要分析生成线性独立路径集合时,前后判定节点使用变量存在数据依赖关系的情况.借鉴程序切片技术中的转化理论,对数据控制依赖的判定节点在控制流图中进行修改;... 软件测试是软件质量保证的重要手段,基路径测试是结构测试的一种重要方法.主要分析生成线性独立路径集合时,前后判定节点使用变量存在数据依赖关系的情况.借鉴程序切片技术中的转化理论,对数据控制依赖的判定节点在控制流图中进行修改;对一般的基路径获取步骤进行改进,可避免选择的路径不可达,提高基路径获取速率.实例表明它是有效的. 展开更多
关键词 软件测试 基路径 依赖关系
下载PDF
McCabe基路径测试法的扩展及应用 被引量:1
6
作者 孙艺 《科技传播》 2013年第2期188-189,共2页
McCabe基路径测试法是一种重要的白盒测试技术,有着较高的故障覆盖率,已被广泛应用于单元测试中。它通过对程序结构的分析,计算出环路复杂度,提取出独立路径集,从而设计测试用例。本文在对这种方法研究和分析的基础上对其辅助工具图形... McCabe基路径测试法是一种重要的白盒测试技术,有着较高的故障覆盖率,已被广泛应用于单元测试中。它通过对程序结构的分析,计算出环路复杂度,提取出独立路径集,从而设计测试用例。本文在对这种方法研究和分析的基础上对其辅助工具图形矩阵进行扩展,提出从图形矩阵直接导出基本路径的方法 ,以及利用图形矩阵对程序流程控制进行评估的途径,并用具体实例阐述了方法的有效性。 展开更多
关键词 MCCABE 白盒测试 基路径测试
下载PDF
IR46智能电表软件白盒测试的基路径集生成方法研究 被引量:2
7
作者 樊博 梁飞 +4 位作者 黄吉涛 周媛奉 胡婷婷 郭林明 王文龙 《计算机应用与软件》 北大核心 2021年第9期99-104,共6页
为了提高IR46智能电表软件白盒测试的效率,提出一种新的基路径集生成方法。对程序进行分析识别,得到节点连接关系、语句类型等信息;对常用程序结构进行错误源分析,并给出错误倾向权重用以表示该路径在测试中的重要性;优化二进制蝙蝠算法... 为了提高IR46智能电表软件白盒测试的效率,提出一种新的基路径集生成方法。对程序进行分析识别,得到节点连接关系、语句类型等信息;对常用程序结构进行错误源分析,并给出错误倾向权重用以表示该路径在测试中的重要性;优化二进制蝙蝠算法,并将其用于基路径集搜索。算例仿真表明:优化二进制蝙蝠算法有更好的路径生成效率,该方法能够估量程序的错误倾向并产生带优先级的基路径集,有助于促进智能电表软件测试的精细化和高效化。 展开更多
关键词 智能电表 白盒测试 基路径 优化二进制蝙蝠算法 错误倾向权重
下载PDF
基路径法测试应用 被引量:1
8
作者 何燕 《电脑编程技巧与维护》 2006年第9期27-30,共4页
介绍了白盒测试中的基路径测试法,结合《小区物业管理系统》的测试,详细介绍了使用基路径法设计白盒测试用例的主要步骤,并对基路径法的优缺点进行了阐述。
关键词 基路径测试 环路复杂度 控制流图 测试用例
下载PDF
消除不可达路径的基路径自动获取方法研究 被引量:1
9
作者 李勇华 吴莹 +1 位作者 王锋 毋国庆 《武汉理工大学学报》 CAS CSCD 北大核心 2009年第3期54-58,共5页
软件测试是保障软件质量的重要手段,是软件工程的重要组成部分。基路径测试作为路径测试的一种重要手段,是软件自动化测试的热点。但是由于基路径基于数学的向量理论,并不考虑程序的逻辑情况,使得在实际工作中很多基路径本身是不可达路... 软件测试是保障软件质量的重要手段,是软件工程的重要组成部分。基路径测试作为路径测试的一种重要手段,是软件自动化测试的热点。但是由于基路径基于数学的向量理论,并不考虑程序的逻辑情况,使得在实际工作中很多基路径本身是不可达路径。通过分析判定节点的定义-判定序列的方法提出不可达路径的检测手段,并以该手段为基础,提出可达基路径自动生成算法,使得自动生成可达基路径集成为可能。 展开更多
关键词 基路径 程序图 软件测试 路径测试
原文传递
Hilbert空间中的不可微最优化问题的基路径增量目标水平算法 被引量:1
10
作者 张鹏 《数学的实践与认识》 CSCD 北大核心 2014年第12期284-290,共7页
主要研究了Hilbert空间中的一类不可微最优化问题的基路径增量目标水平算法.证明了当约束集合为有界集时,问题的最优解集非空,且这时通过算法生成的迭代点列是弱收敛于最优解的..
关键词 HILBERT空间 基路径增量目标水平算法 不可微最优化问题
原文传递
基于UML活动图的测试场景生成方法研究 被引量:2
11
作者 樊鑫 舒坚 +1 位作者 刘琳岚 梁旗军 《计算机系统应用》 2008年第8期83-86,共4页
本文研究运用统一建模语言(UML)活动图生成测试场景的方法,提出采用McCabe的基路径方法生成测试场景,首先对活动图进行压缩,采用基路径寻找算法找出其中的基本路径,并发活动实例化,替换找出的基本路径,形成完整的路径,据此生成相应的测... 本文研究运用统一建模语言(UML)活动图生成测试场景的方法,提出采用McCabe的基路径方法生成测试场景,首先对活动图进行压缩,采用基路径寻找算法找出其中的基本路径,并发活动实例化,替换找出的基本路径,形成完整的路径,据此生成相应的测试场景。文中对UML活动图的语法和语义进行了形式化定义和描述,详细描述了从压缩后的活动图中寻找基本路径的算法,对并发活动进行了约束。该方法所产生的基本路径相对独立,提高了测试效率。 展开更多
关键词 测试场景 基路径 活动图 统一建模语言
下载PDF
基于BPA算法的软件测试方法研究
12
作者 王绍婷 伦立军 《智能计算机与应用》 2014年第6期106-108,共3页
白盒测试中包括的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基路径测试法等等,而这其中,最为普遍运用测试的方法是基路径测试法。该法是在程序控制流图的基础上,分析控制结构的圈复杂度,导出一个基本可执行... 白盒测试中包括的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基路径测试法等等,而这其中,最为普遍运用测试的方法是基路径测试法。该法是在程序控制流图的基础上,分析控制结构的圈复杂度,导出一个基本可执行路径的集合,从而设计并产生测试用例的方法,其拥有着最强壮的覆盖标准。本文从实际出发,理论结合实践,深入研究基路径测试的概念、定义、理论,并设计出一个新的基路径算法BPA算法获取基路径,同时给出一个案例研究证明该算法的有效性。 展开更多
关键词 软件测试 基路径 BPA
下载PDF
固定化Cu_(2)O活化过硫酸盐降解水中4-氯酚
13
作者 刘雪峰 郑春禹 +1 位作者 滕洁 许霞 《常州大学学报(自然科学版)》 CAS 2023年第4期52-60,共9页
为解决活化过硫酸盐催化剂回收困难和自由基氧化导致重金属大量溶出等问题,文章设计并制备了固定化Cu_(2)O过渡金属材料,通过活化过硫酸盐(PMS)的非自由基路径,降解水中的4-氯酚(4-CP)。在120 min反应时间里,PMS投加量为2.0 mmol/L时,Cu... 为解决活化过硫酸盐催化剂回收困难和自由基氧化导致重金属大量溶出等问题,文章设计并制备了固定化Cu_(2)O过渡金属材料,通过活化过硫酸盐(PMS)的非自由基路径,降解水中的4-氯酚(4-CP)。在120 min反应时间里,PMS投加量为2.0 mmol/L时,Cu_(2)O/PMS体系对10 mg/L 4-CP的降解效率为95.0%,矿化效率为53.1%。PMS投加量影响有机污染物降解速率,PMS在2.0~6.0 mmol/L时,增加PMS可以提高反应速率。机制研究表明,非自由基反应路径主要通过Cu_(2)O表面的Cu(I)与PMS形成表面复合物降解有机污染物,实现对水中4-CP的有效去除,并且有效抑制了铜离子的大量溶出,为过硫酸盐活化降解水中污染物提供了新思路。 展开更多
关键词 固定化 材料 过硫酸盐活化 4-氯酚 非自由基路径
下载PDF
基于FPGA的1024点高性能FFT处理器的设计 被引量:4
14
作者 钟冠文 卢亚伟 +2 位作者 付欣玮 庞志勇 陈弟虎 《微计算机信息》 2012年第8期66-67,111,共3页
为了提高FFT(Fast Fourier Transformation)处理数据的实时性,本文研究了16位1024点FFT并提出了几种有效的优化方案。在Xilinx公司Virtex-E系列FPGA上实现了工作频率50MHz以上、流水线型、基22单路径反馈结构(R22SDF)FFT处理器。仿真和... 为了提高FFT(Fast Fourier Transformation)处理数据的实时性,本文研究了16位1024点FFT并提出了几种有效的优化方案。在Xilinx公司Virtex-E系列FPGA上实现了工作频率50MHz以上、流水线型、基22单路径反馈结构(R22SDF)FFT处理器。仿真和性能评估结果表明本FFT处理器的有较高的性能。 展开更多
关键词 FFT处理器 22单路径反馈结构 快速傅立叶变换 流水线 验证
下载PDF
富铁污泥基生物炭/过一硫酸盐体系去除水体中磺胺甲噁唑的性能与机理 被引量:1
15
作者 刘细祥 石欣怡 +3 位作者 何超雅 王恒义 刘艳 潘鸿辉 《环境科学学报》 CAS CSCD 北大核心 2024年第2期104-116,共13页
在工业污水处理过程中,含铁的絮凝剂和调理剂频繁使用,导致大量富铁污泥的产生,给其综合处置与利用带来了巨大挑战.本研究以富铁污泥作为原料,通过热解的方法制得富铁污泥基生物炭(FBC).将FBC进一步用于活化过一硫酸盐(PMS),以此实现水... 在工业污水处理过程中,含铁的絮凝剂和调理剂频繁使用,导致大量富铁污泥的产生,给其综合处置与利用带来了巨大挑战.本研究以富铁污泥作为原料,通过热解的方法制得富铁污泥基生物炭(FBC).将FBC进一步用于活化过一硫酸盐(PMS),以此实现水中抗生素磺胺甲噁唑(SMX)的高效降解.研究结果表明,使用0.2 g·L^(-1)的FBC900活化1.0 mmol·L^(-1)的PMS时,可在30 min内降解10 mg·L^(-1)的SMX,其活化能力仅为4.93 kJ·mol^(-1),并且在较宽的pH范围内都显示出良好的降解性能.通过自由基淬灭实验证明,FBC/PMS体系以非自由基的方式降解SMX,体系中产生的^(1)O_(2)和电子转移在SMX降解过程中起到了关键作用.此外,FBC900具有良好的磁性,使用后可利用磁力作用进行有效地分离和回收,且经过5次循环利用后,其催化活性仍维持在原有水平. 展开更多
关键词 富铁污泥 生物炭 过一硫酸盐 非自由反应路径 磺胺甲噁唑
原文传递
离散场的一种快速体绘制方法
16
作者 张先勇 户清文 +1 位作者 郝重阳 韩培友 《计算机工程与应用》 CSCD 北大核心 2004年第10期49-50,87,共3页
针对大规模离散数据场的特点,首先给出了三维直线的两种体素化表示方法,然后建立了三维离散直线的基路径,并提出了基于基路径的直接体绘制方法。该方法由于充分利用了射线之间的相关性,所以可明显加速体绘制过程,且对高分辨率离散数据... 针对大规模离散数据场的特点,首先给出了三维直线的两种体素化表示方法,然后建立了三维离散直线的基路径,并提出了基于基路径的直接体绘制方法。该方法由于充分利用了射线之间的相关性,所以可明显加速体绘制过程,且对高分辨率离散数据场有普遍的应用价值。 展开更多
关键词 体绘制 基路径 体数据 体素化
下载PDF
求解基于路径的Logit型随机用户均衡模型的新算法 被引量:2
17
作者 周博见 李旭宏 何杰 《中国公路学报》 EI CAS CSCD 北大核心 2014年第3期100-107,共8页
为了更高效地求解Logit型随机用户均衡模型,提出了一种改进的截断牛顿算法,该算法具有超线性的收敛速度。首先运用变量消去法,将Logit型随机用户均衡模型转化为一个无约束的最优化问题,再运用截断牛顿算法求解该最优化问题。在Sioux Fa... 为了更高效地求解Logit型随机用户均衡模型,提出了一种改进的截断牛顿算法,该算法具有超线性的收敛速度。首先运用变量消去法,将Logit型随机用户均衡模型转化为一个无约束的最优化问题,再运用截断牛顿算法求解该最优化问题。在Sioux Falls网络上,对梯度投影法与改进的截断牛顿法进行了对比。计算结果表明:多数情况下,改进的截断牛顿法的计算效率高于梯度投影算法;在拥挤条件下,该算法的优势尤为明显。 展开更多
关键词 交通工程 随机用户均衡 改进截断牛顿法 预处理共轭梯度法 基路径选取原则
原文传递
狐尾藻生物炭活化过硫酸盐降解四环素的研究 被引量:6
18
作者 李凯 刘新璐 +5 位作者 李辉 马双龙 刘世亮 刘锋 吴善德 徐圣君 《环境科学与技术》 CAS CSCD 北大核心 2021年第6期50-57,共8页
该文使用K2FeO4活化法构建了环境友好的基于狐尾藻的新型多孔石墨化生物炭(PGMC)。以PGMC作为催化剂来活化过一硫酸盐(PMS)降解水中的四环素(TC)。不同热解温度条件(700、800和900℃)对制备出的PGMC(PGMC700、PGMC800、PGMC900)的物理... 该文使用K2FeO4活化法构建了环境友好的基于狐尾藻的新型多孔石墨化生物炭(PGMC)。以PGMC作为催化剂来活化过一硫酸盐(PMS)降解水中的四环素(TC)。不同热解温度条件(700、800和900℃)对制备出的PGMC(PGMC700、PGMC800、PGMC900)的物理化学性质影响很大。PGMC800展现出最好活化PMS降解TC的性能得易于其更大的比表面积。在反应温度为25℃、PGMC800的用量为0.05 g/L、PMS的加入量为0.5 g/L的条件下,可以实现对30 mg/L TC的高效去除(30 min去除82.2%)。化学淬灭剂、电子顺磁共振(EPR)和线性扫描伏安(LSV)测试揭示了TC的降解得益于非自由基路径(^(1)O_(2)和电子传导)而不是自由基路径(SO_(4)^(·-)和·OH)。 展开更多
关键词 生物炭 过一硫酸盐 四环素 热解温度 非自由基路径
原文传递
离子热碳化制备Fe/N共掺杂生物炭及其催化性能研究
19
作者 季翔宇 刘武军 俞汉青 《现代化工》 CAS CSCD 北大核心 2022年第3期85-91,共7页
以铁基离子液体[BMIm]FeCl_(4)和木质纤维类生物质废弃物为前驱体,采用离子热碳化方法制得铁/氮共掺杂生物炭(Fe-N/BC)催化剂,并对其性质进行了表征。研究了Fe-N/BC催化剂活化过一硫酸盐(PMS)处理有机污染物罗丹明B和双酚A的性能,并对Fe... 以铁基离子液体[BMIm]FeCl_(4)和木质纤维类生物质废弃物为前驱体,采用离子热碳化方法制得铁/氮共掺杂生物炭(Fe-N/BC)催化剂,并对其性质进行了表征。研究了Fe-N/BC催化剂活化过一硫酸盐(PMS)处理有机污染物罗丹明B和双酚A的性能,并对Fe-N/BC催化剂进行了吸附实验、催化动力学实验和自由基淬灭实验。结果表明,Fe-N/BC为包覆有铁金属纳米颗粒的氮掺杂石墨化碳材料,空泡结构和发达的孔隙结构使其具有很强的吸附性能,60 min后才达到吸附平衡,吸附50%的双酚A;加入氧化剂过一硫酸盐后,30 min后对双酚A的降解率达到95.5%,远远快于氮掺杂生物炭(N/BC)材料和生物炭(BC)。Fe-N/BC活化PMS降解双酚A过程中对pH不敏感,反应方式主要通过非自由基路径实现。 展开更多
关键词 过一硫酸盐(PMS) 非均相类芬顿催化剂 生物炭 双酚A(BPA) 非自由基路径
原文传递
A Smooth Expansion Model for PKI 被引量:1
20
作者 龚俭 刘建航 《Journal of Southeast University(English Edition)》 EI CAS 2000年第1期1-5,共5页
The expansibility of PKI is expected to have the features that when the amount of user exceeds the system capacity, the users’ requirement can still be met by simply expanding the number of PKI entities and managemen... The expansibility of PKI is expected to have the features that when the amount of user exceeds the system capacity, the users’ requirement can still be met by simply expanding the number of PKI entities and management levels, and this expansion should be achieved smoothly from the original system. The upward, downward, and horizontal expansions of PKI are discussed in this paper. A path discovery method is suggested to reduce the effect of PKI expansion to the end entities, so as to enhance the availbility of PKI services. 展开更多
关键词 network security key certificate CA PKI path discovery
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部