程序流图

作品数：13被引量：12H指数：2
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：唐科汪文勇郭宝龙张学娜郑燕妮更多>>
相关机构：四川大学电子科技大学西安电子科技大学北方工业大学更多>>
相关期刊：《计算机应用研究》《计算机学报》《软件导刊》《电子科技大学学报》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向测试和模型检测需求的程序建模技术研究被引量：1
《计算机应用研究》2015年第9期2693-2696,2701,共5页孙晶 张学娜 
国家自然科学基金资助项目(61070030;61370051);北京市教委学术创新团队项目(4062012)
由于同时支持软件测试和模型检测需求的程序建模比较少,为此提出了一种程序建模技术,该技术主要包括物理存储模型、可视化模型和代数模型。利用程序流图的思想建立物理存储模型和可视化模型,并通过建立在严格数学基础上的代数模型验证...
关键词：模型检测 软件测试 模型代数 程序建模 程序流图 
X10程序的差别分析方法
《计算机学报》2015年第5期1082-1092,共11页陈雨亭 杨威 赵建军 
国家“九七三”重点基础研究发展规划项目基金(2015CB352203);国家自然科学基金(91118004,61100051,61272102);中国科学院软件研究所计算机科学国家重点实验室开放基金(SYSKF1101);上海市计算机软件评测重点实验室开放基金(SSTL2011_02)资助~~
程序差别分析是程序调试的常见手段,其主要用于分析程序不同版本之间的差异信息.然而,将现有程序差别分析算法扩展到并行程序语言还面临众多挑战.其主要原因在于并行程序复杂性较高,且存在支持并行活动的特殊机制,如地址(或线程)、活动...
关键词：程序差别分析 X10 程序流图 软件测试 程序调试 
基于全局支配图算法的覆盖测试方法
《计算机工程》2010年第19期70-71,74,共3页于炳霞 谷青范 
目前的覆盖测试存在着大量的冗余测试用例,严重影响测试的效率。基于此,介绍一种基于全局支配图算法的覆盖测试工具,通过在局部支配图中加入辅助循环树算法及寻找临近节点,提出一种全局支配图改进算法,利用该算法能够计算出覆盖源程序...
关键词：覆盖测试 全局支配图算法 测试用例 程序流图 代码插装 
基于profiling系统的软硬件划分方法研究
《荆门职业技术学院学报》2008年第3期56-61,共6页吕争 湛宁 
通过对path profiling和loop profiling对软硬件划分作用的分析,发现了在特定条件下pathprofiling相对于loop profiling的优点,并提出了一个新的基于profiling系统的软硬件划分的方法。
关键词：profling 嵌入式系统 软硬件划分 程序流图 
面向基本路径的软件测试方法研究被引量：2
《软件导刊》2007年第11期31-32,共2页陈世基 
软件测试是保证软件可靠性的主要手段,是发现并排除软件中隐藏错误和缺陷的重要途径,软件测试的最终结果就是把高质量的软件产品提交给用户。软件测试方法很多,其中的基本路径测试方法是白盒测试技术中解决复杂路径测试最有效的方法。...
关键词：基本路径 软件测试 程序流程图 程序流图 环形复杂度 
编译中间代码优化的CAI系统
《福建电脑》2006年第2期147-148,共2页陈欣 
本系统用一种动态的方法演示了编译中间代码优化的三个基础工作的过程:基本块的划分、程序流图的生成和循环的查找(包括必经节点和回边的查找)。为了配合教学工作,系统用面向对象和可视化的手段将代码优化中间过程的信息详细地呈现给用...
关键词：基本块 程序流图 节点 回边 编译中间代码优化 CAI系统 
嵌入式软件覆盖测试的研究被引量：4
《成都信息工程学院学报》2005年第5期541-545,共5页唐科 汪文勇 刘利枚 
在实际应用中覆盖测试分析采用测量方法的多样性决定了代码插装需要识别程序结构特征的复杂性。结合编译原理的中间代码优化理论,针对汇编语言开发的嵌入式软件,提出了划分基本块,构造程序流图来分析汇编源程序的结构的算法模型,并讨论...
关键词：覆盖测试 基本块 程序流图 结构特征 嵌入式软件 代码插装 
汇编程序覆盖测试中分支路径数的计算被引量：2
《电子科技大学学报》2005年第2期236-239,共4页唐科 汪文勇 向渝 罗光春 
说明了覆盖测试是软件测试中的重要方法,是软件动态测试的基本手段。并提出通过基本块存储矩阵和邻接表来处理汇编语言程序流图,从而计算其分支路径数的算法并验证其正确性,为进一步的分支覆盖率计算奠定基础。实验证明,该方法能高效准...
关键词：覆盖测试 基本块 程序流图 存储矩阵 邻接表 
基于IPC的远距离光电实时转速测量系统的研究被引量：3
《计算机测量与控制》2005年第3期232-234,共3页孙伟 聂飞 郭宝龙 潘玉 
针对远距离实时转速测量的需要, 文章提出了一种利用红外激光器和ATMEL AT89C2051 单片机的实时转速测量系统。IPC机通过ISA总线获取实时转速信息。文章详细描述了硬件电路的设计并给出了程序流图。
关键词：转速测量系统 实时 AT89C2051单片机 距离 光电 ATMEL 红外激光器 ISA总线 IPC机 程序流图 硬件电路 文章 
SIO4/DMA 通信适配器的剖析
《长沙铁道学院学报》1993年第2期50-55,共6页施荣华 行治民 
本文在剖析了 SIO_4/DMA 通信适配器硬件、软件的基础上,阐述了 SIO_4/DMA 通信适配器的设计原理与工作过程,介绍了该适配器监控程序流程图.
关键词：SIO4/DMA 工作过程 程序流图 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部