코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
댓글 0
자유게시판
1편 차세대 업제이트 어찌하는지요?
1
수익천사
조회수
221
추천 0
2026.02.18 03:00
정월초하루 부터 좃선 헛소리
1
익절귀신
조회수
98
추천 0
2026.02.18 03:00
스포 ) "추방물 파티 리더인데 돌아버리겠습니다"
1
SkipV
조회수
83
추천 0
2026.02.18 02:00
유게이 좃됬다
1
Bud5509
조회수
83
추천 0
2026.02.18 02:00
할배들이 가끔 구 유게 시절을 그리워하는 이유 .jpg
1
Slow3965
조회수
83
추천 0
2026.02.18 02:00
힐러가 되고싶은 이유.jpg
1
매매실행
조회수
87
추천 0
2026.02.18 02:00
주술회전 새해를 맞이한 후지구로 일가
1
수익기법연구
조회수
243
추천 0
2026.02.18 02:00
개연성, 핍진성은 1차 서류전형 같은거임
1
Team8871
조회수
221
추천 0
2026.02.18 02:00
인방) 옥냥이: 해설하고 인방하고 같냐
1
매매실행
조회수
86
추천 0
2026.02.18 02:00
주술회전) 스쿠나가 딱 하나 모르는 감정
1
부영광
조회수
134
추천 0
2026.02.18 02:00
"백합 만화 그려왔으니까 봐줘!" .manhwa
1
HardE
조회수
86
추천 0
2026.02.18 02:00
[블루아카] 미네 단장과 해피 발렌타인
1
신용매매는위험
조회수
93
추천 0
2026.02.18 02:00
[블루아카] 코하루 테러
1
VitalS
조회수
94
추천 0
2026.02.18 02:00
블루아카) 겨울이 어울리는 학생은 누구?
1
상승장장인A
조회수
96
추천 0
2026.02.18 02:00
드래곤볼 만화책에 이런 장면도 있었음?
1
Ebony7130
조회수
194
추천 0
2026.02.18 02:00
