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

相关推荐
海棠玛卡6 分钟前
C/C++内存管理
c++
虾球xz22 分钟前
CppCon 2018 学习:THE MOST VALUABLE VALUES
开发语言·c++·学习
2501_924064111 小时前
2025年跨端云真机测试平台深度测评:XR与折叠屏时代的兼容性之战
测试工具·移动端自动化测试·自动化测试脚本
2401_881244402 小时前
牛客周赛99
c++
山登绝顶我为峰 3(^v^)35 小时前
如何录制带备注的演示文稿(LaTex Beamer + Pympress)
c++·线性代数·算法·计算机·密码学·音视频·latex
十五年专注C++开发8 小时前
CMake基础:条件判断详解
c++·跨平台·cmake·自动化编译
森焱森8 小时前
水下航行器外形分类详解
c语言·单片机·算法·架构·无人机
QuantumStack10 小时前
【C++ 真题】P1104 生日
开发语言·c++·算法
Small black human10 小时前
HTTP-Postman的安装及其使用
测试工具·postman
天若有情67310 小时前
01_软件卓越之道:功能性与需求满足
c++·软件工程·软件