코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
댓글 0
자유게시판
아.. 용극3 버그 걸린 걸까요??
1
상폐회피가먼저
조회수
79
추천 0
2026.02.17 14:00
길 잃은 미아의 주인을 찾습니다
1
트레이더박의매매
조회수
179
추천 0
2026.02.17 14:00
주차후 남기고 간 것
1
Nine3379
조회수
68
추천 0
2026.02.17 14:00
13억 받고 1년 감옥간 남자
1
East7162
조회수
65
추천 0
2026.02.17 14:00
이재명 정부, 공무원 외유성 해외출장 근절 지시
1
IotaX
조회수
70
추천 0
2026.02.17 14:00
미국의 깨끗한 지옥
1
포트폴리오
조회수
69
추천 0
2026.02.17 14:00
오늘도 짖는 장동혁
1
Onyx8844
조회수
58
추천 0
2026.02.17 14:00
GV70 출고했습니다.jpg
1
Floor99
조회수
80
추천 0
2026.02.17 14:00
소소한 기부하고왔습니다..
1
대장주사냥꾼
조회수
72
추천 0
2026.02.17 14:00
이틀뒤엔. 여우타기 ㅋㅋ
1
미체결은괴로워
조회수
73
추천 0
2026.02.17 14:00
앗 개고기 실수함ㅋㅋ
1
부감사
조회수
71
추천 0
2026.02.17 14:00
여우타기는 지금 광주?
1
Wide8856
조회수
77
추천 0
2026.02.17 14:00
약물 연쇄 살인범...20대 여성 신상공개 불가
1
차트의고백듣기
조회수
76
추천 0
2026.02.17 14:00
1찍인척하는 2찍벌레
1
Unit1
조회수
68
추천 0
2026.02.17 14:00
블루아카) 김용하 총괄 PD : 이 게임에는 DEATH가 없어
1
매매비책공유
조회수
76
추천 0
2026.02.17 13:00
