코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
댓글 0
자유게시판
디아블로2레) 악술하코런 중인데 왜 이러냐...
1
Hugo9
조회수
150
추천 0
2026.02.17 07:00
철도가키들 다리 쩍벌 피규어 있던데 뭐임? ㄷㄷㄷㄷㄷ
1
Plate92
조회수
199
추천 0
2026.02.17 07:00
전세계 분쟁, 전쟁 상황을 알아보자
1
뇌동매매절대금지
조회수
87
추천 0
2026.02.17 07:00
가끔 cctv를 보여달라는 사람들이 있는데
1
보조지표활용중
조회수
100
추천 0
2026.02.17 07:00
노아선배는 딱 이런 느낌이야
1
추세추종
조회수
91
추천 0
2026.02.17 07:00
여친이랑 모텔에서 싸운 디시인
m
유튜버
조회수
68
추천 0
2026.02.17 07:00
다크 엘프 느낌의 눈나.gif
1
지표요정
조회수
101
추천 0
2026.02.17 07:00
모닝 입맛돋는 아침밥
1
Mind8281
조회수
88
추천 0
2026.02.17 07:00
요즘 유튜브 커트라인 오지게 높네
1
Plate4439
조회수
85
추천 0
2026.02.17 07:00
선 넘은 얘기한 조카
1
Turn9297
조회수
87
추천 0
2026.02.17 07:00
ㄲㅊ흔들고놀았더니 슬슬 졸리네ㅋㅋ
1
파이어족의일기
조회수
96
추천 0
2026.02.17 07:00
무한대 샤이닝 니키 제작사라더니
1
Tongue8204
조회수
96
추천 0
2026.02.17 07:00
만화그리는 찐따 괴롭히는 일진녀.manhwa
1
심리의마법
조회수
87
추천 0
2026.02.17 07:00
연휴가 연휴가 아니신 분들을 위한
1
Top92
조회수
104
추천 0
2026.02.17 07:00
블루아카) 리오가 진짜 아방가르드하단 증거
1
매매무신
조회수
94
추천 0
2026.02.17 07:00
