SpaceX火箭发射成功，一文了解所用的软件技术栈