코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
댓글 0
자유게시판
페이트) 에미야군은 내 어머니가 되었을지도 모르는 남자다
1
Five9228
조회수
49
추천 0
2026.02.17 13:00
얘야 설거지는 원래 마음대로 되지 않는거란다
1
ArcaneV
조회수
38
추천 0
2026.02.17 13:00
저 33살인데 엄빠가 세뱃돈 안줌...
1
비트코인불장
조회수
41
추천 0
2026.02.17 13:00
최현석이 진짜 오타쿠란걸 보여주는 씬
1
Five9228
조회수
50
추천 0
2026.02.17 13:00
닌자의 비망록을 다구매했는데 스킬용량이 1개비네요
1
옵션거래는조심
조회수
45
추천 0
2026.02.17 13:00
???표인 가문들은 뭘까요?
1
Dusk
조회수
42
추천 0
2026.02.17 13:00
10억 체감하는 사진
1
신저가매수전략
조회수
37
추천 0
2026.02.17 13:00
북한 출신 국회의원
1
매매리더
조회수
34
추천 0
2026.02.17 13:00
독일 국방의 과거와 현재
1
Line10
조회수
44
추천 0
2026.02.17 12:01
블루아카)넷코 작가 본계 만화.jpg
1
Lucid
조회수
45
추천 0
2026.02.17 12:01
라오)에도 그림작가가 더 필요하다...
1
Bloom
조회수
40
추천 0
2026.02.17 12:01
강아지가 새배 상 엎음
1
Low92
조회수
93
추천 0
2026.02.17 12:01
블루아카) 일스포) 이번 스토리에서 기시감이 느껴지던 장면
1
Fast7199
조회수
42
추천 0
2026.02.17 12:01
젠레스) 직권남용
1
Ethere
조회수
42
추천 0
2026.02.17 12:01
설날)사촌누나한테 배빵맞음
1
Flow5517
조회수
42
추천 0
2026.02.17 12:01
