코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
댓글 0
자유게시판
트릭컬)시온 스토리로 어느정도 안정기인 글로볼이 곧 맞이할 스토리
N
1
Dusk
조회수
17
추천 0
2026.02.15 12:00
? : 자유민들을 풀어줘라
N
1
매매귀신
조회수
16
추천 0
2026.02.15 12:00
선배에게 고백할 수 있도록 도와주는 소꿉친구.manga
N
1
Lyra2
조회수
15
추천 0
2026.02.15 12:00
천재들은 재능없는 사람들의 심정을 모른다 말하는 복서
N
1
매매보이
조회수
17
추천 0
2026.02.15 12:00
군필자가 보면 황당한 장면.jpg
N
1
Dusk
조회수
16
추천 0
2026.02.15 12:00
ㅊㅌㄱ) AI딥페이크 범죄글 댓글에 꼭 출몰하는 이상한놈들
N
1
성공투자가
조회수
15
추천 0
2026.02.15 12:00
건담) 목소리 이쁘고 귀여우면 다야!?
N
1
LogicX
조회수
18
추천 0
2026.02.15 12:00
자기네 말을 억지로 하는 미국놈을 본 프랑스 인의 반응
N
1
데드크로스피하자
조회수
17
추천 0
2026.02.15 12:00
기대를 많이 받은 만큼 뭔가 서글펐던 프로
N
1
매매보이
조회수
17
추천 0
2026.02.15 12:00
오늘 보육원 마지막 봉사 왔음
N
1
Kappa8213
조회수
16
추천 0
2026.02.15 12:00
엔드필드)개쩌는 청사진
N
1
CrewZ
조회수
15
추천 0
2026.02.15 12:00
죽을 걸 알면서도 구출한 미국 소방관들
N
1
추격매수는패가망신
조회수
22
추천 0
2026.02.15 12:00
슬랜더파 긁는 이치고
N
1
돈히어로
조회수
16
추천 0
2026.02.15 12:00
마도정병 슬레이브 애니 근황
N
1
매매보이
조회수
16
추천 0
2026.02.15 12:00
엔드필드) 안 꼴려서 안 뽑는게 아니라.jpg
N
1
경기민감주
조회수
13
추천 0
2026.02.15 12:00
