数据流分析相关论文
伴随电子控制单元（ECU）在汽车上的大量应用，汽车售后故障诊断技术朝电子化、智能化和自动化方向发展。诊断设备基于总线技术与车内ECU......
软件漏洞是网络安全事件产生的主要根源,已经成为网络空间博弈的重要战略资源,受到了国家、企业和研究机构的高度关注。面向二进制......
作为软件系统中的重要组成部分,注释对于程序理解和软件维护有着重大意义。软件开发过程中,项目代码与其注释往往存在不一致的问题......
学位
随着移动互联网的发展,越来越多的人受益于移动应用带来的便利。其中Android系统拥有着最大的市场占有率,但是也因其开源的特性和......
摘要：本文根据一台日产风度A33轿车发动机怠速熄火故障，在阐述日产ECCS系统基本工作原理基础上，运用数据分析方法对发动机怠速易熄火......
针对海量数据流分类的方法,创建海量数据流评判数学模型,保证系统的稳定性。对比静态数据,数据流具有传输高速性、动态变化性等特......
一辆广本2.3雅阁轿车由于氧传感器的失效,信号错误的信号回ECU(电脑板),从而导致发动机油耗加大,热车加速不顺。而在ECU的自诊断系......
汽车故障诊断仪除了具有对汽车电子控制系统自诊断系统进行读取故障码和清除故障码的功能外,还具有对电子控制系统进行动态数据测......
近年来,结合了通用处理器的灵活性和专用集成电路的高效性优点的可重构计算技术获得了广泛深入的研究,它具有灵活高效的结构,非常......
软件开发过程需要保证程序满足正确性规约。目前主要有软件测试、模型检验等技术用于程序的正确性保证。软件测试通过测试用例集来......
在软件工程任务中,使用控制流、数据流、控制依赖等程序分析技术分析和理解程序,并把得到的信息用于任务中.当前许多流行的程序设......
该文首先介绍了面向对象方法引入的特性如封装、继承、多态等给测试面向对象软件带来的困难;然后按照软件测试步骤详细阐述了面向......
该文致力于完成面向对象程序(C++)切片工具中数据依赖图的构造,因为数据依赖图的构造可以归结到程序中到达-定值信息的求解,所以该......
数据流分析是一种程序静态分析技术,它能从程序代码中收集程序的语义信息,并通过代数的方法确定变量的定义和使用。通过数据流分析......
基于虚拟化技术的云平台有强大的资源聚合、动态伸缩及服务迁移能力，应用前景广阔。另一方面，由于云平台中资源集中，多租户共享的特点......
软件测试是保障软件质量的重要手段,软件测试在软件开发中的地位也日益重要。其中数据流技术作为一种白盒测试技术,能提供充分的代......
现今的并行编程实践多采用锁等较低的同步机制访问共享资源,这种编程困难且易出错;新引入的原子区构造虽简化了编程,但支持其实现......
别名是C/C++程序的典型特征之一,通过别名分析可以提高数据流分析的准确性并且将有助于构建性能良好的程序分析工具。本文在综述别......
学位
随着软件技术的快速发展,软件的规模不断扩大,代码缺陷排查的难度日益增大,一些代码缺陷来源于某些输入源。分析缺陷的输入源需要......
静态代码检测工具主动执行代码检查以及分析,有助于提前发现并预防错误,能够在很大程度上提高软件可靠性并降低软件开发和测试成本......
随着互联网的快速发展,中国网民规模日益扩张,网站总量日益增多,Web应用与人民的生活越来越密切,web页面不再只是简单的静态html页......
学位
随着智能移动终端功能和用户体验的日益完善，智能手机已经被越来越多的用户使用。研究数据表明，Android手机的购买量正在逐步超越个......
[摘要]首先讨论传统的数据流分析技术;然后在引入分支依赖分析方法的基础上,对广泛应用于工程中的迭代数据流方程求解方法进行分析......
本文把类的操作划分成三个不同的级别,采用增量算法分别对不同级别的操作进行数据流分析,相应得到三种不同的定义-引用对,根据生成......
出具证明编译器在软件安全研究得到越来越多的关注,是程序验证研究的一个重要方向.但目前关于出具证明编译器的研究主要是在程序逻......
汽车故障诊断其实质就是对诊断参数的分析.通过对诊断参数类型的分析,诊断参数的确定及获取方法的探讨,提出了诊断参数的分析方法.......
中职学校在进行汽车故障诊断的教学过程中,数据流分析是教学的核心内容之一,在整个教学过程中占有非常重要的位置.本文主要阐述在......
在汽车故障诊断中，使用汽车故障检测仪（汽车解码器），可以得到很多汽车运行数据。本文介绍了数据流的分析应用，通过分析这些数据可准确发......
本文提出了一种阻止攻击者利用缓冲区溢出漏洞的方法。大部分攻击者通过提供外部输入来越界写缓冲区外不应该受外部输入影响的内存......
PHP脚本语言是一种当前比较流行的服务端脚本语言,多用来开发Web应用程序。文中介绍了一种针对PHP的静态缺陷分析方法,能有效检测......
故障注入是一种测评容错机制的有效方法,它通过有意识地向目标系统引入故障来加速测试客错机制的试验过程.目前大多数故障注入实验......
汽车故障诊断仪除了具有对汽车电子控制系统自诊断系统进行读取故障码和清除故障码的功能外，还具有对电子控制系统各种传感器和执行......
随着汽车工业的迅速发展，汽车电子控制技术已经被广泛地应用到现代汽车上。电控发动机的应用不但提高了汽车的燃油经济性和动力性，还......
随着电子技术在汽车上的应用不断增多,汽车的维修变得越来越复杂化,因此合理地运用仪器检测,并对检测数据加以分析,在汽车维修工作......
为了更好地对网络行为进行分析,提出了一种基于数据流分析的网络行为检测方法。通过分析网络系统体系架构,对网络行为进行形式化建......
案例11 故障现象：一辆2011年款迈腾轿车，装备BYJ缸内直喷发动机。用户反映该车开空调有异味，于是4S店对空调循环系统做了清洗套餐......
面向对象程序中的类是测试的基本单元,采用数据流测试技术,改进了原有生成类的调用控制流图算法,生成扩展的类控制流图（ECCFG）,实现......
基于状态机对故障模式进行了统一的描述,使得故障描述更准确、无二义性。为了避免路径组合爆炸,提出基于控制流的状态集迭代分析算......
通过对上海通用君威车型散热器冷却风扇电路原理的了解与分析,并结合对实车故障的排除,说明了数据流分析在汽车故障诊断的重要作用......
介绍了当前主流的静态代码分析技术,在分析讨论其优缺点的基础上提出了一种新的静态代码检测模型。该模型结合了当前成熟的静态分......
针对带传动远程设计系统的开发需求,提出了一种Web环境下基于ASP技术的带传动远程设计的模块结构,着重论述了基于ASP数据库驱动技......
VIN：SALGS2EF0DA××××××。车型：配置5.0SL发动机。行驶里程：76079km。故障现象：在高速公路行驶一段时间......
故障11 故障现象：一辆2012年款一汽一大众高尔夫A6轿车，装备CFBA缸内直喷发动机及7挡DSG变速器，用户反映行驶中车辆严重向右跑偏。......
文中设计并实现了一个基于数据流的汇编代码CPU指令调度器．该CPU指令调度器基于中国科学院微电子研究所自行研发的Diamond处理器VLI......
