期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
基于块的流图模型及其控制流图 被引量:3
1
作者 陈卫东 杨建军 +1 位作者 叶澄清 潘云鹤 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2003年第2期144-150,共7页
针对传统的流图模型存在的定位困难以及无法给出覆盖率信息等问题,提出了基于块的流图模型及其基本图式.该模型巧妙地借鉴了集成电路布线的思想,极易从控制流图定位到程序代码,而且在流图上附有覆盖率等信息,尤其适合应用到具体的工程... 针对传统的流图模型存在的定位困难以及无法给出覆盖率信息等问题,提出了基于块的流图模型及其基本图式.该模型巧妙地借鉴了集成电路布线的思想,极易从控制流图定位到程序代码,而且在流图上附有覆盖率等信息,尤其适合应用到具体的工程测试中进行排错和覆盖分析.最后,给出基于块的流图模型的两种不同的表现形式:BlockFlow图和BlockDiagram图.这两种形式表明基于块的控制流图模型是非常有效的. 展开更多
关键词 流图模型 控制流图 节点 不可见段 BlockFlow图 BlockDiagram图
下载PDF
实时控制系统程序模式的WCET自动分析方法 被引量:1
2
作者 侯小静 姬孟洛 +2 位作者 黄辰林 舒云星 阎奔 《计算机工程》 CAS CSCD 北大核心 2017年第8期56-62,68,共8页
基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相... 基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相关节点进行切片,形成依赖输入变量的控制流图(ICFG),建立ICFG每条路径的线性规划问题并求解,从而获得潜在的程序模式。在此基础上,计算指定模式下针对现代RISC处理器程序的WCET。在基准程序上的实验结果验证了该方法的可行性和有效性。 展开更多
关键词 程序模式 最差情况执行时间分析 实时控制系统 控制流图 线性规划
下载PDF
一种源程序到控制流图的自动生成方法 被引量:7
3
作者 单永明 《小型微型计算机系统》 CSCD 北大核心 1996年第10期45-49,共5页
将源程序转换为控制流图是软件工程领域中逆向工程的研究内容之一。本文给出了一种由源程序生成其对应的控制流图的方法和实现技术。该方法和技术也可应用于程序分析及软件维护等方面。
关键词 软件工程 程序控制流图 逆向工程
下载PDF
动态流图法对核电厂数字化仪控系统的可靠性评价 被引量:6
4
作者 周世梁 王浩 田聪 《核科学与工程》 CAS CSCD 北大核心 2018年第1期88-98,共11页
基于软件和微处理器的数字化技术已广泛应用于核电厂仪表与控制(I&C)系统。近十年来,在建或部分已投运的核电厂均已采用全数字化仪表与控制系统(DI&CS)进行参数的监控与控制。核电厂控制系统的全数字化极大提高了控制系统的性... 基于软件和微处理器的数字化技术已广泛应用于核电厂仪表与控制(I&C)系统。近十年来,在建或部分已投运的核电厂均已采用全数字化仪表与控制系统(DI&CS)进行参数的监控与控制。核电厂控制系统的全数字化极大提高了控制系统的性能。由于DI&CS运行过程中存在动态交互,传统静态故障树分析(FTA)不能描述这种动态的交互特性,而动态流图法(DFM)可较好地描述系统间的各种动态交互。因此采用DFM评价核电厂DI&CS自动功率控制系统(APC)的可靠性。给定三组初始条件,即传感器故障、输出闭锁装置与主处理器故障和主辅处理器故障,利用DFM的归纳分析,得出了存在对应故障情况下控制棒实际位移与正常条件下的偏差;给定义当前时刻控制棒实际位移较正常条件下偏小的顶事件,利用DFM演绎分析,得出顶事件发生贡献最大的原因为当前时刻SRB(输出闭锁装置)切换失效,主处理器输出偏小,其他节点正常的故障组合。 展开更多
关键词 可靠性分析 动态流图法 DI&CS 自动功率控制系统
下载PDF
Block-based test data adequacy measurement criteria and test complexity metrics
5
作者 陈卫东 杨建军 +1 位作者 叶澄清 潘云鹤 《Journal of Zhejiang University Science》 CSCD 2002年第1期37-41,共5页
On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based ... On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J\|complexity 0; J\|complexity 1; J\|complexity \{1+\}; J\|complexity 2. Finally, we show the Kiviat diagram that makes software quality visible. 展开更多
关键词 block NODE SEGMENT control flowgraph model test data adequacy measurement criteria test complexity metric Kiviat diagram
下载PDF
Android本地恶意应用鉴别系统的实现
6
作者 廖元之 《信息安全与技术》 2016年第4期56-60,共5页
近年来,Android手机由于其出色的用户体验,吸引了大量的用户,同时也因为它的开源特性,也极易受到恶意软件的攻击,其中本地恶意软件尤为恶劣。论文针对Android平台上本地恶意应用软件,提出了基于代码基本块控制流比较的鉴别方法。通过代... 近年来,Android手机由于其出色的用户体验,吸引了大量的用户,同时也因为它的开源特性,也极易受到恶意软件的攻击,其中本地恶意软件尤为恶劣。论文针对Android平台上本地恶意应用软件,提出了基于代码基本块控制流比较的鉴别方法。通过代码中基本块的分离,控制流图的构造及其信息的抽象比较,设计实现了一套Android平台上本地代码恶意应用鉴别系统。 展开更多
关键词 安卓 本地代码 控制流图
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部