期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
一种平衡结构性测试和功能性测试的方法 被引量:1
1
作者 浦云明 《计算机应用》 CSCD 北大核心 2008年第4期1023-1025,共3页
分析了结构性测试和功能性测试方法及其优劣,提出了一种平衡结构性测试和功能性测试的模型方法,即定义-使用测试方法。该方法定义了介于全路径指标和全边之间的测试覆盖指标,提供了一种检查缺陷可能发生点的系统化方法。模拟实例结果表... 分析了结构性测试和功能性测试方法及其优劣,提出了一种平衡结构性测试和功能性测试的模型方法,即定义-使用测试方法。该方法定义了介于全路径指标和全边之间的测试覆盖指标,提供了一种检查缺陷可能发生点的系统化方法。模拟实例结果表明,定义-使用测试方法能够显著提高发现缺陷的效率。 展开更多
关键词 定义一使用路径 结构性测试 功能性测试 平衡模型 数据流
在线阅读 下载PDF
一种用于软件测试的程序结构划分方法 被引量:1
2
作者 曹化工 刘澎 秦友淑 《小型微型计算机系统》 CSCD 北大核心 2002年第4期492-495,共4页
软件测试中的结构性测试是以程序的结构为基础生成测试用例 ,以测试准则来判定测试的充分性 .由于程序结构的复杂性 ,难于保证对程序进行充分而高效的测试 .本文提出了一种基于程序依赖图的程序结构划分的测试方法 ,即程序块划分法 .该... 软件测试中的结构性测试是以程序的结构为基础生成测试用例 ,以测试准则来判定测试的充分性 .由于程序结构的复杂性 ,难于保证对程序进行充分而高效的测试 .本文提出了一种基于程序依赖图的程序结构划分的测试方法 ,即程序块划分法 .该方法通过对程序进行结构划分 ,将复杂的程序分解为若干程序块 ,并通过程序块间的数据依赖关系导出各程序块的语义 。 展开更多
关键词 软件测试 结构性测试 程序依赖图 程序块划分 程序结构划分方法 软件开发
在线阅读 下载PDF
基于粒子群优化的测试数据生成及其实证分析 被引量:20
3
作者 毛澄映 喻新欣 薛云志 《计算机研究与发展》 EI CSCD 北大核心 2014年第4期824-837,共14页
运用元启发式搜索进行结构性测试数据生成已经被证实是一种有效的方法.在讨论基于搜索的测试数据生成基本框架的基础上,以分支覆盖作为测试覆盖准则,给出了基于粒子群优化(particle swarm optimization,PSO)的测试数据生成算法,并通过... 运用元启发式搜索进行结构性测试数据生成已经被证实是一种有效的方法.在讨论基于搜索的测试数据生成基本框架的基础上,以分支覆盖作为测试覆盖准则,给出了基于粒子群优化(particle swarm optimization,PSO)的测试数据生成算法,并通过分析分支谓词的结构特征提出了一种新的适应函数构造形式.在此基础上,针对一些公开的程序集开展对比性实验分析,证实粒子群优化算法在平均覆盖率、全覆盖成功率、平均收敛代数和搜索时间4项指标上均要优于遗传算法和模拟退火算法.同时,编程实现了4种典型的PSO变体算法并进行测试数据生成效果的实证分析,结果表明:基本PSO是解决测试数据生成问题的首选算法,而综合学习式PSO算法的表现则相对较差. 展开更多
关键词 结构性测试 测试数据生成 分支覆盖 搜索算法 粒子群优化
在线阅读 下载PDF
分支测试中测试路径用例的简化生成方法 被引量:17
4
作者 毛澄映 卢炎生 《计算机研究与发展》 EI CSCD 北大核心 2006年第2期321-328,共8页
结构性测试是对过程式和面向对象程序都非常有效的测试方法,分支覆盖准则被实践证明是其中性价比最高的一种策略·通过深入研究DD图的性质并分析FTPS算法的不足,提出了一种简便、快捷和适合于大规模程序的非约束边集近似求解算法Fin... 结构性测试是对过程式和面向对象程序都非常有效的测试方法,分支覆盖准则被实践证明是其中性价比最高的一种策略·通过深入研究DD图的性质并分析FTPS算法的不足,提出了一种简便、快捷和适合于大规模程序的非约束边集近似求解算法Find SemiUE;还给出了基于正(逆)向广度(深度)生成树的分支测试路径用例集的简化生成算法Generate PathSet,该算法在时间和空间开销上较FTPS算法均有较大提高·此外,所证明的关于DD图的结论也值得借鉴用于该图的更深一步研究· 展开更多
关键词 结构性测试 DD图 支配(蕴含)关系 非约束边 测试路径用例
在线阅读 下载PDF
一个C/C++程序集成测试平台的设计与实现 被引量:3
5
作者 毛澄映 卢炎生 +2 位作者 谢晓东 江胜 顾海波 《小型微型计算机系统》 CSCD 北大核心 2007年第6期1037-1043,共7页
研制自动化或半自动化的测试工具将对软件的开发过程产生重大影响,并能有效提高软件生产率,是当今软件业界一个极具现实意义的课题.以目前广为使用的C/C++程序作为测试对象,从程序结构信息获取、插装、I/O重定向等方面探讨如何实现方法... 研制自动化或半自动化的测试工具将对软件的开发过程产生重大影响,并能有效提高软件生产率,是当今软件业界一个极具现实意义的课题.以目前广为使用的C/C++程序作为测试对象,从程序结构信息获取、插装、I/O重定向等方面探讨如何实现方法级结构性测试;按需求规约对类的状态转换行为运用EFSM建模,依据类状态转换图自动生成测试用例,在类测试驱动器的执行下实现基于状态的类测试.在系统级别上,运用等价类、边界值分析等常规策略进行黑盒测试.此外,运用聚类技术对失效执行进行聚类分析,并从中抽样出典型的测试执行用例用于指导程序的进一步诊断.所实现的原型系统CppTest具备多级别测试、测试项目化管理、自动化/可视化程度高、扩展性好等优点. 展开更多
关键词 静态分析 结构性测试 基于状态的类测试 测试驱动器 聚类分析
在线阅读 下载PDF
Heat transfer performance testing of a new type of phase change heat sink for high power light emitting diode 被引量:2
6
作者 XIANG Jian-hua ZHANG Chun-liang +2 位作者 ZHOU Chao LIU Gui-yun ZHOU Wei 《Journal of Central South University》 SCIE EI CAS CSCD 2018年第7期1708-1716,共9页
In view of the limitations of solid metal heat sink in the heat dissipation of high power light emitting diode (LED), a kind of miniaturized phase change heat sink is developed for high power LED packaging. First, t... In view of the limitations of solid metal heat sink in the heat dissipation of high power light emitting diode (LED), a kind of miniaturized phase change heat sink is developed for high power LED packaging. First, the fabrication process of miniaturized phase change heat sink is investigated, upon which all parts of the heat sink are fabricated including main-body and end-cover of the heat sink, the formation of three-dimensional boiling structures at the evaporation end, the sintering of the wick, and the encapsulation of high power LED phase change heat sink. Subsequently, with the assistance of the developed testing system, heat transfer performance of the heat sink is tested under the condition of natural convection, upon which the influence of thermal load and working medium on the heat transfer performance is investigated. Finally, the heat transfer performance of the developed miniaturized phase change heat sink is compared with that of metal solid heat sink. Results show that the developed miniaturized phase change heat sink presents much better heat transfer performance over traditional metal solid heat sink, and is suitable for the packaging of high power LED. 展开更多
关键词 miniaturized phase change heat sink three-dimensional microgrooves sintered wick heat transfer performance testing
在线阅读 下载PDF
Dynamic analysis of elastic screen surface with multiple attached substructures and experimental validation 被引量:2
7
作者 王宏 刘初升 +2 位作者 彭利平 蒋小伟 冀连权 《Journal of Central South University》 SCIE EI CAS 2012年第10期2910-2917,共8页
A feasible method to improve the reliability and processing efficiency of large vibrating screen via the application of an elastic screen surface with multiple attached substructures (ESSMAS) was proposed. In the ES... A feasible method to improve the reliability and processing efficiency of large vibrating screen via the application of an elastic screen surface with multiple attached substructures (ESSMAS) was proposed. In the ESSMAS, every screen rod, with ends embedded into elastomer, is coupled to the main screen structure in a relatively flexible manner. The theoretical analysis was conducted, which consists of establishing dynamic model promoted from the fuzzy structure theory as well as calculating for the equivalent stiffness of each attached structure. According to the numerical simulation using the NEWMARK-fl integration method, this assembling pattern significantly leads to the screen surface/rod having larger vibration intensity than that of the corresponding position on screen structure, which specifically, with an averaged acceleration amplitude increasing ratio of 11.37% in theoretical analysis and 20.27% in experimental test. The experimental results, within a tolerant error, also confirm the established model and demonstrate the feasibility of ESSMAS. 展开更多
关键词 mineral processing vibrating screen elastic screen surface attached substructures dynamic analysis reliability processing efficiency
在线阅读 下载PDF
A new diamond bit for extra-hard, compact and nonabrasive rock formation 被引量:4
8
作者 王佳亮 张绍和 《Journal of Central South University》 SCIE EI CAS CSCD 2015年第4期1456-1462,共7页
A new impregnated diamond bit was designed to solve the slipping problem when impregnated diamond bit was used for extra-hard, compact, and nonabrasive rock formation. Adding Si C grits into matrix, Si C grits can eas... A new impregnated diamond bit was designed to solve the slipping problem when impregnated diamond bit was used for extra-hard, compact, and nonabrasive rock formation. Adding Si C grits into matrix, Si C grits can easily be exfoliated from the surface of the matrix due to weak holding-force with matrix, which made the surface non-smooth. Three Ф36/24 mm laboratorial bits were manufactured to conduct a laboratory drilling test on zirconiacorundum refractory brick. The laboratory drilling test indicates that the abrasive resistance of the bit work layer is proportional to the Si C concentation. The higher the concentration, the weaker the abrasive resistance of matrix. The new impregnated diamond bit was applied to a mining area drilling construction in Jiangxi province, China. Field drilling application indicates that the ROP(rate of penetration) of the new bit is approximately two to three times that of the common bits. Compared with the common bits, the surface of the new bit has typical abrasive wear characteristics,and the metabolic rate of the diamond can be well matched to the wear rate of the matrix. 展开更多
关键词 SiC grits impregnated diamond bit non-smooth surface diamond rock fragmentation mechanism
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部