基于有序等价划分的冗余空间转移图像加密安全性分析 被引量：4

1

作者 陈帆 屈凌峰 +1 位作者 原长琦 和红杰 《电子学报》 EI CAS CSCD 北大核心 2021年第4期665-671,共7页

现有的冗余空间转移(RST)图像加密算法有效提高了加密图像可逆数据隐藏的隐藏容量和抵抗现有已知明文攻击的能力.在分析RST图像加密三个密钥特性和定义有序等价集的基础上,提出一种基于有序等价划分的已知明文攻击方法.对得到的明-密图... 现有的冗余空间转移(RST)图像加密算法有效提高了加密图像可逆数据隐藏的隐藏容量和抵抗现有已知明文攻击的能力.在分析RST图像加密三个密钥特性和定义有序等价集的基础上,提出一种基于有序等价划分的已知明文攻击方法.对得到的明-密图像对(原始图像及其加密图像),首先基于直方图距离比较重建原始图像的位平面置乱图像(BPSI),然后对BPSI的每个图像块,在加密图像划分得到的有序等价集中查找并推断该图像块的块置乱密钥(BSK).推导给出了BSK估计准确率与分块大小、图像块个数和有序等价集个数的关系.实验结果表明,对512×512的测试图像,当分块大小不小于4×4时,BSK估计准确率超过0.95;不同BSK估计准确率得到解密图像的视觉效果表明,即使BSK估计准确率低至0.50,也可能导致原始图像的内容信息泄露. 展开更多

关键词 可逆信息隐藏 图像加密 有序等价划分 冗余空间转移

在线阅读 下载PDF 职称材料

软件测试中的等价划分法

2

作者 朱连军 田有贵 《安阳师范学院学报》 2002年第5期55-56,共2页

介绍了在软件生存周期中软件测试的目的和方法 ,讨论了用等价划分法设计测试方案。

关键词 等价划分法 软件测试 黑盒测试 白盒测试 软件工程 软件质量

在线阅读 下载PDF 职称材料

三种胞腔划分下对多智能体系统能控性分析

3

作者 陈明彪 纪志坚 渠继军 《青岛大学学报(工程技术版)》 2025年第1期1-8,16,共9页

基于距离划分、阶层划分和等价划分三种胞腔划分方法,研究了不同划分方式对多智能体系统能控子空间维数的影响。首先,结合距离划分和矩阵理论,给出了拓扑结构的直径与拉普拉斯矩阵特征值数量之间的关系。其次,利用阶层划分和等价划分,... 基于距离划分、阶层划分和等价划分三种胞腔划分方法,研究了不同划分方式对多智能体系统能控子空间维数的影响。首先,结合距离划分和矩阵理论,给出了拓扑结构的直径与拉普拉斯矩阵特征值数量之间的关系。其次,利用阶层划分和等价划分,得到了系统能控子空间维数的下界,在此基础上,确定了领导者的选择与能控子空间维数之间的关系,证明了能控子空间的维数大于连通矩阵的秩与阶层节点数量之和。最后,当胞腔完全连通时,明确了输入向量的非零元素与能控子空间维数的关系。 展开更多

关键词 阶层划分 等价划分 能控子空间 连通分量

在线阅读 下载PDF 职称材料

基于属性集等价类划分的数据约简 被引量：1

4

作者 张学明 施法中 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第3期344-347,共4页

由于大型数据库中数据的高维、巨量 ,使得数据约简在数据库知识发现中起着越来越重要的作用 .现有的数据约简方法有 3类 :穷举选择法、启发式选择法和随机选择法 .这些方法效率低 ,可能丢失重要信息 ,效果都不理想 .属性集等价类划分可... 由于大型数据库中数据的高维、巨量 ,使得数据约简在数据库知识发现中起着越来越重要的作用 .现有的数据约简方法有 3类 :穷举选择法、启发式选择法和随机选择法 .这些方法效率低 ,可能丢失重要信息 ,效果都不理想 .属性集等价类划分可以在本质上标识出冗余属性和无关属性 ,并且可以快速、准确地计算等价类划分个数 ,使得数据约简更有效 。 展开更多

关键词 数据约简 数据库 等价类划分 数据挖掘 属性集 大型数据库 KDD

在线阅读 下载PDF 职称材料

《软件工程》中等价类划分法的讨论

5

作者 尹琪 《黑龙江科技信息》 2007年第06X期33-33,共1页

软件测试是软件开发的一个重要环节,也是《软件工程》课程教学的一个重要内容。主要介绍了一类软件测试方法——黑盒测试中的等价类划分法,并结合一个例子分析了运用该方法设计测试用例的方案。

关键词 软件工程 软件测试 等价类划分

在线阅读 下载PDF 职称材料

判定表驱动和等价类划分在软件测试中的组合应用

6

作者 苏晶 张冬梅 《科学技术创新》 2018年第34期84-85,共2页

判定表驱动法是应用广泛且测试效果较好的一种动态黑盒测试方法,但该方法在处理输入条件为非逻辑值时存在局限性。在分析了判定表驱动法和等价类划分法的特点后,通过示例阐述了两者结合的测试方案,该方案可提高测试的效率和有效性。

关键词 判定表驱动 等价类划分 黑盒测试

在线阅读 下载PDF 职称材料

基于时空约束的IDS系统能力评估方法 被引量：1

7

作者 杨望 龚俭 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2011年第2期274-279,共6页

为了提高入侵检测系统评估结果的准确性和合理性,提出了基于时空约束的评估方法.该方法把承载攻击的报文序列作为描述入侵检测系统检测能力的基础,通过时空约束及其对应的内容约束对入侵检测系统的检测能力空间进行等价划分,完善基于分... 为了提高入侵检测系统评估结果的准确性和合理性,提出了基于时空约束的评估方法.该方法把承载攻击的报文序列作为描述入侵检测系统检测能力的基础,通过时空约束及其对应的内容约束对入侵检测系统的检测能力空间进行等价划分,完善基于分辨率方法提出的系统能力测度体系.实验表明,基于时空约束的入侵检测系统能力评估方法相对于传统评估方法可以在更精确的维度上对入侵检测系统的能力进行评估,并根据不同阶的时间约束具体指出入侵检测系统能力的弱点.使用基于时空约束的入侵检测系统能力评估方法提高了入侵检测系统评估结果的公平性、合理性和准确性. 展开更多

关键词 网络入侵检测系统 评估 系统能力 等价划分

在线阅读 下载PDF 职称材料

基于N维复杂业务场景的列车运行监控装置测试方法

8

作者 何宇晖 莫小凡 +1 位作者 郑璟瑜 王佳 《铁道通信信号》 2024年第10期26-31,共6页

目前针对列车运行监控装置(LKJ)的测试普遍采用化整为零的方式,以功能特征作为划分依据,对LKJ业务功能采用等价类划分或边界值分析进行单项测试。但LKJ在运用过程中存在多个业务场景交织的情况,当被测试的业务功能与其他业务功能耦合时... 目前针对列车运行监控装置(LKJ)的测试普遍采用化整为零的方式,以功能特征作为划分依据,对LKJ业务功能采用等价类划分或边界值分析进行单项测试。但LKJ在运用过程中存在多个业务场景交织的情况,当被测试的业务功能与其他业务功能耦合时,测试结果可能会与预期结果不一致。为此根据LKJ业务功能的时间与空间特性,提出一种基于N维复杂业务场景的测试方法。将LKJ业务功能分解得到LKJ单位功能,依据时间法或空间法将LKJ单位功能构建形成复杂场景。通过对LKJ业务功能复杂场景进行测试,更加全面地覆盖LKJ实际运营场景,提高设计开发过程测试的异常发现率,进一步降低LKJ在实际运用中出现非预期行为的概率。 展开更多

关键词 列车运行监控装置 复杂业务场景 时间法 空间法 等价类划分 边界值分析

在线阅读 下载PDF 职称材料

基于UML状态图的类测试用例生成 被引量：1

9

作者 雷斌 崔丽婷 《电子质量》 2013年第8期39-41,50,共4页

针对完整的类测试用例(包括测试序列和测试数据),采用灰盒测试技术,提出对UML状态图进行改进的广度优先搜索和深度优先搜索遍历后转化为测试树,再对树进行遍历得到测试序列,测试数据由等价划分方法和边界值法设置,通过实例可验证此方法... 针对完整的类测试用例(包括测试序列和测试数据),采用灰盒测试技术,提出对UML状态图进行改进的广度优先搜索和深度优先搜索遍历后转化为测试树,再对树进行遍历得到测试序列,测试数据由等价划分方法和边界值法设置,通过实例可验证此方法有效可行。 展开更多

关键词 测试用例 灰盒测试 UML状态图 等价划分

在线阅读 下载PDF 职称材料

数学无限的处理方法

10

作者 范叙保 冯进 《常熟高专学报》 1996年第4期19-23,共5页

本文具体讨论了数学领域中处理无限问题的四种基本方法。１．代表元素法；２．基组表示法；３．等价划分法；４．同构映射法，并且揭示了它们之间的内在联系。

关键词 无限 等价划分法 数学 代表元素法 基组表示法

在线阅读 下载PDF 职称材料

黑盒测试技术在指控分系统软件测试中的应用 被引量：6

11

作者 张敏 赵平 张蓉 《强激光与粒子束》 EI CAS CSCD 北大核心 2013年第B05期87-90,共4页

软件测试是保证软件产品质量的一个重要手段,其中测试用例的设计是软件测试的关键。以指控分系统软件测试为例,详细介绍了软件黑盒测试的几种方法,以及如何采用黑盒测试技术来设计切实可行的测试用例,实践证明,应用这些黑盒测试技术在... 软件测试是保证软件产品质量的一个重要手段,其中测试用例的设计是软件测试的关键。以指控分系统软件测试为例,详细介绍了软件黑盒测试的几种方法,以及如何采用黑盒测试技术来设计切实可行的测试用例,实践证明,应用这些黑盒测试技术在该系统软件测试的用例设计中,极大地提高了测试效率,取得了较好的效果,具有一定的推广价值。 展开更多

关键词 黑盒测试 测试用例 软件测试 等价类划分法 因果图法

在线阅读 下载PDF 职称材料

基于谓词抽象的测试用例约简生成方法 被引量：10

12

作者 郭曦 张焕国 《通信学报》 EI CSCD 北大核心 2012年第3期35-43,51,共10页

针对大规模软件系统状态迁移数量庞大,容易导致状态空间爆炸的问题,提出一种基于谓词抽象的测试用例约简生成方法,该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分,通过状态集合之间的映射得到约简的抽象状态,并以抽象状... 针对大规模软件系统状态迁移数量庞大,容易导致状态空间爆炸的问题,提出一种基于谓词抽象的测试用例约简生成方法,该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分,通过状态集合之间的映射得到约简的抽象状态,并以抽象状态之间的迁移关系作为测试用例约简生成的基础。实验结果表明,该方法可以有效地对系统状态进行约简,并生成规模较小的测试用例集。 展开更多

关键词 谓词抽象 状态约简 等价类划分 测试用例生成

在线阅读 下载PDF 职称材料

基于混合粒子群的IMX系统组合测试用例集生成 被引量：4

13

作者 徐涛 张亭亭 左海超 《现代电子技术》 北大核心 2019年第8期46-50,54,共6页

测试用例生成是组合测试领域的关键任务。针对国际航空运输协会的全球航空公司综合管理系统在软件测试中面临的测试用例冗余问题,分析粒子群算法生成单个测试用例时不同参数取值以及取值对结果的影响,以此为基础提出一种以one-test-at-a... 测试用例生成是组合测试领域的关键任务。针对国际航空运输协会的全球航空公司综合管理系统在软件测试中面临的测试用例冗余问题,分析粒子群算法生成单个测试用例时不同参数取值以及取值对结果的影响,以此为基础提出一种以one-test-at-a-time为扩展策略的混合粒子群组合测试用例集生成算法。以全球航空公司综合管理系统中的参数为实验数据,实验表明,该方法在生成尽可能少的组合测试用例集上是有效的,且可以减小该系统组合测试用例集规模,提高待测软件系统的测试效率。 展开更多

关键词 组合测试 one-test-at-a-time策略 粒子群算法 测试用例 IMX系统 等价类划分

在线阅读 下载PDF 职称材料

实时软件测试用例构造方法研究 被引量：2

14

作者 李伟华 王备战 李书书 《西北工业大学学报》 EI CAS CSCD 北大核心 1998年第2期261-265,共5页

在分析实时软件特征的基础上，从任务组合和等价类划分两个主要环节探讨了软件测试用例构造策略，总结出六项基本规则，并将这些规则应用于一项大型工程软件的测试，使测试用例数减少到接近最低程度，时间和费用降低50％以上。

关键词 测试用例生成 等价类划分 实时软件

在线阅读 下载PDF 职称材料

基于预测度量值的IPTV用户行为规则预测算法

15

作者 汪敏娟 嵇正鹏 吕超 《电信科学》 北大核心 2016年第5期160-165,共6页

提出了一种符合用户行为的,基于海量IPTV用户特征数据,对IPTV用户进行分群和规则提取的算法模型。首先提出了符合用户点播使用行为的IPTV用户分群的描述维度,即通过基础属性描述用户分群、通过点播行为描述用户分群变化趋势。然后提出... 提出了一种符合用户行为的,基于海量IPTV用户特征数据,对IPTV用户进行分群和规则提取的算法模型。首先提出了符合用户点播使用行为的IPTV用户分群的描述维度,即通过基础属性描述用户分群、通过点播行为描述用户分群变化趋势。然后提出了预测度量值的概念,对用户分群的稳定性进行描述,并提出了对稳定的用户分群提取点播行为概率的算法。最后通过大量的IPTV运营数据对算法模型进行了验证分析。 展开更多

关键词 IPTV 点播行为 等价类划分 信息熵 预测度量值 规则提取

在线阅读 下载PDF 职称材料

Graphs with the Same Color-partition as the Complement of lK_1∪(∪C_(u_i))

16

作者 冶成福 张淑敏 火博丰 《Chinese Quarterly Journal of Mathematics》 CSCD 2002年第4期52-56,共5页

In this paper, using the properties of chromatic polynomial, we discuss the color-partition of the complement of lK 1∪(∪C u i),and characterize the graph with the same color-partition as the class graph under u... In this paper, using the properties of chromatic polynomial, we discuss the color-partition of the complement of lK 1∪(∪C u i),and characterize the graph with the same color-partition as the class graph under u i≠4k+2. 展开更多

关键词 color-partition chromatically equivalent root of polynomial

在线阅读 下载PDF 职称材料

软件测试用例设计方法之实践探究

17

作者 李晓叶 《消费电子》 2012年第07X期95-95,共1页

测试用例的设计对软件测试的成功与否起着关键性作用，本文基于软件测试的实践经验，对测试用例的典型设计方法进行了分析研究。

关键词 测试用例 测试设计 边界值 等价类划分 CRUD 决策表

在线阅读 下载PDF 职称材料

基于IECP的CTCS-3列控车载TSM曲线完备性测试用例集生成方法研究 被引量：3

18

作者 郑伟 唐涛 +1 位作者 吕继东 魏国栋 《铁道学报》 EI CAS CSCD 北大核心 2020年第5期72-83,共12页

作为CTCS-3级列控系统的核心安全功能,速度-距离模式曲线具有参数输入域规模大、故障模式复杂等特点,如何完备地测试列控车载设备速度-距离监控曲线功能异常困难。提出了一种基于输入等价类划分测试理论的CTCS-3级列控车载目标速度监控... 作为CTCS-3级列控系统的核心安全功能,速度-距离模式曲线具有参数输入域规模大、故障模式复杂等特点,如何完备地测试列控车载设备速度-距离监控曲线功能异常困难。提出了一种基于输入等价类划分测试理论的CTCS-3级列控车载目标速度监控曲线完备性测试用例生成方法。首先,结合CTCS-3级列控系统需求规范,建立了满足司机制动优先和设备制动优先两种不同制动优先级情况下的TSM有限状态机模型,并利用反应式状态迁移系统的形式化语义,描述了不同输入情况下模型的内部状态迁移过程。其次,利用I/O等价原理和等价类划分理论,得到了两种不同制动优先情况下的输入等价类划分。在此基础上,通过引入了被测系统的故障模型和故障域范围,采用W-method测试用例集生成方法,在满足模型故障域的条件下,最终得到两种不同制动优先的目标速度监控曲线模型完备测试集。设备制动优先情况生成的测试用例数量高于司机制动优先约33.3%,且所需测试时间和内存消耗更多。 展开更多

关键词 CTCS-3列控车载 目标速度监控 输入等价类划分 完备性 测试用例

在线阅读 下载PDF 职称材料

电子安全与解除保险装置安全性测试方法 被引量：3

19

作者 马继存 齐杏林 吕静 《信息技术》 2015年第3期182-185,189,共5页

通过分析电子安全与解除保险装置的原理,得出了实现安全与解除保险逻辑的两片独立IC器件对保证全电子安全系统的安全性至关重要。针对使用FPGA实现的独立IC器件,引进嵌入式软件黑盒测试技术来对其进行测试。结合相关国军标给出了对安全... 通过分析电子安全与解除保险装置的原理,得出了实现安全与解除保险逻辑的两片独立IC器件对保证全电子安全系统的安全性至关重要。针对使用FPGA实现的独立IC器件,引进嵌入式软件黑盒测试技术来对其进行测试。结合相关国军标给出了对安全与解除保险逻辑电路测试的要求,并以解除保险逻辑形式中的一种为例,说明了对安全与解除保险逻辑电路进行测试的测试用例的生成方法。 展开更多

关键词 电子安全与解除保险装置 FPGA 黑盒测试技术 安全性测试 等价类划分

在线阅读 下载PDF 职称材料

Graphs with the Same Color-partition as the Complement of lK₁∪(∪C_ui)

20

作者 冶成福 张淑敏 火博丰 《Chinese Quarterly Journal of Mathematics》 CSCD 2002年第4期52-56,共页

In this paper, using the properties of chromatic polynomial, we discuss the color-partition of the complement of lK 1∪(∪C u i),and characterize the graph with the same color-partition as the class graph under u... In this paper, using the properties of chromatic polynomial, we discuss the color-partition of the complement of lK 1∪(∪C u i),and characterize the graph with the same color-partition as the class graph under u i≠4k+2. 展开更多

关键词 color-partition chromatically equivalent root of polynomial

全文增补中