-
题名基于依赖性分析的UML类图粗粒度切片方法
被引量：5
- 1
-
-
作者
吴方君
易彤
-
机构
东南大学计算机科学与工程系
-
出处
《应用科学学报》
CAS
CSCD
2004年第3期392-397,共6页
-
文摘
引入程序切片的思想对UML的重要组成部分——类图进行切片分析.通过定义类间的各种依赖关系构造UML类依赖图,在此基础上提出了一种UML类图的静态粗粒度切片方法,最后运用实例讨论了该切片方法的实用性.利用文中提供的方法具有较高的效率.
-
关键词
依赖性分析
统一建模语言
类图
程序切片
依赖性分析
关联依赖
聚合依赖
-
Keywords
unified modeling language
class diagram
program slicing
dependency analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于依赖条件重构的程序符号值分析方法
被引量：1
- 2
-
-
作者
郭曦
王盼
-
机构
华中农业大学信息学院
武汉电力职业技术学院电力工程系
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2019年第3期630-635,共6页
-
基金
国家自然科学基金(No.61502194)
中央高校基本科研业务费专项基金(No.2662018JC028)
-
文摘
符号执行在路径分析、调试和验证等软件分析过程中发挥着重要的作用.但是随着程序规模的增大,有效的执行路径数量程指数级增长,符号执行技术往往难以有较好的分析效果.符号执行分析中的两个瓶颈问题是路径条件表达式的提取和约束求解.状态合并是目前解决状态爆炸的常用分析方法,但是这种抽象的分析方法往往会导致错误的路径信息.依据符号执行引擎采用的搜索策略,符号执行工具在符号变量状态合并中可能会产生不可解的路径条件.提出基于依赖条件重构的程序符号值分析方法,通过综合分析各路径的路径条件逻辑表达式,提取共享的变量符号值从而提高变量状态合并的效率,同时采用逆向关联分析方法产生依赖条件集合从而提高路径分析的精度.实验结果表明该方法相对于传统的状态合并分析方法有更高的执行效率及分析精度.
-
关键词
程序分析
符号执行
关联依赖
约束求解
-
Keywords
program analysis
symbolic execution
related dependency
constrain solving
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名模块化产品设计中模块间的关联分析与解耦策略
被引量：7
- 3
-
-
作者
程贤福
万冲
邱浩洋
万丽云
-
机构
华东交通大学载运工具与装备教育部重点实验室
-
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2020年第4期1043-1051,共9页
-
基金
国家自然科学基金资助项目(51765019,71462007)。
-
文摘
在模块化产品设计过程中,模块之间往往存在着关联关系,使得设计更复杂,进而增加产品开发周期和成本。针对模块化产品设计中模块间的耦合关联问题,基于设计结构矩阵(DSM)表示产品零件之间的关联关系,分析模块间的相互作用,确定关联模块的主控零件和依赖零件;分析主控零件的关联传播路径,计算模块关联依赖度,确定模块的优先级顺序。然后根据产品结构及其零部件的复杂性,分析主控关联零件的影响,从模块间的关联依赖度、关联零件变更传播的影响及提高模块的适应性等几个方面,提出关联模块的解耦策略。通过起重机抓斗实例阐述了产品模块化设计关联分析过程与解耦方法。
-
关键词
模块化设计
耦合分析
关联依赖度
解耦
起重机抓斗
产品设计
-
Keywords
modular design
coupling analysis
association dependence degree
decoupling
grab
product design
-
分类号
TH122
[机械工程—机械设计及理论]
-
