코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
댓글 0
자유게시판
트릭컬,블러드본)브레인서커와 마주친 스피끼.jpg
1
수익달인
조회수
46
추천 0
2026.02.16 22:00
"괴도는 도둑하고 달라요."
1
Opal3932
조회수
37
추천 0
2026.02.16 22:00
축하 한번씩만 부탁드립니다
1
매도우위주의
조회수
38
추천 0
2026.02.16 22:00
배려심 넘치는 중국어 선생님.
1
Turn9297
조회수
42
추천 0
2026.02.16 22:00
수상할정도로 딕션이 좋은 일반인
1
Body9216
조회수
46
추천 0
2026.02.16 22:00
병인양요를 처음 알게된 프랑스인 반응
1
부행복
조회수
39
추천 0
2026.02.16 22:00
디씨식 메타몽의 용도.jpg
1
코인전문가
조회수
43
추천 0
2026.02.16 22:00
"의인 죄송해요!! 제가 실수로 변기를 막아버려서...."
1
King1070
조회수
45
추천 0
2026.02.16 22:00
가족으로부터 결혼 허락 받는 장면.jpg
1
부귀신
조회수
46
추천 0
2026.02.16 22:00
소전2)우중이가 보고 만든거 아니야는 전설의 짤
1
Lead5551
조회수
44
추천 0
2026.02.16 22:00
과거 리파족의 신전 옥상 보물상자?
1
투자상담사
조회수
42
추천 0
2026.02.16 22:00
닌텐도 어떤거 구입해야하는지 공손하게 질문드립니다.
1
떡락방어
조회수
38
추천 0
2026.02.16 22:00
왜 도배하는거지?? 2찍 알바 맞니??
1
Salt9287
조회수
36
추천 0
2026.02.16 22:00
전한길, ‘내란 예비·음모·선동’ 고발되자 겁먹고 발뺌하기 급급
1
Moon38
조회수
40
추천 0
2026.02.16 22:00
다시 보는 5세후니 망언 레전드 ㅋㅋㅋ
1
Fork1032
조회수
38
추천 0
2026.02.16 22:00
