嵌入式设备软件开发测试的关键技术 – 静态分析-控件新闻-慧都网

嵌入式设备软件开发测试的关键技术 – 静态分析

转帖|行业资讯|编辑：蒋永|2016-11-02 14:28:56.000|阅读 327 次

概述：您知道分析一些测试工具所产生的问题报告时间远超您的预估时间吗？还记得我们开始去接触测试工具和使用工具的初衷吗？

最近Parasoft做过一个关于测试工具尤其是静态分析技术的调查报告，收集大家对于测试工具的使用印象和技术总结。其中有一个经验丰富的资深软件工程师Brian，他在静态分析工具上颇有经验，但他反馈的结果是这些工具报告的很多问题总是类似“编译器警告”，并非绝对的潜在漏洞(bug)或软件缺陷。深入沟通交流后发现，他的这些印象最主要的原因是因为他所采用的测试工具大部分是免费软件，而且所接受的相关培训很多时候仅限于网络论坛，这样带来的结果必然是测试工具并不能实际解决问题，反而用于学习工具的时间超过了实际解决问题的时间，这有些本末倒置了。

所以，测试工具的要求（尤其是静态分析技术）除了通常大家所知的自动化属性，其实还需要更多考量测试报告结果的度量性和有效性，以用户角度去帮助客户快速应用先进测试技术并解决代码问题。众所周知，嵌入式行业的软件复杂性高，设计的平台丰富，各种不同的芯片和架构，纷繁的编译器种类等等。这必然要求一个成熟的开发测试平台体系，以及专业的技术支持服务，尤其是对于嵌入式行业。

静态分析结果的有效性

各大嵌入式行业如医疗、汽车、铁路、航空航天等的软件开发者每天都可能会遇到校验软件问题(bug)的有效性挑战，接受从客户、技术支持团队及质量测试部门的反馈结果并及时调查给予响应。对于开发人员来说，有时候昨天已经做过的修复工作都有可能产生新的软件问题从而加大工作任务。

所以软件问题的结果验证是一个值得非常关注的问题，需要能够有效并快速地区分各种性质的问题，对不同的问题进行自动优先级排序，将重心放在有价值的问题上，快速高效地推进问题的解决。如果这只是一个低等级的警告问题,它不是一个错误或潜在bug，并不值得浪费太多时间或优先处理。

目前的情况是,许多开发测试工具无法用一个简洁方便的方式帮助用户定位真正有价值的问题。所以，这里对于一个成熟的静态分析测试工具基本提出了以下关键技术属性需求点：

完备的代码规则标准支持；
自动化代码测试扫描技术；
分级区别明显的问题报告；
问题-风险-严重性的关联价值报表。

Parasoft静态分析技术方案

针对Java、C/C++、.Net等主流语言的软件产品开发， Parasoft公司提供了一个企业级的开发测试解决方案。除了全方位的静态代码分析能力如模式匹配分析、数据流分析和度量分析等，该开发测试平台还具备良好的扩展性，包括了单元测试，集成测试，运行时错误检测，代码审查，覆盖率分析等功能，可以自动化生成测试用例，执行单元测试的同时提供多种视角的覆盖率分析，提供图形化报表系统，是一个完善的方案级平台，全方位落实自动化缺陷预防政策，保障客户产品质量的同时提高软件产品交付速度。