打开APP
userphoto
未登录

开通VIP,畅享免费电子书等14项超值服

开通VIP
FQAC软件静态分析
http://www.itpub.net/forum.php?mod=viewthread&tid=1191555

QA C是一个深层的静态分析工具,它可以提高生产效率,提高C语言开发的质量。
QA C用于鉴别C语言使用过程中出现的问题,这些使用方法可能比较危险、过于复杂、不可移植、难于维护,或者不符合编码规则。QA C可以发出许多关于不规则代码的警告,这些问题靠编译器或其他开发工具是不可能发现的。
QA C能明显的减少代码审查所需的时间,使程序员对他们未完全理解的C语言编程特点多加注意。通过在开发进程的最初阶段就注意避免编码问题,可以提高代码的质量,测试的周期将会缩短。

QA C 特点

分析C代码,提供超过1100种C语言使用中容易出现的潜在问题,从而发现危险的结构,发现维护和移植中发生的问题。
成功解析许多流行编译器中C语言扩展的和非标准的结构。轻松定制警告信息和报告。
提供44种工业认可的复杂度度量,包括圈复杂度、静态路径统计和Myer’s interval等,还可以扩展公司特定的复杂度度量。
报告ISO 标准中的非标准C
可进行扩展,以执行特定的分析检查。
提供多种多样的可视化输出,包括函数结构图、函数调用树、外部参考、包含文件关系和统计的度量分析。
高亮显示C和C++语言的移植问题。
在线的HTML帮助连接提供详细的警告信息的解释,包括被选项和工作环境。
可用于Windows和UNIX平台,有方便易用的GUI图形界面,提供强大的与build和release环境的集成。

QA C 优点
减少软件开发的花费,缩短软件投放市场的时间。
减少程序出错的风险。
将代码审查的工作自动化,使开发和质量保证工作更专业、更有效率。
在程序开发的最初阶段鉴别潜在错误,减少产品在测试和用户使用中出现的问题。
集成到现成的软件build和release进程中。
自动检查与公司或工业编程标准的一致性,同时强制执行C语言的安全子集。
提高C代码质量,提高可靠性、可移植性、可维护性,减少将来的维护费用。
使各位软件工程专家生产出高品质的代码
支持软件确认、软件进程成熟度和各种质量规则,如CMM、ISO9003/EN29003、TickIT、IEC 61508、Def Stan 00-55、DO-178B
提供软件质量基准,根据这个基准,后来的代码审查可以s进行度量和比较
提供了一种估计成本和软件开发生产率的基础。
教育开发人员如何避免C语言开发中的各种问题。

QA C
深度的静态分析
快速高效地探测语言执行中的错误、不一致性、过时的特征和违反编程标准的地方,避免在软件开发的后期修改错误的高花费。QA C结合工业标准的分析度量,形成通俗易懂的报告。
QA C
自动符合您的编程标准
将QA C无缝集成到您的软件进程中,可以为您的开发者提供完全自动化的环境,通过这个环境,您可以执行您的编码规则和质量进程。

QA C
立即为您节约成本
此工具使您能够限制您程序的复杂度,开发出可测试的代码。这将减少代码的隐患,而这些隐患如果在维护阶段才发现的话,其维护费用是相当可观的。

QA C
提高生产效率和质量
不管您的软件是有高可靠性要求的、工业用的、商业用的还是教育用的,QA C都可以提高您软件开发的生产效率和质量。

支持的部分平台
Solaris, HPUX, Linux, Windows NT, Windows ® 95, 98 & 2000
(如果您想了解其他支持的平台,请与供应商联系)
需要的最小存储量:
15-20MB 的自由硬盘空间

相关的其他产品有:
QA C
深层的静态分析工具(for Windows® 95, 98, 2000, NT & UNIX)
QA C MISRA Compliance Module
使用QA C ©强制执行MISRA编码规 则的架构模块
QA C++ Generation 2000
深层的静态分析工具
(for Windows ® 95, 98, 2000, NT & UNIX)
QA Fortran
深层的静态分析工具(for UNIX platforms)

《运输器械软件C语言使用规则》发布于1998年,当时的目的是促进汽车工业中C语言的安全使用。它包含的一系列规则定义了C语言的一个子集,现在这个子集已经被广泛认同为优秀的编程范例模型。MISRA规则现在已经被航空、通信、医疗器械等行业采用,作为确保代码完整性的基础。

QA C MISRA Compliance Module
概述
QA C,业界领先的C代码静态分析工具,已经被各先进的汽车公司广泛的采用,作为提高软件质量的手段。使用QA C MISRA Compliance Module,他们可以强制执行MISRA规则。
有了MISRA Compliance Module 的帮助,QA C可以分析源代码,探测结构中违反MISRA规则的地方。与规则的偏差可以在经注释的代码、代码质量摘要报告和一整套图形化的视图中进行定义。高度的可配置性是QA C最鲜明的特色之一。

QA C的警告信息直接通过HTML连接到被分析的源代码中所有与此信息有关的事物,同时也与MISRA相关规则参考信息连接。这些参考信息包括可选择的MISRA兼容代码中解释性的例子,以及提供与规则定义的相互参照。

QA C MISRA Compliance Module
深层的静态分析器
快速高效地探测C语言执行错误、不一致性、过时的特征和违反MISRA编程标准的地方,避免在软件开发的后期修改错误的高花费。QA C MISRA Compliance Module结合工业标准的分析度量,形成通俗易懂的报告。

QA C MISRA Compliance Module
提高生产效率和质量

不管您的软件是有高可靠性要求的、工业用的、商业用的还是教育用的,QA C都可以提高您软件开发的生产效率和质量。

QA C MISRA Compliance Module
自动符合MISRA编程标准
将QA C无缝集成到您的软件进程中,可以为您的开发者提供完全自动化的环境,通过这个环境,您可以执行MISRA编码规则和未来的质量进程。

QA C MISRA Compliance Module
立即为您节约成本

此工具使您能够限制您程序的复杂度,开发出可测试的代码。这将减少代码的隐患,而这些隐患如果在维护阶段才发现的话,其维护费用是相当可观的。

QA C MISRA Compliance Module  特点


探测和报告不符合MISRA规则的代码
直接建立警告信息和源代码以及相应MISRA规则的连接
通过HTML提供与相应编码规则定义和解释性例子之间的参照
生成代码质量报告,详细说明每个文件中出现的不规则代码的类型和数量,同时建立它们同相应源代码的连接。
生成文本的和图形化的软件度量报告,高亮显示代码的可测试性、可维护性和可移植性。
生成代码的可视化图表,提高对代码的理解力,简化代码审查进程。
可与配置管理工具集成
允许用户定制或增加符合本公司标准或习惯的检查项目

QA C MISRA Compliance Module  优点
保证所有的代码都遵守静态强制性的MISRA规则
允许定制和扩展编码规则,以适应本地需要
告诉开发人员有关“安全” 使用C语言和MISRA C的知识
提供了一种自动化的、可重复的、高效的代码确认方式
提供软件质量基准,根据这个基准,后来的代码审查可以进行度量和比较
提高源代码的可理解性
提高软件的可测试性和可维护性
提高代码可移植性
防止在代码测试阶段才发现编码和执行错误
发现一些在其他阶段不能发现的软件问题
减少软件开发周期和成本
提高软件质量
支持软件确认、软件进程成熟度和各种质量规则,如CMM、ISO9003/EN29003、TickIT、IEC 61508、Def Stan 00-55、DO-178B



支持的部分平台
Solaris, HPUX, Linux, Windows NT, Windows ® 95, 98 & 2000
(如果您想了解其他支持的平台,请与供应商联系)
需要的最小存储量
20MB 的自由硬盘空间



C++ Generation 2000是一个对C++代码标准完全兼容的分析器,通过使用深层静态分析器,您将简化代码检查过程,同时提高整个开发队伍对复杂工程的结构的理解。
C++ Generation 2000可以帮您找出编译器或其他开发工具无法发现的代码执行中的问题。它检查的区域包括类的设计,代码构造,C++功效,C&C++的不同行为,代码的可维护性和可移植性以及标准库的使用。
C++ Generation 2000可以改善团队编写的代码的完整性,同时提高整个工程的生产效率。这是通过工具的许多特点来实现的,诸如显示警告信息、浏览代码关系、分析语言度量以及产品的综合报告。

QA C++ Generation 2000
提高生产效率和质量
不管您的软件是有高可靠性要求的、工业用的、商业用的还是教育用的,QA C都可以提高您软件开发的生产效率和质量。

QA C++ Generation 2000
深度的静态分析
快速高效的探测语言执行中的错误、不一致性、过时的特征和违反编程标准的地方,避免在软件开发的后期修改错误的高花费。QA C结合工业标准的分析度量,形成通俗易懂的报告。
QA C++ Generation 2000
自动符合您的编程标准
将QA C++ Generation 2000无缝集成到您的软件进程中,可以为您的开发者提供完全自动化的环境,通过这个环境,您可以执行您的编码规则和质量进程。

QA C++ Generation 2000
立即为您节约成本
此工具使您能够限制您程序的复杂度,开发出可测试的代码。这将减少代码的隐患,而这些隐患如果在维护阶段才发现的话,其维护费用是相当可观的。

QA C++ Generation 2000 特性

分析标准的C++,可报告400多种C++设计中的潜在问题,如代码构造行为,低效的执行, C++相对于C的优先选择机制,可维护和可移植性的考虑以及标准库使用的建议。
很好的解析在大多数流行编译器中见到的非标C++构造,。
方便的配置警告信息,报告和缺省值
产生针对函数、类和文件的通用的工业语言度量,包括圈复杂度,静态路径计算,嵌套的深度和基于类的度量。
产生基于ISO标准C++或是用户根据需求自定义的报告
多种可视化输出,其内容包括函数调用、类继承、文件包含关系和统计度量分析。
C和C++语言可移植性的问题
在线HTML帮助连接警告信息的详解,包括选择项和工作区。
适用与Windows(tm)和UNIX平台,易用的GUI,提供强大的与build和release环境的集成。
促使产生好的类设计和对象设计
可以解析用到ATL,MFC,RogueWave和其他第三方库的代码。

QA C++ Generation 2000 优点
减少软件开发的花费,缩短产品投入市场的时间。
减少项目失败的风险。
将代码审查的工作自动化,使开发和质量保证工作更专业、更有效率。
在程序开发的最初阶段鉴别潜在错误,减少产品在测试和用户使用中出现的问题。
可以嵌入现有软件的build和release过程。
自动检查与公司或工业编程标准的一致性,同时强制执行C语言的安全子集。
通过提高可靠性,可维护性,增强了C++代码的品质,减少了未来的维护费用。
使各位软件工程专家生产出高品质的代码
支持软件确认、软件进程成熟度和各种质量规则,如CMM、ISO9003/EN29003、TickIT、IEC 61508、Def Stan 00-55、DO-178B
提供软件质量基准,根据这个基准,后来的代码审查可以进行度量和比较
提供了一种估计成本和软件开发生产率的基础。
训练开发人员如何避免C++语言的问题。

支持的部分平台
Solaris, HPUX, Linux, Windows NT, Windows ® 95, 98 & 2000
(如果您想了解其他支持的平台,请与供应商联系)
需要的最小存储量
15-20MB 的自由硬盘空间

相关的其他产品有:
QA C
深层的静态分析工具(for Windows ®95, 98, 2000, NT & UNIX)
QA C MISRA Compliance Module
使用QA C ©强制执行MISRA编码规则 的架构模块
QA C++ Generation 2000
深层的静态分析工具(for Windows ® 95, 98, 2000, NT & UNIX)
QA Fortran
深层的静态分析工具(for UNIX platforms)
本站仅提供存储服务,所有内容均由用户发布,如发现有害或侵权内容,请点击举报
打开APP,阅读全文并永久保存 查看更多类似文章
猜你喜欢
类似文章
【热】打开小程序,算一算2024你的财运
第三代MISRA C标准MISRA C:2012
Helix QAC — 软件静态测试工具
谈谈代码静态分析
有没有单片机(C语言编写的代码)使用的静态分析工具?
缺陷查找自动化
“时隔 10 年,重新开始写代码的我要崩溃了!”
更多类似文章 >>
生活服务
热点新闻
分享 收藏 导长图 关注 下载文章
绑定账号成功
后续可登录账号畅享VIP特权!
如果VIP功能使用有故障,
可点击这里联系客服!

联系客服