航天
航空
核工业
船舶
兵器
军事电子
综合
可靠性
仪器仪表
自动化
电子元器件
电容器、LC滤波器 电阻器、电位器 PCB电路板 真空电子器件 连接器 二极管、晶体管半导体 集成电路和微电子组件 LED系列产品 光电器件 光学材料与光电元器件 继电器 电感元件 集成电路和微电子组件 频率控制和频率选择元件 电子设备用机电元件 电子材料 广播电视制作、播出、发射和传输设备 其它
传感器
光纤传感器 光电传感器 压力传感器 热学量传感器 物位测量系列 声学量传感器 流量传感器 湿度传感器 气体传感器 电学量传感器 速度传感器 力传感器 位置传感器 位移传感器 光学量传感器 加速度传感器 尺度传感器 磁学量传感器 其它传感器
电工器材
电线、电缆 开关电线 插头、插座 电动机 绝缘材料 低压电器 高压电器 防雷及电涌保护器 室内外照明设备 便携式照明设备 灯泡、灯座、整流器 其他
电源
EPS消防应急电源 UPS不间断电源 稳压电源 变频电源 净化电源 特种电源 发电机组 开关电源(AC/DC) 逆变电源(DC/AC) 模块电源(DC/DC) 电池 其它电源产品
通用机械
轴承 密封件 紧固件、连接件 弹簧 泵及真空设备 阀门 齿轮、蜗杆、链传动件 减速箱 气动元件 液压元件 过滤件 工业皮带 清洗、清理设备 制冷设备 电热设备 涂装设备 仓储设备 干燥设备 混合设备 其它未分类
行业设备
机床 机床配附件 塑料机械 包装设备 电焊、切割设备 印刷设备 环保设备 焊接材料与附件 电子产品制造设备 化工设备 铸造及热处理设备 冶炼设备 橡胶机械 玻璃加工设备 试验机 储运设备 过滤设备 空气净化装置 检测设备 安全、防护、消防设备 其它
当前位置:案例 » 航空应用案例 » 正文

航天科工集团飞航技术研究院推广QAC/QAC++ 编程标准检查工具

点击图片查看原图
  • 发布日期:2012-12-15 23:18
  • 有效期至:长期有效
  • 案例区域:北京市
  • 浏览次数869
  • 留言咨询
 
详细说明
2007 年初,航天科工集团飞航技术研究院准备在全院各个研发单位实施编程标准,具体的标准制定和工具选型由北京京航计算通讯研究所牵头开展。2007 月,北京京航计算通讯研究所对多家供应商及其工具进行调研并实际试用评估,认为QAC/QAC++
● 能够满足航天科工集团飞航技术研究院对C/C++ 编程规则进行自动检查的要求
● 可以针对航天科工集团飞航技术研究院提出的附加规则进行开发和定制
● 成熟的许可证管理机制可以在航天科工集团飞航技术研究院内网部署
● 具有许可证资源冲突和超时管理的机制
● 分析速度非常快
● 可以生成多种格式的报告,报告模板可以定制进行综合比较,QAC/QAC++ 功能强大,且性价比最高,最终选择了旋极公司代理的英国PR 公司的QAC QAC++,作为在全院范围内强制执行编程标准检查的指定工具。
旋极公司在软件工程化和软件测试领域处于国内领先地位,有着10 多年的经验,是很多国防和军工研发单位软件工程化和测试方案的供应商和服务商,旋极公司不仅仅为客户提供软件测试的工具,更凭借雄厚的技术实力和长期积累的经验为用户提供工具实施和项目开发的咨询服务。
北京京航计算通讯研究所工程师和旋极公司工程师一起对GJB5369-2005《航天型号语言安全子集》以及《EffectiveC++》等标准进行分析,最后对航天三院的C/C++标准进行调整和优化,并由旋极公司提供专门的检查模块。
2008 月,由北京京航计算通讯研究所和旋极公司共同对涉及三院的所有软件研发单位进行了编程标准和工具使用的培训。工具许可证安装在院信息中心机房服务器上,院各单位通过内网获取浮动许可证本地使用。
项目启动以来,QAC/QAC++ 在各软件研发单位发挥了巨大的作用,已经成为型号软件开发中的必不可缺的常用工具,保证了型号软件的标准符合性和软件的质量。
 
0条 [查看全部]  相关评论

公司信息







该企业最新案例
在线客服

18682042306

© 2008-2023 运营商: 湛江市东龙网络科技有限公司 国防科技网 www.81tech.com 广东通信管理局备案:粤ICP备2023038372号-2
全国公安机关 备案信息 可信网站不良举报 文明转播