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

相关推荐
极客BIM工作室43 分钟前
老生常谈智能指针:《More Effective C++》的条款28
开发语言·c++
一支闲人44 分钟前
C语言相关简单数据结构:顺序表
c语言·数据结构·基础知识·适用新手小白
嘟爸教编程1 小时前
C++少儿编程(二十二)—条件结构
开发语言·c++
幸幸子.3 小时前
LeetCode 组合总数
c++·算法·leetcode
☆璇3 小时前
【C++】哈希
c++·算法·哈希算法
菜就多练,以前是以前,现在是现在4 小时前
Codeforces Round 1042 (Div. 3)
c++·算法
学习编程的gas5 小时前
C++多态:理解面向对象的“一个接口,多种实现”
开发语言·c++
John.Lewis5 小时前
数据结构初阶(11)排序的概念与运用
c语言·数据结构·排序算法
FirstFrost --sy5 小时前
C++ stack and queue
开发语言·c++·queue·stack·priority_queue
daiyanyun6 小时前
Ubuntu 20.04 虚拟机安装完整教程:从 VMware 到 VMware Tools
linux·c语言·c++·ubuntu