没有找到合适的产品?
联系客服协助选型:023-68661681
提供3000多款全球软件/控件产品
针对软件研发的各个阶段提供专业培训与技术咨询
根据客户需求提供定制化的软件开发服务
全球知名设计软件,显著提升设计质量
打造以经营为中心,实现生产过程透明化管理
帮助企业合理产能分配,提高资源利用率
快速打造数字化生产线,实现全流程追溯
生产过程精准追溯,满足企业合规要求
以六西格玛为理论基础,实现产品质量全数字化管理
通过大屏电子看板,实现车间透明化管理
对设备进行全生命周期管理,提高设备综合利用率
实现设备数据的实时采集与监控
利用数字化技术提升油气勘探的效率和成功率
钻井计划优化、实时监控和风险评估
提供业务洞察与决策支持实现数据驱动决策
转帖|行业资讯|编辑:郝浩|2014-09-01 13:34:38.000|阅读 964 次
概述:本文介绍了PRQA公司著名的白盒测试工具QAC/C++的产品特点和配置要求.
# 界面/图表报表/文档/IDE等千款热门软控件火热销售中 >>
我们知道,软件工程所讲述的都是软件开发的一些道理,这些道理基本上都是软件开发的实践者的成功经验或失败教训的总结,我们说,这些总结就是我们代码检查所遵循的规则,QAC/C++维护了一个关于代码规则的数据库,在这个数据库中,内嵌了许多著名的编程规范,包括ISO,MISRA(欧洲汽车工业行业标准),等等。
如果软件企业都能在代码编写的阶段都能遵循一定的代码规则,这对我们的软件产品的质量将回大有益处,首先,在同一个开发团队中使用代码规则,可以形成这个开发团队统一的开发风格,产品个性;其次,遵循一定的代码规则,可以提高模块的可移植性和可维护性,最后,代码规则检查也是提高代码质量最有效、最直接的手段。
目前支持的语言有C, C++, Java & Fortran。
目前可支持的平台有Microsoft Windows、Sun Solaris、HP-UX、Redhat Linux、Slackware Linux。
对于编译器,QAC支持几乎所有的主流编译器,QAC在分析代码时,并不对代码进行编译,只是分析程序时要用到一些编译器的一些信息,如编译器头文件、宏等,以及嵌入式的CPU设定等。目前支持的编译器有: Borland C/C++ Builder、Cosmic、Diab、Edison Design Group、GNU C/C++、Green Hills C/C++、IAR、IBM VisualAge C++、Intel、Keil、Metrowerks、Microsoft C/C++、Tasking。
本文转发自百度文库
本站文章除注明转载外,均为本站原创或翻译。欢迎任何形式的转载,但请务必注明出处、不得修改原文相关链接,如果存在内容上的异议请邮件反馈至chenjj@evget.com
嵌入式软件测试工具Parasoft C/C++test 聚焦高可靠性系统开发,提供核心能力三重保障:在编码阶段左移拦截缺陷降低修复成本;自动检查MISRA/CERT/AUTOSAR等安全标准确保合规性;AI智能测试动态优化用例覆盖深度。三者协同构建嵌入式软件质量防护体系,适用于车载、航天等安全关键领域。
企业级软件测试方案Parasoft C/C++test通过预置模板实现快速落地,利用 Docker 镜像固化测试环境确保一致性,并借助一键式集成能力简化复杂流程。帮助团队实现无缝协作与高效交付,避免陷入重复的配置与调试泥潭。
企业级软件测试方案Parasoft dotTEST通过聚合所有质量实践数据,提供一站式质量视图,帮助团队高效识别风险、优化流程,并加速高质量软件的交付。
本文将为大家介绍SciChart在助力蛋白质结构研究中发挥的作用,欢迎下载最新版组件体验~
C语言静态白盒代码测试工具,测试类标杆产品
QA·C++针对C++语言的先进静态分析解决方案
QA·Verify软件行业规模化质量管理系统
Coding Standards Compliance ModulesCoding Standards Compliance Modules是用于QA·C, QA·C++ 和QA·Verify测试的代码标准模块
服务电话
重庆/ 023-68661681
华东/ 13452821722
华南/ 18100878085
华北/ 17347785263
客户支持
技术支持咨询服务
服务热线:400-700-1020
邮箱:sales@evget.com
关注我们
地址 : 重庆市九龙坡区火炬大道69号6幢
慧都科技 版权所有 Copyright 2003-
2025 渝ICP备12000582号-13 渝公网安备
50010702500608号