코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
댓글 0
자유게시판
창고로 돈 이동 어떻게함???
1
WalkA
조회수
16
추천 0
2026.02.15 16:00
동생이 만든 만두
1
Sage3
조회수
22
추천 0
2026.02.15 16:00
자폐아 가족의 현실
1
Moss3
조회수
19
추천 0
2026.02.15 16:00
충주맨이 강의 안나갔던 이유
1
Center9223
조회수
21
추천 0
2026.02.15 16:00
노쇼 레전드
1
Iota8291
조회수
16
추천 0
2026.02.15 16:00
MBC 뉴스데스크 클로징
1
매매지존
조회수
21
추천 0
2026.02.15 16:00
뿡뿡이가 된 처자
1
부행복
조회수
22
추천 0
2026.02.15 16:00
한류 국책론 운운하면서 열폭한 유명인 중에 제일 깼던 사람
1
Skin3940
조회수
19
추천 0
2026.02.15 15:01
림버스) 림할배가 말아주는 무서운 이야기
1
SpotA
조회수
22
추천 0
2026.02.15 15:01
명조)스포) 이번 이벤트 진짜 되게 좋다
1
화살표매수신호
조회수
19
추천 0
2026.02.15 15:01
'어제 구해주신 만두입니다...'
1
Pure8172
조회수
26
추천 0
2026.02.15 15:01
림버스) 갤쪽 불타는거는 신경써봤자긴함
1
Gap8211
조회수
21
추천 0
2026.02.15 15:01
롯데팬들 이번에 더 혈압오르는 이유
1
Xi7147
조회수
20
추천 0
2026.02.15 15:01
어질어질 대한민국 근황
1
Ace1048
조회수
22
추천 0
2026.02.15 15:01
작가 : 발 그림 반응이 괜찮네 ?
1
돈강자
조회수
19
추천 0
2026.02.15 15:01
