基于Testbed和Polyspace的装备软件静态测试研究

被引量 : 0次 | 上传用户:glacier000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
现代软件测试研究发现:对于任何一个软件或者系统所进行的测试都应当是结合了静态测试和动态测试来进行的,只做其中任何一项测试工作都会因为完整性的缺失而无法得到准确的测评结论。在其它条件不变的情况下,如果能够越早的发现软件中的错误,所造成损失的就会越少。静态测试是对软件中的需求说明书、设计说明书、程序源代码等进行非运行的检查,因此,能够较早地发现软件的缺陷。为了进一步提高软件测试结果可信度和优化成本,必须做到在软件测试项目中包含静态测试。本文分析了静态质量度量,提出了对软件特性进行评价的方法;探索了如何互补性的组合测试工具Testbed和PolySpace应用到实际测试流程中,并在某舰载气象雷达通信软件的静态测试中取得了验证;编制了静态质量分析报告规程。具体包括以下几个方面:首先,从软件测试的定义、目的和分类着手引入了软件测试的整体概念,描述了软件测试的重要性;剖析了不同测试类型中从是否执行程序的角度划分出来的静态测试,了解了静态测试技术的关键点在于代码、界面和文档的测试。其次,分析了软件质量度量,继而从软件的静态质量度量基本概念和功能出发,研究了Halstead软件科学度量法和McCabe程序环路复杂度度量法两种软件静态度量方法,重点研究了静态质量模型及结合静态质量模型对软件特性进行评价的方法。再次,探索如何互补性的组合应用测试工具Testbed和PolySpace到实际测试流程中,研究了如何完整的实现对使用Linux平台和VC++语言开发的某舰载气象雷达通信软件的静态测试,并在实践中了验证了工具使用的可行性。最后,通过对本文研究内容的总结,探索了如何在软件静态测试的静态分析过程中找到相对完整全面的规则集,从而使静态分析在模型构造、路径选择等方面能够选择更好的策略,以此得到提高静态分析的准确度的效果。并结合软件质量度量的研究和舰载气象雷达通信软件静态测试过程及结果的分析,探索了对于目前整个业界都没有统一成熟的静态测试流程和标准;在静态测试流程中,还没有具备广泛代表性的作为最终测试结果的静态质量分析报告;静态测试结果不能够以简洁明了的形式作为内部质量结果,从而可以有力的支撑项目测评结论的完整性等问题的解决办法,初步拟定了静态质量分析报告的编制规程第一稿。经多个实际测试项目和委托方反馈,该规程质量因素关键点覆盖度高,在装备软件静态质量分析方面具备很强广泛性和代表性。
其他文献
近两年,"慢综艺"真人秀在电视屏幕上扎堆出现,各大卫视都尝试制作慢综艺节目。此类节目通过打造"慢"特色,来向观众传达慢生活的理念。但是这类节目在诗、远方、青春、田园等
目的:应用横断面调查方法,对正常高值血压人群的症状、证候及相关因素进行大样本调查,对正常高值血压基本证型的证候要素进行确定和规范,进而为正常高值血压的辨证提供依据。方法
“国防”与“军事”的关系问题是学术界争论已久的问题,也是决定相关学科理论体系范围的前提性问题。当前军事法学研究中普遍存在的大小军事法观、大小军事法体系乃至大小军
马克维茨的证券组合理论既为证券投资学奠定了基础,也为后来的资本资产定价理论提供了理论依据。基于马克维茨模型的缺陷,为提高其在实践中的应用价值,夏普(Sharpe)于1964年
西方新闻学在考察新闻价值要素时,设定了两个要素系列:一是新闻事实或新闻作品的价值构成要素系列,如时效、距离、重要性等等;有的设定四个,有的设定五六个。二是读者兴趣要素系列
我国军事法学经过30年的繁荣发展,初步构建了完整成熟的学科理论体系,但研究中移植复制一般法学理论成果的痕迹明显,对军事法的“个性”或特殊规律性的揭示不足。未来军事法
本文主要考察葡萄糖对毕赤酵母生长和组成型表达α-葡聚糖酶的影响。采用单因素实验法考察初始发酵培养基中葡萄糖浓度、补料阶段葡萄糖残留、通气量等对α-葡聚糖酶产量的影
目的:评估黄连解毒汤对急性期脑梗塞大鼠胃肠功能损害防治作用,探讨其潜在的作用机制。方法:雄性wistar大鼠,采用改良后的Zea langa线栓法制备大鼠大脑中动脉梗塞模型(MCAO),随机分
在建设新农村和发展现代农业的时代背景下,农村土地流转问题一直受到社会各界的广泛关注。来自浙江省56个行政村(社区)和320个农户的调查数据和资料显示:经济比较发达的农村
提出了将埋入式进气道分为导流段与管道两部分的设计方案,并对此进气道进行了低速Ma=0.37和高速Ma=0.70的风洞试验,结果表明:新的设计方案能提高埋入式进气道的性能,使其σ≥0.94,Δσ<0.01。