论文部分内容阅读
介绍了基于汇编语言的数据流自动测试工具ADTA(Automatic Data flow Test For Assembly Program),给出了数据流测试的探针结构,提出了通过求解数据流方程来进行数据流分析.
ADTA--数据流覆盖测试工具
【摘 要】
：
介绍了基于汇编语言的数据流自动测试工具ADTA(Automatic Data flow Test For Assembly Program),给出了数据流测试的探针结构,提出了通过求解数据流方程来进行数据流分析.
【机 构】
：
装甲兵工程学院信息工程系北京 100072
【出 处】
：
装甲兵工程学院学报
【发表日期】
：
2001年1期
其他文献
对于信息系统来说,随着安全需求的不断提升,安全检测防护措施需要更加科学和系统.根据现有的安全测评需求和云平台的技术和业务特点,重新设计了云平台信息安全评估需求的架构
云杉球蚜是以若虫危害云杉、落叶松等树种针叶和嫩梢,目前该虫的分布与危害有与日俱增的趋势,严重威胁着阿勒泰地区天然林和生态系统工程的建设。为实施科学防控和有效控制该
传统的数据处理系统在数据储存和分析过程中还存在很多不足,无法满足大数据处理分析需求,为了能够充分体现数据的价值性,需要进行高效信息处理.因此,提出了Spark系统并结合SI
真空荧光显示屏的外壳通常用浮法玻璃做成,要求有足够的强度。本文从材料力学角度出发,分析真空荧光显示屏的外壳所受的剪切应力,吸收他人的经验,并根据自己的试验,确定真空
伴随着我国科学技术的不断提升,单片机在电子工程技术之中发挥着不可替代的重要作用.然而,在实际的运用过程之中,仍存在一定的进步空间.基于以上原因,对其进行有针对性的研究
麦棉两熟是我国粮棉主产区一项成熟的种植制度,以改良3:1式为主体的麦棉两熟双高产栽培模式,实现了麦棉产量的新突破。但麦棉共生期复合群体地上部光竞争和地下部营养竞争影
本文主要描述了一个适用于医药包装行业的任意角度旋转的字符检测系统,并详细阐述了其设计步骤及设计原理.本系统的工业相机与计算机之间的通讯是由GigEVision千兆以太网视觉
以欧美杨AS-AQ氧漂浆为原料,研究过硼酸钠(SPB)对过氧化氢(H2O2)漂白中减少漂剂用量起到的辅助作用。结果表明:对黏度要求不高时,SPB可以完全取代H2O2作为无氯漂剂,二者用量
随着语音识别技术和电子产品的发展,语音识别使用的领域越来越广阔,在车载,教育,社交,歌曲,智能家居等领域都发挥了其先驱作用,带动人工智能发展.本文主要阐述基于字错误率的