期刊文献+
共找到111篇文章
< 1 2 6 >
每页显示 20 50 100
Data envelopment analysis procedure with two non-homogeneous DMU groups 被引量:2
1
作者 CHEN Ye WU Liangpeng LU Bo 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2018年第4期780-788,共9页
The classic data envelopment analysis(DEA) model is used to evaluate decision-making units'(DMUs) efficiency under the assumption that all DMUs are evaluated with the same criteria setting. Recently, new research... The classic data envelopment analysis(DEA) model is used to evaluate decision-making units'(DMUs) efficiency under the assumption that all DMUs are evaluated with the same criteria setting. Recently, new researches begin to focus on the efficiency analysis of non-homogeneous DMU arose by real practices such as the evaluation of departments in a university, where departments argue for the adoption of different criteria based on their disciplinary characteristics. A DEA procedure is proposed in this paper to address the efficiency analysis of two non-homogeneous DMU groups. Firstly, an analytical framework is established to compromise diversified input and output(IO) criteria from two nonhomogenous groups. Then, a criteria fusion operation is designed to obtain different DEA analysis strategies. Meanwhile, Friedman test is introduced to analyze the consistency of all efficiency results produced by different strategies. Next, ordered weighted averaging(OWA) operators are applied to integrate different information to reach final conclusions. Finally, a numerical example is used to illustrate the proposed method. The result indicates that the proposed method relaxes the restriction of the classical DEA model,and can provide more analytical flexibility to address different decision analysis scenarios arose from practical applications. 展开更多
关键词 data envelopment analysis (DEA) non-homogeneousdecision-making unit (DMU) criteria fusion Friedman test ordered weighted averaging (OWA) operator
下载PDF
Development of Safety Factors for the UT Data Analysis Method in Plant Piping
2
作者 Hun Yun Kyeong-Mo Hwang Chan-Kyoo Lee 《World Journal of Nuclear Science and Technology》 2013年第4期143-149,共7页
There are several thousand piping components in a nuclear power plant. These components are affected by degradation mechanisms such as FAC (Flow-Accelerated Corrosion), cavitation, flashing, and LDI (Liquid Droplet Im... There are several thousand piping components in a nuclear power plant. These components are affected by degradation mechanisms such as FAC (Flow-Accelerated Corrosion), cavitation, flashing, and LDI (Liquid Droplet Impingement). Therefore, nuclear power plants implement inspection programs to detect and control damages caused by such mechanisms. UT (Ultrasonic Test), one of the non-destructive tests, is the most commonly used method for inspecting the integrity of piping components. According to the management plan, several hundred components, being composed of as many as 100 to 300 inspection data points, are inspected during every RFO (Re-Fueling Outage). To acquire UT data of components, a large amount of expense is incurred. It is, however, difficult to find a proper method capable of verifying the reliability of UT data prior to the wear rate evaluation. This study describes the review of UT evaluation process and the influence of UT measurement error. It is explored that SAM (Square Average Method), which was suggested as a method for reliability analysis in the previous study, is found to be suitable for the determination whether the measured thickness is acceptable or not. And, safety factors are proposed herein through the statistical analysis taking into account the components’ type. 展开更多
关键词 WALL THINNING UT (Ultrasonic test) Reliability analysis FAC (flow-Accelerated Corrosion) Safety Factor Measurement data
下载PDF
卫星振动试验数据分析软件设计与实现
3
作者 东巳宙 白照广 +8 位作者 刘质加 扈勇强 常静 冯振伟 彭克侠 张一鹏 马雨嘉 徐欣 韩医鸿 《先进小卫星技术(中英文)》 2024年第1期105-112,共8页
针对卫星振动试验数据分析环节耗费大量时间的问题,开发了一套振动试验数据分析软件,并对软件架构设计进行了深入研究.首先,从卫星振动试验流程出发,构建了系统框架;然后,通过梳理试验数据分析的各个环节,划分了软件的各项功能;此外,根... 针对卫星振动试验数据分析环节耗费大量时间的问题,开发了一套振动试验数据分析软件,并对软件架构设计进行了深入研究.首先,从卫星振动试验流程出发,构建了系统框架;然后,通过梳理试验数据分析的各个环节,划分了软件的各项功能;此外,根据数据在试验中的流转,设计了工程数据结构,并结合数据交互、软件便捷使用等特点,构建了软件的通用模块;最后,对软件应用前后试验数据分析环节的用时进行了对比,软件应用后数据分析环节用时缩短至原来的28%. 展开更多
关键词 卫星 振动试验 数据分析 软件设计 软件架构
下载PDF
An Algorithm of Programming Data Flow Analysis Based on Data Flow Expression
4
作者 Zhao Dongfan, Li Wei and Meng Qingkai (Department of Computer Engineering, Changchun Institute of Post and Telecommunication, Changchun 130012, P. R. China) 《The Journal of China Universities of Posts and Telecommunications》 EI CSCD 1998年第1期41-42,共2页
This paper states the basic principle of program data flow analysis in a formal way and gives the concept of data flow expression. On the basis of this concept, an algorithm of finding data flow exceptions is rendered... This paper states the basic principle of program data flow analysis in a formal way and gives the concept of data flow expression. On the basis of this concept, an algorithm of finding data flow exceptions is rendered. This algorithm has great generality, with which it is easy to develop a tool for program test. So it is practical in application. 展开更多
关键词 software test program analysis data flow analysis data flow expression
原文传递
随钻井下振动数据分析软件设计与实现
5
作者 李辉 刘凯 +3 位作者 李威桦 卜赛赛 孙伟峰 戴永寿 《现代电子技术》 2023年第13期128-134,共7页
随钻井下振动数据的分析和处理对安全钻井、仪器维保策略选择、钻具疲劳损伤评估、钻进效率评估等具有重要意义。文中在Visual Studio环境下,利用C#语言开发了随钻井下振动数据分析软件,对振动数据进行时域和频域分析,实现了振动信号时... 随钻井下振动数据的分析和处理对安全钻井、仪器维保策略选择、钻具疲劳损伤评估、钻进效率评估等具有重要意义。文中在Visual Studio环境下,利用C#语言开发了随钻井下振动数据分析软件,对振动数据进行时域和频域分析,实现了振动信号时域波形显示、振动量级统计分析、振动信号频谱分析、横向和纵向特征强度计算、粘滑比计算、井下异常振动状态识别等功能,解决了大数据文件的快速读取问题,提高了软件的运行效率和鲁棒性。利用该软件对现场实测振动数据的分析结果表明,振动数据分析结果正确,软件运行稳定,数据处理速度快,满足用户使用需求。 展开更多
关键词 井下振动数据 数据分析 软件设计 文件读取 时域分析 频域分析 软件测试
下载PDF
基于数据流分析的过拟合补丁识别
6
作者 董玉坤 杨宇飞 +1 位作者 程小彤 唐叶尔 《计算机系统应用》 2023年第12期261-267,共7页
自动程序修复技术可实现对软件缺陷的自动修复,并使用测试套件评估修复补丁.然而因为测试套件不充分,通过测试套件的补丁可能并未正确修复缺陷,甚至引入新的缺陷并产生波及效应,导致自动程序修复生成大量过拟合补丁.针对这个问题,本文... 自动程序修复技术可实现对软件缺陷的自动修复,并使用测试套件评估修复补丁.然而因为测试套件不充分,通过测试套件的补丁可能并未正确修复缺陷,甚至引入新的缺陷并产生波及效应,导致自动程序修复生成大量过拟合补丁.针对这个问题,本文提出了一种基于数据流分析的过拟合补丁识别方法,首先将补丁对程序的修改分解为对变量的操作,然后采用数据流分析方法识别补丁影响域,并根据补丁影响域选择针对性覆盖准则来识别目标覆盖元素,进而选取测试路径并生成测试用例实现对修复程序的充分测试,避免修复副作用的影响.本文在两个数据集上进行了评估,实验结果表明,基于数据流分析的过拟合补丁识别方法可有效提升自动程序修复的正确性. 展开更多
关键词 自动程序修复 过拟合补丁 补丁影响域 数据流分析 测试用例生成
下载PDF
静力试验数据预警与软件开发 被引量:1
7
作者 王彬 《科技创新与应用》 2023年第15期61-64,共4页
静力试验通过地面施加外载荷模拟飞机结构真实受载情况,逐级加载并逐级测量结构位移、应变响应。试验过程中数据的实时分析与预警,可以及时发现试验异常数据,监控试验件状态,提高静力试验实施的安全性。该文研究相关性、斜率变化等试验... 静力试验通过地面施加外载荷模拟飞机结构真实受载情况,逐级加载并逐级测量结构位移、应变响应。试验过程中数据的实时分析与预警,可以及时发现试验异常数据,监控试验件状态,提高静力试验实施的安全性。该文研究相关性、斜率变化等试验数据分析方法,开发静力试验数据预警软件,实现静力试验中实时数据分析与预警,数据线性、重复性分析,正式试验快速结论等功能,提高静力试验中响应数据可视化、结果可视化能力。 展开更多
关键词 静力试验 结构响应 数据分析 数据预警 软件开发 结果可视化
下载PDF
基于扩展有限状态机测试中测试输入数据自动选取的研究 被引量:23
8
作者 张涌 钱乐秋 王渊峰 《计算机学报》 EI CSCD 北大核心 2003年第10期1295-1303,共9页
扩展有限状态机 (EFSM )模型是有限状态机 (FSM )模型的一个扩展 ,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件 ,通过EFSM我们可以更加精确地刻画软件系统的动态行为 .基于EFSM的测试可以应用到许多领域 ,因此具有重要... 扩展有限状态机 (EFSM )模型是有限状态机 (FSM )模型的一个扩展 ,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件 ,通过EFSM我们可以更加精确地刻画软件系统的动态行为 .基于EFSM的测试可以应用到许多领域 ,因此具有重要的研究价值和实际意义 .许多研究人员已经提出了基于FSM测试的测试输入序列的构造方法 ,但基于EFSM的测试与FSM相比由于变量和状态迁移的前置条件的引入 ,增加了构造其测试输入的复杂性 .我们认为基于EFSM测试的测试输入应该包含两个部分 :即测试输入序列以及该输入序列上包含的输入变量的确定值 (测试输入数据 ) .手工选取这些测试数据的工作十分繁琐 ,极大地增加了测试的花费 ,因此自动选取这些测试数据可以大大提高实际测试工作的效率 .该文提出一种基于EFSM测试的测试数据自动选取方法 ,该方法利用两个关键的步骤 :①区间削减和②分段梯度最优下降算法来自动选取测试数据 .实验表明利用该方法可以自动选取大部分的测试数据 ,并且收敛速度较快 ;在某些无法得到确定解的情况下 ,区间削减也可以为测试人员提供一个较小的输入变量取值区间 ,方便了测试人员从中手工选择测试数据 . 展开更多
关键词 扩展有限状态机 测试 有限状态机 测试输入数据 自动选取 面向对象 软件设计
下载PDF
软件测试充分性研究 被引量:7
9
作者 伦立军 赵辰光 +1 位作者 丁雪梅 李英梅 《计算机工程与应用》 CSCD 北大核心 2004年第3期60-62,共3页
软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先给出测试充分性准则的形式化描述,然后讨论了软件测试充分性的性质,最后给出了两种理想的测试数据生成方案,并提出了测... 软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先给出测试充分性准则的形式化描述,然后讨论了软件测试充分性的性质,最后给出了两种理想的测试数据生成方案,并提出了测试充分性度量方法。 展开更多
关键词 软件测试 测试充分性准则 测试数据 数据生成
下载PDF
并发缺陷暴露、检测与规避研究综述 被引量:19
10
作者 苏小红 禹振 +1 位作者 王甜甜 马培军 《计算机学报》 EI CSCD 北大核心 2015年第11期2215-2233,共19页
当今普遍流行的多核架构使得硬并发成为现实.为了从硬件的并发能力获益,并发程序设计正越来越流行.然而由于内在的并发性和不确定性,并发程序易于遭遇并发缺陷,并且它们难以检测、调试和修复.文中指出软件开发正从顺序模式转向并发模式... 当今普遍流行的多核架构使得硬并发成为现实.为了从硬件的并发能力获益,并发程序设计正越来越流行.然而由于内在的并发性和不确定性,并发程序易于遭遇并发缺陷,并且它们难以检测、调试和修复.文中指出软件开发正从顺序模式转向并发模式的趋势,揭示并发程序和并发缺陷各自的三大特点,剖析并发缺陷面临的三大挑战,然后将并发缺陷分为死锁、数据竞争、原子性违背和顺序违背4类,并讨论4类并发缺陷的相互关系,接着就如何尽快暴露、及时检测和高效规避各类并发缺陷对已有研究作出分析、比较和归纳,最后从智能快速的缺陷暴露、通用准确的缺陷检测、确定性重放支持、软硬件协同设计和新的并发编程模型等5个方面展望了未来的研究重点. 展开更多
关键词 并发缺陷 死锁 数据竞争 原子性违背 顺序违背 程序分析 软件测试
下载PDF
基于数据链的软件故障定位方法 被引量:9
11
作者 杨波 吴际 刘超 《软件学报》 EI CSCD 北大核心 2015年第2期254-268,共15页
软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本信息,提出了一种综合考... 软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本信息,提出了一种综合考虑变量操作状态变化以及变量操作状态间依赖关系的数据链模型,利用该模型对程序中数据流故障进行定位.经过实验验证,所提出的基于数据链的故障定位方法的定位结果与基于定义-使用对、基于程序切片、基于概率依赖图和基于语句覆盖这4种典型的故障定位方法进行了对比,取得了更好的定位效果. 展开更多
关键词 故障定位 数据流 变量 数据链 软件测试
下载PDF
基于程序插装的动态测试技术实现 被引量:16
12
作者 孙昌爱 金茂忠 《小型微型计算机系统》 CSCD 北大核心 2001年第12期1475-1479,共5页
动态测试是检测程序的动态行为的一种有效手段 .本文介绍了 Safepro白盒软件测试工具系列中基于程序插装的动态测试技术实现 ,具体讨论了动态测试的模型、数据流模型和动态跟踪数据的编码和解码技术 。
关键词 动态测试 数据流分析 软件测试 程序插装 软件工程
下载PDF
Gupta方法的改进 被引量:3
13
作者 单锦辉 王戟 +1 位作者 齐治昌 吴建平 《计算机学报》 EI CSCD 北大核心 2002年第12期1378-1386,共9页
Gupta等提出一种线性化谓词函数的方法 (简称 Gupta方法 ) ,为指定程序路径自动生成测试数据 .该文给出了一种模型语言 ,研究静态、动态数据依赖关系的性质以及 Gupta方法中各概念的形式化定义 ,将 Gupta等提出的谓词片推广为路径静态切... Gupta等提出一种线性化谓词函数的方法 (简称 Gupta方法 ) ,为指定程序路径自动生成测试数据 .该文给出了一种模型语言 ,研究静态、动态数据依赖关系的性质以及 Gupta方法中各概念的形式化定义 ,将 Gupta等提出的谓词片推广为路径静态切片 ,证明了路径静态切片构造算法的正确性 .对 Gupta方法的改进 ,省略了构造谓词片和输入依赖集的过程 ,改进后的方法构造线性约束的效率更高 .以改进后的方法为核心算法 ,开发了面向路径的测试数据自动生成的原型工具 ,并用实际的程序路径对该工具进行实验 .结果表明改进后的方法是比较有效的 . 展开更多
关键词 Gupta 测试数据自动生成 路径测试 软件测试 数据流分析 程序切片 线性化谓词函数
下载PDF
基于软件体系结构的测试路径生成方法 被引量:7
14
作者 赵磊 伦立军 徐士华 《微电子学与计算机》 CSCD 北大核心 2008年第1期177-180,共4页
在软件体系结构描述语言Wright的基础上,提出了基于软件体系结构的测试覆盖准则及BG动态行为图,根据BG图构造基于覆盖准则的测试路径,生成测试数据。由此平衡开发成本、进度与质量需求之间的关系,最后以Server/Client结构为例说明该方... 在软件体系结构描述语言Wright的基础上,提出了基于软件体系结构的测试覆盖准则及BG动态行为图,根据BG图构造基于覆盖准则的测试路径,生成测试数据。由此平衡开发成本、进度与质量需求之间的关系,最后以Server/Client结构为例说明该方法是适用的。 展开更多
关键词 软件体系结构 测试数据 测试路径 动态行为图 测试覆盖准则
下载PDF
基于数据流的类测试技术研究 被引量:3
15
作者 张雪萍 范中山 +1 位作者 王家耀 庄雷 《计算机工程与应用》 CSCD 北大核心 2005年第9期40-42,共3页
面向对象软件测试已成为软件工程领域的一个重要研究课题,其中,类测试是面向对象软件测试的关键。论文在介绍传统数据流测试技术的基础上,以面向对象软件的类作为基本测试单元,研究了一种基于数据流的类测试技术。
关键词 面向对象 软件测试 数据流测试 类测试
下载PDF
数据流测试准则之间关系的研究 被引量:2
16
作者 伦立军 丁雪梅 李英梅 《计算机工程与应用》 CSCD 北大核心 2005年第4期79-81,共3页
软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先分析了数据流测试基本概念,然后讨论了数据流测试准则之间的关系,最后针对测试准则C1和C2,提出了二者的关系R。R(C1,C2... 软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先分析了数据流测试基本概念,然后讨论了数据流测试准则之间的关系,最后针对测试准则C1和C2,提出了二者的关系R。R(C1,C2)可保证在特定的错误检测度量方法下,C1比C2具有更好的检错能力。 展开更多
关键词 软件测试 测试准则 数据流分析 测试数据
下载PDF
面向船舶软件的仿真测试平台研究 被引量:3
17
作者 吴立金 唐龙利 +1 位作者 柴海燕 韩新宇 《计算机测量与控制》 2015年第5期1451-1453,1456,共4页
软件仿真测试是嵌入式软件黑盒测试领域行之有效且具有广泛应用前景的方法,为解决船舶软件利用仿真测试环境进行自动化测试问题,文中分析了舰船作战指挥控制系统中的嵌入式软件的交联环境,研究了软件测试交联环境协同管理技术;利用将测... 软件仿真测试是嵌入式软件黑盒测试领域行之有效且具有广泛应用前景的方法,为解决船舶软件利用仿真测试环境进行自动化测试问题,文中分析了舰船作战指挥控制系统中的嵌入式软件的交联环境,研究了软件测试交联环境协同管理技术;利用将测试模型转化为XML文件并解析驱动的方法实现测试用例的自动执行;对仿真测试中数据类别分析,提出了测试数据的自动收集与分析技术。设计并开发了舰船嵌入式软件仿真测试系统,有效提高了船舶软件测试效率和测试准确性。 展开更多
关键词 嵌入式软件 仿真测试 测试数据收集 测试数据分析
下载PDF
基于EFSM模型的等价类测试 被引量:7
18
作者 易国洪 卢炎生 《计算机科学》 CSCD 北大核心 2007年第1期281-284,共4页
等价类测试是有效减少测试用例而又较小地影响测试效果的一种高效的测试方法,但是对于测试者来说,寻找一种等价类测试的划分方法十分重要,本文提出了一种基于EFSM(Extended Finite State Machine)模型的等价类测试划分的方法,通过对EFS... 等价类测试是有效减少测试用例而又较小地影响测试效果的一种高效的测试方法,但是对于测试者来说,寻找一种等价类测试的划分方法十分重要,本文提出了一种基于EFSM(Extended Finite State Machine)模型的等价类测试划分的方法,通过对EFSM模型数据依赖和控制依赖分析,给出了等价类测试划分的具体方法和算法,并给出了等价类划分方法的完备性和无冗余性证明。 展开更多
关键词 EFSM 等价类 软件测试 数据依赖分析 控制依赖分析
下载PDF
可执行可信软件安全性分析技术研究 被引量:2
19
作者 陈楠 王震宇 +2 位作者 窦增杰 姚伟平 余弦 《计算机工程与设计》 CSCD 北大核心 2010年第22期4802-4805,共4页
为了保证基于可信架构的可信软件的安全性,给出了可信软件安全性分析的总体架构及其工作原理。提出了一个静态分析技术与动态测试技术相结合的有效机制,实现了静态分析和动态跟踪的交互协作,提高了安全分析的效率。设计了一种可执行代... 为了保证基于可信架构的可信软件的安全性,给出了可信软件安全性分析的总体架构及其工作原理。提出了一个静态分析技术与动态测试技术相结合的有效机制,实现了静态分析和动态跟踪的交互协作,提高了安全分析的效率。设计了一种可执行代码中间表示的方法,给出了建立程序存储空间抽象模型和程序抽象运行时刻环境的方法。详细地讨论了程序的控制流和数据流分析技术,并给出了求解算法。最后,概述了程序动态测试系统。 展开更多
关键词 可信软件 静态分析 动态测试 控制流分析 数据流分析
下载PDF
一种基于规范和程序域分析的软件测试方法 被引量:6
20
作者 赵瑞莲 闵应骅 《计算机研究与发展》 EI CSCD 北大核心 2003年第6期846-855,共10页
虽然软件规范规定了输入变量的定义域 (功能域 ) ,但程序实现本身也定义了其定义域 (运行域 ) 如果二者不能完全重合 ,那么某些软件故障就可检测出来 为此 ,提出了一种基于规范和程序域分析的软件测试方法 ,介绍了一个运行域自动确定系... 虽然软件规范规定了输入变量的定义域 (功能域 ) ,但程序实现本身也定义了其定义域 (运行域 ) 如果二者不能完全重合 ,那么某些软件故障就可检测出来 为此 ,提出了一种基于规范和程序域分析的软件测试方法 ,介绍了一个运行域自动确定系统ADSOD ,并讨论了边界测试数据的选取原则 对特殊表达式 ,采用程序切片技术 ,构造基于表达式的可执行模块 ,通过执行该模块 ,识别其输入变量的奇异值 ,进而确定其输入变量的取值范围 通过分析功能域和运行域的边界测试数据集 ,检测二者的重合性 ,并根据其分析结果产生测试用例 实验表明 :所提方法产生的测试用例 。 展开更多
关键词 软件测试 域分析 边界测试数据集 功能域 运行域
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部