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

相关推荐
三品吉他手会点灯1 小时前
C语言学习笔记 - 50.流程控制4 - 流程控制为什么非常非常重要
c语言·开发语言·笔记·学习
一只旭宝3 小时前
【C++入门精讲22】常见设计模式
c++·设计模式
程序员三藏3 小时前
Web自动化测试详解
自动化测试·软件测试·python·selenium·测试工具·职场和发展·测试用例
c++之路4 小时前
Bazel C++ 构建系列文档(三):构建第一个 C++ 项目
开发语言·c++
旖-旎4 小时前
《LeetCode 695 岛屿的最大面积 FloodFill DFS 解法》
c++·算法·力扣·深度优先遍历·floodfill
森G5 小时前
61、信号与槽机制在 TCP 编程中的应用---------网络编程
网络·c++·qt·网络协议·tcp/ip
syagain_zsx5 小时前
STL 之 vector 讲练结合
c++·算法
十月的皮皮5 小时前
C语言学习笔记20260615-有序升序序列合并
c语言·笔记·学习
牛油果子哥q5 小时前
STL set与map底层精讲,红黑树适配原理、有序去重特性、迭代器遍历、API实战与面试核心考点全解
开发语言·数据结构·c++·面试
奇妙方程式6 小时前
2026年第九届GXCPC广西大学生程序设计大赛(热身赛)题解
c++·编程比赛·编程竞赛·gxcpc