期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到157篇文章
< 1 2 … 8 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
数据跨境流动合法公共政策目标例外适用研究
1
作者 马迁 张钰铃 《周口师范学院学报》 2025年第1期81-85,共5页
数字经济时代下,数据已经成为一种不可忽视的资源,逐渐受到重视,但数据跨境流动也伴随着许多风险,各国在规制的同时也在通过各种例外条款寻求限制行为的免责理由。基于数字经济发展的需要,合法公共政策目标例外逐渐走入世界视野。然而,... 数字经济时代下,数据已经成为一种不可忽视的资源,逐渐受到重视,但数据跨境流动也伴随着许多风险,各国在规制的同时也在通过各种例外条款寻求限制行为的免责理由。基于数字经济发展的需要,合法公共政策目标例外逐渐走入世界视野。然而,合法公共政策目标例外存在规定模糊、措施必要性认定不明以及实践中援引具有不确定性的问题。中国应当重视合法公共政策目标例外,建立相应的评估制度,增强中国实践,从而增强援引合法公共政策目标例外的可能。 展开更多
关键词 数据跨境流动 合法公共政策目标例外 FTA 必要性测试
在线阅读 下载PDF
基于GA-BP神经网络的大型客机气流角估计方法
2
作者 张伟 张喆 +1 位作者 龚孝懿 王昕楠 《计算机仿真》 2024年第1期53-57,102,共6页
为了解决硬件冗余难以克服的气流角传感器共因故障问题,进一步提高飞机气流角信号的可靠性,研究了基于GABP神经网络的气流角估计方法。通过BP神经网络融合姿态角、加速度、风速等参数来实现不依赖气流角传感器的气流角估计;引入遗传算... 为了解决硬件冗余难以克服的气流角传感器共因故障问题,进一步提高飞机气流角信号的可靠性,研究了基于GABP神经网络的气流角估计方法。通过BP神经网络融合姿态角、加速度、风速等参数来实现不依赖气流角传感器的气流角估计;引入遗传算法对神经网络权值和阈值进行全局优化,提高估计精度;对某大型客机的试飞数据预处理后用于模型的训练和测试。仿真结果表明,训练完成的GA-BP神经网络模型对气流角的估计值贴近实际值,稳定性和精度明显高于BP神经网络。上述方法给飞机增加一个余度的气流角信号,可用于传感器故障时为飞机提供可靠的气流角信号。 展开更多
关键词 气流角估计 神经网络 遗传算法 试飞数据预处理 大型客机
在线阅读 下载PDF
基于多信号流图的大气数据系统故障诊断 被引量：2
3
作者 莫文静 宋博文 +2 位作者 柯旭 曹琪 向胜华 《测控技术》 2024年第5期66-71,92,共7页
针对传统无人机大气数据系统故障诊断依赖专家经验、故障定位不准确的问题,提出了基于多信号流图的大气数据系统故障诊断方法。通过分析大气数据系统的组成结构和故障模式影响与危害度分析,采用多信号流图方法对某型无人机大气数据系统... 针对传统无人机大气数据系统故障诊断依赖专家经验、故障定位不准确的问题,提出了基于多信号流图的大气数据系统故障诊断方法。通过分析大气数据系统的组成结构和故障模式影响与危害度分析,采用多信号流图方法对某型无人机大气数据系统关键部件进行测试性分析,得到大气数据系统的故障-测试相关性矩阵。针对传统实时测试性工程与维护系统(Real-Time Testability Engineering and Ma-intenance System,TEAMS-RT)算法诊断速度较慢的问题,对TEAMS-RT算法进行优化研究,提出了一种基于TEAMS-RT的矩阵分解优化(简称Tree-RT)算法,在此基础上对D矩阵分别采用Tree-RT算法和测试一致性算法对大气数据系统进行故障注入试验。试验结果表明,Tree-RT算法对故障注入试验的诊断率为94.62%,高于基于测试一致性算法85.73%的诊断率,证明了大气数据系统多信号流图和Tree-RT算法的有效性,为无人机大气数据系统的故障诊断相关研究提供了技术支撑。 展开更多
关键词 大气数据系统 多信号流图 矩阵分解优化 测试一致性 故障诊断
在线阅读 下载PDF
数据中心热环境数值模拟及气流均匀性优化设计
4
作者 高雨洁 徐青山 《电力需求侧管理》 2024年第6期75-80,共6页
数据中心冷却系统的能耗约占总能耗的40%,合理的气流组织形式能有效提高数据中心制冷效率,改善数据中心的高能耗问题。为了优化数据中心的气流组织形式,首先根据数值模拟的结果定性分析了送风方式、冷通道封闭模式、回风口位置对热环境... 数据中心冷却系统的能耗约占总能耗的40%,合理的气流组织形式能有效提高数据中心制冷效率,改善数据中心的高能耗问题。为了优化数据中心的气流组织形式,首先根据数值模拟的结果定性分析了送风方式、冷通道封闭模式、回风口位置对热环境的影响。其次引入了不均匀系数,利用正交试验法,定量探究了空调布局方式、通孔地板孔隙率、架空地板高度对气流均匀性的影响。基于华东某数据中心算例进行研究,结果表明采用架空地板下送上回风、对冷通道全封闭处理、回风口位置设于热通道上方可以让数据中心热环境表现较好。各因素对气流均匀性的影响主次顺序为空调布局方式、架空地板高度、通孔地板孔隙率。 展开更多
关键词 数据中心 气流组织形式 数值模拟 气流均匀性 正交试验法
在线阅读 下载PDF
基于扩展有限状态机测试中测试输入数据自动选取的研究 被引量：24
5
作者 张涌 钱乐秋 王渊峰 《计算机学报》 EI CSCD 北大核心 2003年第10期1295-1303,共9页
扩展有限状态机 (EFSM )模型是有限状态机 (FSM )模型的一个扩展 ,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件 ,通过EFSM我们可以更加精确地刻画软件系统的动态行为 .基于EFSM的测试可以应用到许多领域 ,因此具有重要... 扩展有限状态机 (EFSM )模型是有限状态机 (FSM )模型的一个扩展 ,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件 ,通过EFSM我们可以更加精确地刻画软件系统的动态行为 .基于EFSM的测试可以应用到许多领域 ,因此具有重要的研究价值和实际意义 .许多研究人员已经提出了基于FSM测试的测试输入序列的构造方法 ,但基于EFSM的测试与FSM相比由于变量和状态迁移的前置条件的引入 ,增加了构造其测试输入的复杂性 .我们认为基于EFSM测试的测试输入应该包含两个部分 :即测试输入序列以及该输入序列上包含的输入变量的确定值 (测试输入数据 ) .手工选取这些测试数据的工作十分繁琐 ,极大地增加了测试的花费 ,因此自动选取这些测试数据可以大大提高实际测试工作的效率 .该文提出一种基于EFSM测试的测试数据自动选取方法 ,该方法利用两个关键的步骤 :①区间削减和②分段梯度最优下降算法来自动选取测试数据 .实验表明利用该方法可以自动选取大部分的测试数据 ,并且收敛速度较快 ;在某些无法得到确定解的情况下 ,区间削减也可以为测试人员提供一个较小的输入变量取值区间 ,方便了测试人员从中手工选择测试数据 . 展开更多
关键词 扩展有限状态机 测试 有限状态机 测试输入数据 自动选取 面向对象 软件设计
在线阅读 下载PDF
面向对象软件回归测试技术研究 被引量：31
6
作者 方菲 孙家骕 +1 位作者 王立福 杨芙清 《软件学报》 EI CSCD 北大核心 2001年第3期372-376,共5页
回归测试的目标之一是在程序修改后 ,只对进行修改的部分重新测试 ,从而达到与完全测试相同的测试覆盖 .利用数据流或部分数据流技术 ,对结构化程序进行回归测试的技术已相继提出 .随着面向对象方法的逐渐成熟 ,对面向对象软件测试技术... 回归测试的目标之一是在程序修改后 ,只对进行修改的部分重新测试 ,从而达到与完全测试相同的测试覆盖 .利用数据流或部分数据流技术 ,对结构化程序进行回归测试的技术已相继提出 .随着面向对象方法的逐渐成熟 ,对面向对象软件测试技术的研究有了迫切的需求 .通过分析对象系统的特性 ,定义了对象之间的依赖关系 ,通过这个依赖关系 ,导出测试对象的方法序列 ,并应用程序切片技术 ,标识那些受到程序修改影响的测试用例 ,只有这些测试用例才需要在回归测试中重新执行 .最后给出了一完整的对象系统的回归测试解决方案 . 展开更多
关键词 面向对象 程序切片 数据流 回归测试 软件测试 软件开发
在线阅读 下载PDF
基于四阶累量的MUSIC算法对阵元误差的稳健性分析 被引量：5
7
作者 廖桂生 保铮 王波 《通信学报》 EI CSCD 北大核心 1997年第8期33-38,共6页
本文分析了基于四阶累量的ＭＵＳＩＣ算法（记作ＦＯＣ－ＭＵＳＩＣ），在实际阵元存在幅相误差时，对波达方向（ＤＯＡ）的估计性能，给出了大样本情况下的估计方差公式，并与基于协方差矩阵的标准ＭＵＳＩＣ算法作了比较。计算机仿真... 本文分析了基于四阶累量的ＭＵＳＩＣ算法（记作ＦＯＣ－ＭＵＳＩＣ），在实际阵元存在幅相误差时，对波达方向（ＤＯＡ）的估计性能，给出了大样本情况下的估计方差公式，并与基于协方差矩阵的标准ＭＵＳＩＣ算法作了比较。计算机仿真结果表明，本文给出的方差公式与实验仿真结果十分接近。文中还给出了利用高阶累量的方法可获得阵列有效孔径扩展的新解释。 展开更多
关键词 高阶统计量 方差分析 阵列 信号处理 MUSIC算法
在线阅读 下载PDF
基于扩展有限状态机测试序列生成方法研究 被引量：3
8
作者 蒋凡 魏蓉 郐吉丰 《计算机工程与应用》 CSCD 北大核心 2007年第7期62-64,74,共4页
扩展有限状态机是对有限状态机的扩展,由于引入了变量、状态迁移的前置条件以及状态迁移所引起的操作,它的测试序列存在可执行性问题。讨论了基于扩展有限状态机的测试序列生成方法的主要特点及局限性,指出了有待进一步研究的若干问题。
关键词 扩展有限状态机 有限状态机 测试序列生成 数据流测试 可执行性
在线阅读 下载PDF
基于数据流的类测试技术研究 被引量：3
9
作者 张雪萍 范中山 +1 位作者 王家耀 庄雷 《计算机工程与应用》 CSCD 北大核心 2005年第9期40-42,共3页
面向对象软件测试已成为软件工程领域的一个重要研究课题,其中,类测试是面向对象软件测试的关键。论文在介绍传统数据流测试技术的基础上,以面向对象软件的类作为基本测试单元,研究了一种基于数据流的类测试技术。
关键词 面向对象 软件测试 数据流测试 类测试
在线阅读 下载PDF
基于数据链的软件故障定位方法 被引量：9
10
作者 杨波 吴际 刘超 《软件学报》 EI CSCD 北大核心 2015年第2期254-268,共15页
软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本信息,提出了一种综合考... 软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本信息,提出了一种综合考虑变量操作状态变化以及变量操作状态间依赖关系的数据链模型,利用该模型对程序中数据流故障进行定位.经过实验验证,所提出的基于数据链的故障定位方法的定位结果与基于定义-使用对、基于程序切片、基于概率依赖图和基于语句覆盖这4种典型的故障定位方法进行了对比,取得了更好的定位效果. 展开更多
关键词 故障定位 数据流 变量 数据链 软件测试
在线阅读 下载PDF
一种基于类数据流的软件测试技术 被引量：3
11
作者 李庆华 刘金根 +1 位作者 缪天鹏 党建国 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2003年第11期17-19,共3页
提出了一种类数据流测试技术 ,通过类的数据流分析计算出实例变量的定义 使用对信息及成员函数的前置条件和后置条件 ,匹配函数的前置条件和后置条件为每一定义 使用对产生函数激活序列 (即测试用例 ) .这样产生的测试用例能够发现成... 提出了一种类数据流测试技术 ,通过类的数据流分析计算出实例变量的定义 使用对信息及成员函数的前置条件和后置条件 ,匹配函数的前置条件和后置条件为每一定义 使用对产生函数激活序列 (即测试用例 ) .这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误 ,并且弥补了传统数据流测试技术的不足 ,减少了重复测试 ,提高了测试效率 . 展开更多
关键词 类数据流 类测试 对象状态 软件测试
在线阅读 下载PDF
一种结构测试数据自动生成的框架 被引量：3
12
作者 陈继锋 沈钧毅 +1 位作者 王志海 王欣峻 《计算机工程》 CAS CSCD 北大核心 2007年第8期6-9,共4页
针对结构测试中控制流和数据流覆盖测试数据的生成都可以归结为面向路径的测试数据生成的问题,提出了一个通用的基于控制流和数据流的结构测试数据自动生成的框架。该框架根据控制流和数据流测试中所采用的覆盖标准优化选取测试路径,并... 针对结构测试中控制流和数据流覆盖测试数据的生成都可以归结为面向路径的测试数据生成的问题,提出了一个通用的基于控制流和数据流的结构测试数据自动生成的框架。该框架根据控制流和数据流测试中所采用的覆盖标准优化选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。以基于路径覆盖、分支覆盖和数据流覆盖测试数据自动生成这3种算法为核心,开发了一个测试数据自动生成的框架原型。实验结果表明该框架是可行的。 展开更多
关键词 结构测试 控制流 数据流 测试数据自动生成
在线阅读 下载PDF
模型检验在构件数据流测试中的应用 被引量：5
13
作者 曾红卫 缪淮扣 《计算机科学与探索》 CSCD 2010年第12期1121-1130,共10页
模型检验输出的反例提供了一种自动产生测试用例的有效途径。提出了一种用模型检验进行构件数据流测试的方法。利用构件状态机描述构件的外部行为,用带有变量定义和使用标记的Kripke结构描述构件状态迁移中的数据流信息;给出了从构件状... 模型检验输出的反例提供了一种自动产生测试用例的有效途径。提出了一种用模型检验进行构件数据流测试的方法。利用构件状态机描述构件的外部行为,用带有变量定义和使用标记的Kripke结构描述构件状态迁移中的数据流信息;给出了从构件状态机到Kripke结构的转换方法,并建立了全定义覆盖和全使用覆盖准则的陷阱性质构造公式。陷阱性质将使模型检验器NuSMV输出反例,从而产生构件的数据流测试序列。 展开更多
关键词 构件 数据流测试 模型检验 陷阱性质
在线阅读 下载PDF
数据流控制流相叠加的可执行测试序列生成研究 被引量：2
14
作者 魏仰苏 孟兆航 舒挺 《计算机工程与应用》 CSCD 北大核心 2007年第10期121-124,共4页
提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息,然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试和控制流测试的优点,既具有比较高的错误覆盖率,又对通信协议... 提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息,然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试和控制流测试的优点,既具有比较高的错误覆盖率,又对通信协议中的数据部分进行了充分的测试,从而提高了一致性测试的效率。 展开更多
关键词 一致性测试 数据流 控制流 TEA树
在线阅读 下载PDF
数据流测试准则之间关系的研究 被引量：2
15
作者 伦立军 丁雪梅 李英梅 《计算机工程与应用》 CSCD 北大核心 2005年第4期79-81,共3页
软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先分析了数据流测试基本概念,然后讨论了数据流测试准则之间的关系,最后针对测试准则C1和C2,提出了二者的关系R。R(C1,C2... 软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先分析了数据流测试基本概念,然后讨论了数据流测试准则之间的关系,最后针对测试准则C1和C2,提出了二者的关系R。R(C1,C2)可保证在特定的错误检测度量方法下,C1比C2具有更好的检错能力。 展开更多
关键词 软件测试 测试准则 数据流分析 测试数据
在线阅读 下载PDF
基于程序插装的动态测试技术实现 被引量：16
16
作者 孙昌爱 金茂忠 《小型微型计算机系统》 CSCD 北大核心 2001年第12期1475-1479,共5页
动态测试是检测程序的动态行为的一种有效手段 .本文介绍了 Safepro白盒软件测试工具系列中基于程序插装的动态测试技术实现 ,具体讨论了动态测试的模型、数据流模型和动态跟踪数据的编码和解码技术 。
关键词 动态测试 数据流分析 软件测试 程序插装 软件工程
在线阅读 下载PDF
基于遗传算法的数据流测试用例自适应生成算法 被引量：7
17
作者 许力 陈江勇 《计算机系统应用》 2013年第7期90-94,共5页
测试用例的设计是软件测试实施的首要环节,对后期测试工作具有重要的指导作用,也是提高质量软件的根本保证.针对Moheb R.Girgis算法的不足,通过引入分支函数和改进遗传算法中的自适应性,提出一种改进的数据流测试用例的自动生成算法,实... 测试用例的设计是软件测试实施的首要环节,对后期测试工作具有重要的指导作用,也是提高质量软件的根本保证.针对Moheb R.Girgis算法的不足,通过引入分支函数和改进遗传算法中的自适应性,提出一种改进的数据流测试用例的自动生成算法,实验表明,改进算法在收敛速度和覆盖率等关键性能上都有较明显提高. 展开更多
关键词 遗传算法 数据流 测试用例 自动化测试
在线阅读 下载PDF
Gupta方法的改进 被引量：3
18
作者 单锦辉 王戟 +1 位作者 齐治昌 吴建平 《计算机学报》 EI CSCD 北大核心 2002年第12期1378-1386,共9页
Gupta等提出一种线性化谓词函数的方法 (简称 Gupta方法 ) ,为指定程序路径自动生成测试数据 .该文给出了一种模型语言 ,研究静态、动态数据依赖关系的性质以及 Gupta方法中各概念的形式化定义 ,将 Gupta等提出的谓词片推广为路径静态切... Gupta等提出一种线性化谓词函数的方法 (简称 Gupta方法 ) ,为指定程序路径自动生成测试数据 .该文给出了一种模型语言 ,研究静态、动态数据依赖关系的性质以及 Gupta方法中各概念的形式化定义 ,将 Gupta等提出的谓词片推广为路径静态切片 ,证明了路径静态切片构造算法的正确性 .对 Gupta方法的改进 ,省略了构造谓词片和输入依赖集的过程 ,改进后的方法构造线性约束的效率更高 .以改进后的方法为核心算法 ,开发了面向路径的测试数据自动生成的原型工具 ,并用实际的程序路径对该工具进行实验 .结果表明改进后的方法是比较有效的 . 展开更多
关键词 Gupta 测试数据自动生成 路径测试 软件测试 数据流分析 程序切片 线性化谓词函数
在线阅读 下载PDF
一种基于数据流准则的测试数据自动生成算法 被引量：6
19
作者 陈继锋 沈钧毅 +2 位作者 王欣峻 刘勇 王志海 《微电子学与计算机》 CSCD 北大核心 2007年第1期5-8,14,共5页
提出了一种基于数据流准则的测试数据自动生成的算法。该算法采用ALL-DU-PATHS覆盖准则,应用Warshall算法来计算判定DU对的可行可测性,通过优化选取覆盖DU对的测试序列,给出了基于测试序列的测试数据自动生成的方法,最后通过实例和实验... 提出了一种基于数据流准则的测试数据自动生成的算法。该算法采用ALL-DU-PATHS覆盖准则,应用Warshall算法来计算判定DU对的可行可测性,通过优化选取覆盖DU对的测试序列,给出了基于测试序列的测试数据自动生成的方法,最后通过实例和实验进行了验证。 展开更多
关键词 数据流准则 DU对 谓词函数 测试数据
在线阅读 下载PDF
基于Petri网的测试路径选择标准 被引量：1
20
作者 李华 叶新铭 张巨萍 《内蒙古大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第1期88-93,共6页
首先介绍了Petri网在分析系统方面的优点,给出基于Petri网进行测试研究的相关概念,提出了基于Petri网的考虑控制流进行测试的标准,也给出了考虑数据流进行测试的标准.然后通过例子,给出了基于各个标准产生的测试路径,最后给出了结论以... 首先介绍了Petri网在分析系统方面的优点,给出基于Petri网进行测试研究的相关概念,提出了基于Petri网的考虑控制流进行测试的标准,也给出了考虑数据流进行测试的标准.然后通过例子,给出了基于各个标准产生的测试路径,最后给出了结论以及下一步应考虑的问题. 展开更多
关键词 PETRI网 控制流 数据流 测试路径
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 8 下一页 到第 页
使用帮助 返回顶部