论文部分内容阅读
在实际应用中覆盖测试分析采用测量方法的多样性决定了代码插装需要识别程序结构特征的复杂性。结合编译原理的中间代码优化理论,针对汇编语言开发的嵌入式软件,提出了划分基本块,构造程序流图来分析汇编源程序的结构的算法模型,并讨论了覆盖测试的方法及原理。
嵌入式软件覆盖测试的研究
【摘 要】
：
在实际应用中覆盖测试分析采用测量方法的多样性决定了代码插装需要识别程序结构特征的复杂性。结合编译原理的中间代码优化理论,针对汇编语言开发的嵌入式软件,提出了划分基本块,构造程序流图来分析汇编源程序的结构的算法模型,并讨论了覆盖测试的方法及原理。
【机 构】
：
电子科技大学计算机科学与工程学院
【出 处】
：
成都信息工程学院学报
【发表日期】
：
2005年05期
其他文献
随着天津港＂8·12＂事故核心区修复工作的不断推进,海港生态公园建设也提上日程。根据天津滨海新区举行的盐滩绿化及生态城市建设战略研讨会,海港生态公园预计将于2016年11
提出了一种基于二维倒谱系数能量的数字图像水印新算法.倒谱域水印算法克服了水印嵌入时频段选择的限制,增大了水印嵌入的信息量,避免了块效应.该算法利用置乱变换预先对水印
给出并实现了一种基于DSP的纸币号码识别系统。该系统通过视频解码器SAA7113将纸币号码图像转换成数字图像,并通过复杂可编程逻辑器件CPLD对SAA7113输出的数字图像进行开窗处理,以减小DSP的图像数据处理量和存储量。该系统的特点是在采用TI公司较廉价的54x系列DSP条件下,可以实现每秒25幅号码图像的视频采集速度,为实现具有纸币号码自动识别记录功能的点钞机奠定了基础。此外,系统还提供了与
基于ATL(ActiveX Template Library)的ASP(Active Server Pages)组件开发背景,讨论如何选择接口方法参数的问题,并举例说明ASP组件与脚本之间传递字符串类型和数组类型的常见
在J2EE平台下,后端数据库频繁交互,如果后端数据库耦合性差、总是迟迟不能响应,应用的可维护性、性能必将大受影响,所以数据库的开发尤其重要.从数据库映射、访问、优化等几
南昌朝阳大桥为主跨5×150m的六塔七跨波形钢腹板PC箱梁斜拉桥。为判断成桥的实际承载力以及设计使用荷载下的工作性能,对该桥进行静载和动载试验。结合该桥的实际受荷情
以中国结构第一高楼天津高银117大厦为载体，调整细骨料比例及用量、粉煤灰水泥用量、浆体量及外加剂组分配制超高泵送C60混凝土。通过扩展度、倒锥时间及压力泌水率参数评定混
通过对深基坑桩锚支护体系中出现的支护桩嵌固深度不足的隐患研究,提出了一种于基坑内新增一排支护桩进行搭接接长的加固措施,有效解决了支护桩嵌固深度不足的安全隐患,该方
分组密码是现代密码学中的一个重要分支,其诞生和发展有着广泛的实用背景和重要的理论价值.如何测试分组密码算法的安全性,为了解决这一问题,讨论了5种基本的统计性能测试和S
自动重发请求(ARQ)是高速无线网络最常用的有效差错控制方法.SR-ARQ和GBN-ARQ传统差错控制方案已不适应高速无线需要, PRIME ARQ和SRPB ARQ改进方案优化了确认开销和延迟,数