코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
댓글 0
자유게시판
명조)쿠로게임즈 사옥이 불탈시간이 얼마나걸릴까
1
투자상담사
조회수
20
추천 0
2026.02.15 14:00
TRPG) 오크 슬레이어의 최후
1
Gold38
조회수
21
추천 0
2026.02.15 14:00
슈로대)갓건담 이름 바꾼거 걍 반가놈들이 혼자 눈치본거 아닌지?
1
Side5543
조회수
19
추천 0
2026.02.15 14:00
말딸) 제작 중 폐기 되서 다행인 부분
1
주도섹터
조회수
23
추천 0
2026.02.15 14:00
도로롱이 아기 고양이를 데려왔습니다
1
Halo
조회수
19
추천 0
2026.02.15 14:00
과거논제 : 제갈량이 관우를 구하지 못한 이유를 설명하라
1
주도섹터
조회수
21
추천 0
2026.02.15 14:00
2 대 1 맞짱뜰때 도움되는거
1
Full73
조회수
20
추천 0
2026.02.15 14:00
마누라가 비밀이라고 알려준 사실
1
Pair5535
조회수
21
추천 0
2026.02.15 14:00
보디빌더 VS 파워리프터 차이점
1
투자상담사
조회수
23
추천 0
2026.02.15 14:00
흑인 할머니에게 인종차별 당한썰
1
Vivid
조회수
23
추천 0
2026.02.15 14:00
드래곤볼 모바일 신작겜
1
차트보는눈
조회수
21
추천 0
2026.02.15 14:00
수상하게 한국어처럼 들리는 일본어
1
Vivid
조회수
23
추천 0
2026.02.15 14:00
눈마새) 눈마새 도입부가 전설이라고 불리는이유.jpg
1
미수는절대안함
조회수
23
추천 0
2026.02.15 14:00
용사와 여신관이 골목에서 단둘이.manga
1
차트불사
조회수
21
추천 0
2026.02.15 14:00
현찰선물세트 밈이 하나도 안 웃긴 이유
1
매매신화
조회수
21
추천 0
2026.02.15 14:00
