中国航天日特辑 | PARASOFT——从NASA JPL到航空航天的星辰大海

4月24日,是中国航天日(Space Day of China),一个庆祝和纪念中国航天事业成就的特殊时刻。在这一天,我们不仅仅是赞颂那些辉煌的航天成就,还要探讨那些为航天事业做出重大贡献的合作伙伴和技术解决方案提供者。今天,让我们来了解一家从NASA JPL 喷气推进实验室衍生而来,对航空航天领域贡献卓越的企业------PARASOFT

PARASOFT的故事始于美国加州的NASA JPL喷气推进实验室,这是一个全球知名的航天和系统技术研究中心。最初,PARASOFT在JPL中主要致力于解决航天器上复杂软件系统的可靠性和安全性问题。Parallel Computing=并行计算,航天领域的大规模科学与工程问题的数值模拟既依赖于高性能并行计算的支撑,同时也是高性能并行计算发展的动力。PARASOFT创始科学家选取Parallel 单词的前四位PARA,命名PARASOFT。

随着时间的推移,PARASOFT不断发展,将其研发触角扩展到了航天以外的其他领域,特别是自动化测试和软件质量保障技术。

从一款旗舰产品,到多款主产品,从洛杉矶,到分支机构遍布9个国家,27个地区,全球客户超过2万+,财富世界500强达85%,加入我们一起同行的伙伴越来越多。

PARASOFT在航空航天领域的贡献

PARASOFT在航空航天领域的贡献尤为显著。它为航天器提供先进的软件测试和质量控制解决方案,确保航天任务的软件系统在极端环境下的稳定性和可靠性。

30 多年来,PARASOFT一直通过单元测试、代码覆盖率、静态代码分析和需求可追溯性报告等所需的最佳实践来帮助组织满足严格的DO-178 标准。

Parasoft C/C++test解决方案可在主机和目标板上自动执行 C 和 C++ 静态分析、单元测试,并具有支持全面的DO-178B/C代码覆盖率。静态分析中包含对航空软件中使用的所有流行标准的内置支持,例如MISRA C/C++ 和 JSF AV C++。

PARASOFT在航空航天领域的部分客户

随着中国航空航天事业的不断发展和国际合作的日益加深,PARASOFT的角色也变得更加重要。它的创新技术和解决方案将继续为全球航空航天项目提供支持,推动航天技术的革新和发展。

在这个特别的日子里,让我们向所有为推动人类探索宇宙无限可能性而不懈努力的科研人员、工程师和企业致敬。同时,也期待PARASOFT在未来的航空航天旅程中,继续书写辉煌篇章。

PARASOFT

微信号 **|**Parasoft

**知乎号|**Parasoft中国

**CSDN|**Parasoft中国

相关推荐
猿饵块2 分钟前
tcp--抓包--wireshark
网络·测试工具·wireshark
寻星探路25 分钟前
【算法专题】滑动窗口:从“无重复字符”到“字母异位词”的深度剖析
java·开发语言·c++·人工智能·python·算法·ai
我叫袁小陌1 小时前
C++多线程全面详解
开发语言·c++
m0_748250032 小时前
C++ 官方文档与标准
开发语言·c++
matlabgoodboy2 小时前
程序代做python代编程matlab定制代码编写C++代写plc设计java帮做
c++·python·matlab
DYS_房东的猫2 小时前
《 C++ 零基础入门教程》第6章:模板与 STL 算法 —— 写一次,用万次
开发语言·c++·算法
点云SLAM3 小时前
C++ 静态初始化顺序问题(SIOF)和SLAM / ROS 工程实战问题
开发语言·c++·slam·静态初始化顺序问题·工程实战技术·c++static 关键字
极客先躯3 小时前
老版本Postman请求脚本编写指南:从Async/Await到回调函数的完整迁移方案
测试工具·lua·postman
pen-ai3 小时前
打通 Python 与 C++ 的参数传递机制
开发语言·c++·python
王老师青少年编程3 小时前
信奥赛C++提高组csp-s之KMP算法详解
c++·kmp·字符串匹配·csp·信奥赛·csp-s·提高组