【摘 要】
：
静态测试作为软件测试的重要方法,是保证民用机载软件中安全关键软件质量的关键步骤;介绍静态测试的概念和方法,采用自动化分析方法,基于软件分析工具LDRA Testbed从主要静态
【机 构】
：
中航雷华柯林斯（无锡）航空电子设备有限公司
论文部分内容阅读
静态测试作为软件测试的重要方法,是保证民用机载软件中安全关键软件质量的关键步骤;介绍静态测试的概念和方法,采用自动化分析方法,基于软件分析工具LDRA Testbed从主要静态分析、复杂度分析、静态数据流、交叉索引、信息流和数据对象分析六大部分完成软件的静态测试过程,探究其测试原理和关键标准文件的配置,生成相应的代码审查和测试度量报告,以有效提高民用机载软件质量。
其他文献
原发性高血压是一种由遗传与环境因素共同导致的复杂疾病,具有高度的遗传异质性。自2007年首个高血压全基因组关联研究(Genome-wide association studies,GWAS)报道以来,许多
<正>任何优秀的作家、作品,都会忠实地反映着时代,同样,任何时代都会把自己最优秀的作家、作品毫不吝啬地推戴出来.四十年代初期,著名作家赵树理,目睹着中国农村历史久远的落
本文基于自建菜名公示语语料库,从大量语料中对集中体现饮食文化的中英菜名加以对比研究,以烹饪法则(Dan Jurafsky,2014)为纲,立足饮食文化,探索中文菜名英译规则,以及翻译中
以2-甲基-3-硝基苯胺为起始原料,经Batcho-Leimgruber、酰化、还原、氧化、R)-叔丁基亚磺酰胺的不对称诱导、烯烃闭环复分解反应等关键步骤,共经12步反应合成了麦角新碱中间
编者按：新课程实施以来，表扬这一评价方式成为大家关注的一个热点。在实际教学中到底该如何表扬学生、什么样的表扬又是最有效的呢？下面两篇短文或许能给我们一些启发。...
彩色微表处是彩色路面的代表性材料之一，近儿年成为国内部分科研院所和企业的研究热点。本项目以功能为导向成功开发了高性能彩色乳化沥青材料及一系列相关专有技术，以浅色改性
书名是读者了解一本书最直观的方式。作者往往需要通过一个简单的书名来表达整本书的核心内容并且吸引读者的眼球。一个恰如其分的书名能够为一本书增添不少色彩。然而,面对
本文试图整理“形而上学”概念在17世纪被改编的过程及其基本形态,近代唯理论哲学从其原始内涵中所要排除的是什么?在现代,它被排除的又是什么? 形而上学是一门非常难懂的学
为揭示‘德钦’紫花苜蓿特异性耐热机理,本研究以热敏型低秋眠级‘阿尔冈金’和耐热型高秋眠级‘赛迪10’为对照,分析比较35℃/30℃(昼温/夜温)高温胁迫下,APX活性、APX同工
齿轮箱是复杂的动力学系统,其动力学演化过程难以刻画。本文在分析齿轮箱振动信号增量序列标度转折特性的基础上,利用三角函数关系式推导了标度区间起止点坐标之间的内在关系