中国航天日特辑 | 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中国

相关推荐
wangjialelele6 小时前
Linux中的进程管理
java·linux·服务器·c语言·c++·个人开发
历程里程碑6 小时前
普通数组----轮转数组
java·数据结构·c++·算法·spring·leetcode·eclipse
李日灐6 小时前
C++进阶必备:红黑树从 0 到 1: 手撕底层,带你搞懂平衡二叉树的平衡逻辑与黑高检验
开发语言·数据结构·c++·后端·面试·红黑树·自平衡二叉搜索树
汉克老师6 小时前
GESP2025年6月认证C++二级( 第一部分选择题(1-8))
c++·循环结构·表达式·分支结构·gesp二级·gesp2级
rainbow68896 小时前
C++高性能框架Drogon:后端开发新标杆
c++
Q741_1477 小时前
C++ 优先级队列 大小堆 模拟 力扣 703. 数据流中的第 K 大元素 每日一题
c++·算法·leetcode·优先级队列·
森焱森7 小时前
嵌入式硬件工程师应知 白银快速分析报告
linux·c语言·arm开发·嵌入式硬件·去中心化
@zulnger7 小时前
selenium 自动化测试工具实战项目(窗口切换)
selenium·测试工具·自动化
czhaii7 小时前
单片机最佳入门多线程示例讲解
c语言·单片机
Yu_Lijing7 小时前
网络复习篇——网络基础(一)
网络·c++·笔记