一种基于异常传播分析的依赖性分析方法 被引量：10

1

作者 姜淑娟 徐宝文 +1 位作者 史亮 周晓宇 《软件学报》 EI CSCD 北大核心 2007年第4期832-841,共10页

在分析异常处理结构对程序依赖性分析影响的基础上,对传统的控制流图进行改进,提出了一种新的能够描述包括异常处理结构在内的函数内和函数间的C++程序的依赖性分析模型,并给出了相应的构造算法.该方法既克服了因忽略异常处理结构对程... 在分析异常处理结构对程序依赖性分析影响的基础上,对传统的控制流图进行改进,提出了一种新的能够描述包括异常处理结构在内的函数内和函数间的C++程序的依赖性分析模型,并给出了相应的构造算法.该方法既克服了因忽略异常处理结构对程序依赖性的影响而造成分析结果不准确的不足,又有助于实现基于异常传播的程序依赖性分析的自动处理.最后,对这种依赖性分析方法在程序切片中的应用作了进一步的探讨. 展开更多

关键词 异常处理 程序分析 异常传播 依赖性分析 程序切片 健壮性

在线阅读 下载PDF 职称材料

一种基于程序可达图的并发程序依赖性分析方法 被引量：14

2

作者 戚晓芳 徐宝文 周晓宇 《电子学报》 EI CAS CSCD 北大核心 2007年第2期287-291,共5页

依赖性分析是一种重要的程序分析手段.针对多线程共享变量通信机制,本文在提出一种新的并发程序表示—线程交互可达图(tIRG)的基础上,从全局分析并发程序的依赖关系,构建了以程序状态和语句二元组为节点的并发程序依赖图(MSDG).与传统... 依赖性分析是一种重要的程序分析手段.针对多线程共享变量通信机制,本文在提出一种新的并发程序表示—线程交互可达图(tIRG)的基础上,从全局分析并发程序的依赖关系,构建了以程序状态和语句二元组为节点的并发程序依赖图(MSDG).与传统的以语句为节点的并发程序依赖图相比,MSDG图中依赖关系不仅精确,且具有可传递性,对其遍历可获得高精度的并发程序切片,精度和效率较其它高精度切片方法有显著提高. 展开更多

关键词 并发程序 可达性分析 依赖性分析 程序切片

在线阅读 下载PDF 职称材料

重塑黄土动态回弹模量依赖性分析及预估模型 被引量：14

3

作者 冉武平 李玲 +1 位作者 张翛 张祥 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第9期130-137,共8页

为明确重塑黄土动态回弹模量的应力依赖性,借助室内重复加载三轴试验,研究了在16种应力路径、3个压实度和4个含水量状态下黄土动回弹特性.试验结果表明:含水量越高时偏应力和围压影响较体应力显著,含水量越低时偏应力和体应力影响较围... 为明确重塑黄土动态回弹模量的应力依赖性,借助室内重复加载三轴试验,研究了在16种应力路径、3个压实度和4个含水量状态下黄土动回弹特性.试验结果表明:含水量越高时偏应力和围压影响较体应力显著,含水量越低时偏应力和体应力影响较围压显著.低偏应力条件下,含水量对低压实度黄土的回弹模量影响显著,反之高偏应力条件下含水量则对高压实度黄土回弹模量影响显著;回弹模量在含水量大于等于最佳含水量时,受偏应力和体应力影响显著,而在含水量小于最佳含水量时受偏应力和围压影响显著.鉴于此,提出以Ni模型为基础,在不同湿度阶段采用不同的应力控制参数的两阶段动态回弹模量预估模型,从而精准表达黄土路基性能参数. 展开更多

关键词 重塑黄土 动态回弹模量 重复加载三轴试验 依赖性分析 分阶段预估模型

在线阅读 下载PDF 职称材料

基于依赖性分析的UML状态图切片技术 被引量：6

4

作者 卢炎生 王曦 +1 位作者 谢晓东 毛澄映 《计算机工程》 EI CAS CSCD 北大核心 2006年第15期81-83,共3页

将UML状态图、程序切片和软件测试技术三者结合起来,生成基于依赖性分析的UML状态图切片,为软件测试中待测试的程序的理解、发现和修改错误提供了一种方法。最后运用实例讨论了该切片方法的实用性,应用于回归测试中具有较高的效率。

关键词 统一建模语言 UML状态图 切片 依赖性分析

在线阅读 下载PDF 职称材料

一种并发程序依赖性分析方法 被引量：13

5

作者 陈振强 徐宝文 《计算机研究与发展》 EI CSCD 北大核心 2002年第2期159-164,共6页

并发程序的依赖性分析是并发程序分析、理解、调试、测试和维护的重要手段.由于并发程序执行的不确定性,目前,尚有很多难点有待解决.针对Ada任务机制,首先提出了一种简洁、有效的并发程序表示方法——并发程序流图,然后讨论了由任务间... 并发程序的依赖性分析是并发程序分析、理解、调试、测试和维护的重要手段.由于并发程序执行的不确定性,目前,尚有很多难点有待解决.针对Ada任务机制,首先提出了一种简洁、有效的并发程序表示方法——并发程序流图,然后讨论了由任务间同步引起的同步依赖和由访问共享变量引起的任务间数据依赖,建立了并发程序依赖图,并在此基础上给出了一种有效的并发程序依赖性分析算法,得到一个比较精确的依赖集,较好地解决了并发程序依赖关系不可传递性问题. 展开更多

关键词 并发程序流图 并发程序依赖图 依赖性分析 面向对象

在线阅读 下载PDF 职称材料

基于依赖性分析的UML类图粗粒度切片方法 被引量：5

6

作者 吴方君 易彤 《应用科学学报》 CAS CSCD 2004年第3期392-397,共6页

引入程序切片的思想对UML的重要组成部分——类图进行切片分析.通过定义类间的各种依赖关系构造UML类依赖图,在此基础上提出了一种UML类图的静态粗粒度切片方法,最后运用实例讨论了该切片方法的实用性.利用文中提供的方法具有较高的效率.

关键词 依赖性分析 统一建模语言 类图 程序切片 依赖性分析 关联依赖 聚合依赖

在线阅读 下载PDF 职称材料

一种基于约束依赖性分析的RDFS模式抽取方法 被引量：3

7

作者 赵晓非 史忠植 +1 位作者 田东平 刘建伟 《软件学报》 EI CSCD 北大核心 2020年第2期344-355,共12页

为了验证RDFS(resource description framework schema)本体的正确性所执行的推理是一项计算开销很大的任务,该任务在附加约束存在的条件下变得更加复杂.提出了一种旨在不改变推理结果的前提下,对RDFS模式进行抽取的方法.该方法基于对... 为了验证RDFS(resource description framework schema)本体的正确性所执行的推理是一项计算开销很大的任务,该任务在附加约束存在的条件下变得更加复杂.提出了一种旨在不改变推理结果的前提下,对RDFS模式进行抽取的方法.该方法基于对约束间的依赖关系进行分析.为了获取RDFS模式的精确语义,首先,将模式元素和约束形式化为一阶谓词逻辑中的析取嵌入依赖;接着,根据约束间的相互影响建立约束依赖图,在此基础上,提出了删除与推理任务无关的边和节点的策略;最后,通过重构造过程获取RDFS子模式.该方法使得推理验证可以在抽取后的小规模本体上进行.实验结果显示,该方法可以显著地提高RDFS本体验证过程的效率,抽取过程的平均耗时为0.60s,与推理检测时间相比几乎可以忽略,而获得的效率提升则为2.00倍~22.97倍不等. 展开更多

关键词 RDFS(resource DESCRIPTION framework schema) 约束 本体抽取 依赖性分析

在线阅读 下载PDF 职称材料

基于FDN的装备体系任务能力依赖性分析 被引量：7

8

作者 陈宇奇 徐廷学 +2 位作者 郝建平 逯程 李志强 《系统工程与电子技术》 EI CSCD 北大核心 2021年第6期1721-1728,共8页

为了深入分析装备体系内各装备系统在任务执行过程中自身性能退化对其相互依赖性的影响,并准确把握体系内各装备系统在自身性能退化和相互依赖性的双重影响下其当前效能的演变规律,对传统功能依赖网络分析(functional dependency networ... 为了深入分析装备体系内各装备系统在任务执行过程中自身性能退化对其相互依赖性的影响,并准确把握体系内各装备系统在自身性能退化和相互依赖性的双重影响下其当前效能的演变规律,对传统功能依赖网络分析(functional dependency network analysis,FDNA)方法进行了一定改进。引入自身效能退化系数,给出考虑时间因素的动态FDNA算法;以Markov过程为基础,构建体系内装备系统的性能退化模型,为自身效能退化系数的计算提供相应依据,从而提出一种基于功能依赖网络的装备体系任务能力依赖性分析方法,并用案例验证了方法的可行性。 展开更多

关键词 装备体系 性能退化 功能依赖网络分析 MARKOV过程 依赖性分析

在线阅读 下载PDF 职称材料

基于依赖性分析的企业级组件集成框架

9

作者 李建平 郑国勤 陈宏伟 《计算机集成制造系统》 EI CSCD 北大核心 2004年第F12期96-99,共4页

论述了企业级组件集成框架的设计目标、设计思想和实现方案,运用可扩展标记语言描述企业级组件间的依赖关系,构建了一个能实现企业级组件即插即用的集成框架。

关键词 集成框架 企业级组件 依赖性分析

在线阅读 下载PDF 职称材料

一种基于污点分析的文件型软件漏洞发现方法 被引量：6

10

作者 刘智 张小松 《小型微型计算机系统》 CSCD 北大核心 2012年第1期42-48,共7页

基于黑盒测试思想的Fuzzing是漏洞分析的主要方法,但效率较低且不能分析未知格式.基于污点分析,提出一种针对文件型软件的漏洞发现新方法.利用污点分析寻找输入中能导致执行流到达脆弱点的字节,再改变这些字节产生新输入;同时根据污点... 基于黑盒测试思想的Fuzzing是漏洞分析的主要方法,但效率较低且不能分析未知格式.基于污点分析,提出一种针对文件型软件的漏洞发现新方法.利用污点分析寻找输入中能导致执行流到达脆弱点的字节,再改变这些字节产生新输入;同时根据污点信息产生特征码.利用插桩工具实现了原型系统,对三个真实漏洞进行了测试.实验结果表明该方法能有效发现漏洞,生成的测试用例远小于Fuzzing,且不依赖输入格式;特征码的误报率漏报率均较低. 展开更多

关键词 漏洞 污点分析 插桩 依赖性分析 特征码

在线阅读 下载PDF 职称材料

乳业振兴背景下中国乳制品进口市场格局演变影响因素分析 被引量：6

11

作者 程长林 赵可 +2 位作者 杨亚东 侯丽薇 姜鹏 《中国乳品工业》 CAS 北大核心 2022年第2期47-49,共3页

通过研究中国乳制品进口市场格局演变将对指导国内乳业生产及市场引导具有重要意义。通过构建近似理想需求系统模型(AIDS)和进口依赖性分析模型,以新西兰、美国、荷兰、澳大利亚等乳制品主要进口目标国为参照,对中国乳制品进口市场格局... 通过研究中国乳制品进口市场格局演变将对指导国内乳业生产及市场引导具有重要意义。通过构建近似理想需求系统模型(AIDS)和进口依赖性分析模型,以新西兰、美国、荷兰、澳大利亚等乳制品主要进口目标国为参照,对中国乳制品进口市场格局影响因素及进口依赖性进行系统分析。结果表明,中国乳制品进口量还将不断增大,对新西兰的依赖性最强,其次是荷兰、美国和澳大利亚。 展开更多

关键词 乳制品进口 市场格局 AIDS模型 依赖性分析

在线阅读 下载PDF 职称材料

结合动静态分析实现架构恢复的方法 被引量：1

12

作者 任武 《计算机科学与探索》 CSCD 北大核心 2019年第4期563-573,共11页

在大型遗留系统的维护活动中,通过聚类技术将系统划分为更小和更易于控制的子系统,是理解软件架构的一项重要措施。传统架构恢复的研究主要关注静态结构,而面向对象系统由于多态和动态绑定等复杂因素的存在,仅有结构分析还不足以支持架... 在大型遗留系统的维护活动中,通过聚类技术将系统划分为更小和更易于控制的子系统,是理解软件架构的一项重要措施。传统架构恢复的研究主要关注静态结构,而面向对象系统由于多态和动态绑定等复杂因素的存在,仅有结构分析还不足以支持架构恢复。功能特征作为一种可触发可观察的系统行为反映了系统实现的功能需求,已经成为构建核心架构的基础。提出一种动静态结合的分析方法,以软件特征作为出发点,通过特征的场景执行以及模块聚类,建立起目标系统的核心架构,然后分析系统的静态结构以提取模块的依赖关联,补充实体到已建立的聚类中。通过对两个开源项目的实验评估和讨论,分析所提方法的有效性和适用性。 展开更多

关键词 动态分析 程序理解 架构恢复 依赖性分析 特征追踪

在线阅读 下载PDF 职称材料

机器学习模型预测煤热解产物分布研究 被引量：5

13

作者 王敏欣 师印光 +3 位作者 刘长波 吴雷 周军 蒋绪 《煤炭转化》 CAS CSCD 北大核心 2024年第4期11-22,共12页

热解技术是煤清洁高效转化利用的主要技术之一,然而由于煤成分复杂、热解反应难以控制,对于各煤种都需要消耗大量时间和精力重复进行热解产物分布研究。以煤的组成和热解终温为输入条件,煤热解产物收率为输出条件,采用机器学习模型调参... 热解技术是煤清洁高效转化利用的主要技术之一,然而由于煤成分复杂、热解反应难以控制,对于各煤种都需要消耗大量时间和精力重复进行热解产物分布研究。以煤的组成和热解终温为输入条件,煤热解产物收率为输出条件,采用机器学习模型调参后的随机森林(RF)、支持向量机(SVM)和极限梯度提升(XGBoost)算法对煤热解产物收率进行了预测,分析了不同输入特征对热解产物收率的重要性,并使用双因素部分依赖分析(PDP)评估了输入特征对热解产物收率的影响。结果表明:三种算法模型中,XGBoost算法对煤热解产物收率预测的性能最佳,其对焦油收率的决策系数(R^(2))和均方根误差(R_(MSE))分别达到最高的0.95和最低的0.86;焦炭收率主要受到固定碳、挥发分、氧元素和热解终温的影响,占比为84%,而焦油收率主要受挥发分、氢元素、氮元素和热解终温的影响,占比为83%;PDP分析表明,随着煤中氢原子和挥发分质量分数的增加,煤热解焦油收率会随之上升;根据XGBoost算法计算可知,当煤中氢元素的质量分数在5.0%~6.0%,挥发分的质量分数位于30%~40%时,热解焦油收率可达到9%以上,当固定碳的质量分数大于50%时,煤中氢元素和挥发分的质量分数减少以及热解终温下降,都会引起热解气收率的降低。 展开更多

关键词 煤热解 产物收率 机器学习 重要特征性分析 部分依赖性分析

在线阅读 下载PDF 职称材料

基于轨迹相交的三维顺序尺寸标注完备性检查 被引量：10

14

作者 程亚龙 刘晓军 刘金锋 《计算机集成制造系统》 EI CSCD 北大核心 2014年第8期1799-1806,共8页

为了实现顺序尺寸标注完备性的自动检测,提出一种基于轨迹相交的检测方法。根据几何约束求解和约束依赖性分析,将顺序尺寸标注的完备性检查问题转换为几何基元的约束状态判定问题,建立了尺寸完备性状态与几何基元约束状态、尺寸使用状... 为了实现顺序尺寸标注完备性的自动检测,提出一种基于轨迹相交的检测方法。根据几何约束求解和约束依赖性分析,将顺序尺寸标注的完备性检查问题转换为几何基元的约束状态判定问题,建立了尺寸完备性状态与几何基元约束状态、尺寸使用状态之间的映射关系。提出轨迹的概念来反映几何约束对几何基元产生的影响,进而建立了轨迹生成规则,分析了轨迹两两求交的交集类型。以定位基准为基础,依次确定了每个几何基元的约束状态,进而得到了尺寸的完备性状态。以一个含有尺寸标注的三维模型为例,演示了顺序尺寸标注完备性检查的运行过程,结果验证了算法的有效性。 展开更多

关键词 顺序尺寸标注 尺寸完备性状态 依赖性分析 轨迹相交 几何基元约束状态

在线阅读 下载PDF 职称材料

用户需求驱动的Web服务测试 被引量：4

15

作者 许蕾 陈林 徐宝文 《计算机学报》 EI CSCD 北大核心 2011年第6期1029-1040,共12页

Web服务涉及开发者、提供者、注册中心、用户等多方,各方测试目的、所掌握的资源以及所使用的测试方法各异.以用户需求来驱动Web服务测试,更切合现状且能提升测试效率.文中建立了用户需求特征模型,引入层次关系、控制结构、约束条件等要... Web服务涉及开发者、提供者、注册中心、用户等多方,各方测试目的、所掌握的资源以及所使用的测试方法各异.以用户需求来驱动Web服务测试,更切合现状且能提升测试效率.文中建立了用户需求特征模型,引入层次关系、控制结构、约束条件等要素;对照目标级、服务组合、原子服务需求,分别进行基于等价类划分、数据流分析和变异测试的测试用例生成选择;当需求变动时,通过波动分析能迅速定位到服务的相关路径和变量,保证回归测试的效率;最后通过行程安排实例展示了工作流程和实验结果. 展开更多

关键词 WEB服务测试 用户需求 测试用例生成 依赖性分析 回归测试

在线阅读 下载PDF 职称材料

基于语义层软件理解的形式化格局识别技术 被引量：3

16

作者 王万诚 李伟华 陈昊鹏 《计算机工程》 CAS CSCD 北大核心 2004年第23期9-11,共3页

目前国内外学者在软件理解的研究上多注重于程序的词法层和语法层技术的探索,相应的有程序切片、程序类跟踪、程序依赖性分析、反汇编与反编译等方法。但对程序的语义层理解方法进行研究的甚少。该文正是基于上述分析研究了一种软件理... 目前国内外学者在软件理解的研究上多注重于程序的词法层和语法层技术的探索,相应的有程序切片、程序类跟踪、程序依赖性分析、反汇编与反编译等方法。但对程序的语义层理解方法进行研究的甚少。该文正是基于上述分析研究了一种软件理解新方法——形式化格局识别技术,以行为层状结构的变换来表述程序的语义,进而采用近人类的思维方式来理解并抽取软件的设计决策与体系结构。 展开更多

关键词 语义层 软件 程序切片 反编译 依赖性分析 形式化 识别技术 理解方法 格局 水平

在线阅读 下载PDF 职称材料

综合系统管理与网络管理实现技术的研究 被引量：3

17

作者 陈琳 黄杰 +1 位作者 廖丽惠 龚正虎 《计算机工程与应用》 CSCD 北大核心 2002年第23期28-31,共4页

该文提出了适应于大型计算机网络和通信网络及应用系统的综合系统管理与网络管理体系结构,研究了基于大型数据库和Web技术的网管、网络自动拓扑发现、策略描述与策略服务以及资源依赖性分析服务等关键技术。该文将这些关键技术应用到综... 该文提出了适应于大型计算机网络和通信网络及应用系统的综合系统管理与网络管理体系结构,研究了基于大型数据库和Web技术的网管、网络自动拓扑发现、策略描述与策略服务以及资源依赖性分析服务等关键技术。该文将这些关键技术应用到综合系统管理与网络管理原型系统的工程实践中,为最终研制高性能、可伸缩和实用的系统管理与网络管理产品提供强有力的技术支持。 展开更多

关键词 综合系统管理 网络管理 计算机网络 通信网络 系统管理代理 网元管理系统 策略库 应用依赖性分析

在线阅读 下载PDF 职称材料

基于偏序约简程序可达图的并发程序切片方法 被引量：2

18

作者 戚晓芳 徐晓晶 +1 位作者 江振亮 汪鹏 《计算机学报》 EI CSCD 北大核心 2014年第3期568-579,共12页

并发程序切片是一种重要的并发程序分析手段.基于程序可达图可构造以程序状态和语句二元组为节点的、依赖关系具有可传递性的并发程序依赖图,解决依赖关系的不可传递性问题,提高切片精度.程序可达图通过交织执行模拟并发活动,分析代价较... 并发程序切片是一种重要的并发程序分析手段.基于程序可达图可构造以程序状态和语句二元组为节点的、依赖关系具有可传递性的并发程序依赖图,解决依赖关系的不可传递性问题,提高切片精度.程序可达图通过交织执行模拟并发活动,分析代价较高.偏序约简是一种十分有效的并发系统状态空间约简技术,约简的并发系统状态空间包含所有的并发程序执行代表.为提高效率,该文将偏序约简技术扩展到程序可达图的约简中,在偏序约简理论的基础上,证明了基于未约简和约简的并发程序可达图构造的并发程序依赖图在进行切片计算时是等价的.实验结果表明,采用偏序约简技术使基于程序可达图的并发程序切片方法在保证切片精度不受损失的前提下显著提高切片效率.与其它高精度切片方法相比,基于约简程序可达图的切片方法的精度更高,在大多数情况下,切片效率也有一定提高. 展开更多

关键词 并发程序 程序切片 依赖性分析 可达性分析 偏序约简 程序分析 软件测试中图法

在线阅读 下载PDF 职称材料

基于遗传算法和分支覆盖的测试数据生成方法 被引量：6

19

作者 姜元鹏 董庆杰 《计算机工程与设计》 北大核心 2016年第1期112-117,共6页

为确保分支覆盖更加简约高效,提出一种基于遗传算法和分支覆盖的测试数据生成方法。使用控制依赖分析对需覆盖的分支集进行约简,使约简后的分支子集能够包含程序中所有需要覆盖的分支。对目标分支进行依赖性分析,获得到达该分支的路径... 为确保分支覆盖更加简约高效,提出一种基于遗传算法和分支覆盖的测试数据生成方法。使用控制依赖分析对需覆盖的分支集进行约简,使约简后的分支子集能够包含程序中所有需要覆盖的分支。对目标分支进行依赖性分析,获得到达该分支的路径约束。将多路径约束转化为适应度函数,采用遗传算法生成测试用例。实验结果表明,该方法在覆盖率和进化代数方面均具有优越性。 展开更多

关键词 软件测试 遗传算法 测试数据生成 依赖性分析 分支覆盖

在线阅读 下载PDF 职称材料

UML状态图在回归测试中的应用 被引量：1

20

作者 王曦 《计算机工程》 CAS CSCD 北大核心 2009年第4期63-65,共3页

基于UML状态图的测试是一种系统测试技术,也是基于需求的回归测试方法的扩展。该文通过依赖性分析,生成基于依赖性分析的UML状态图和依赖图,将修改前和修改后的UML状态图进行比较,为回归测试中待测试的程序的理解、发现和修改错误提供... 基于UML状态图的测试是一种系统测试技术,也是基于需求的回归测试方法的扩展。该文通过依赖性分析,生成基于依赖性分析的UML状态图和依赖图,将修改前和修改后的UML状态图进行比较,为回归测试中待测试的程序的理解、发现和修改错误提供一种方法,并运用SATM实例讨论该技术在回归测试中的应用。 展开更多

关键词 统一建模语言 UML状态图 依赖性分析 回归测试

在线阅读 下载PDF 职称材料