코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
댓글 0
자유게시판
버튜버) 2월 일페 참여합니다! VIR 14-16 홀로어셈블 많이 놀러와주세요!
1
Right8879
조회수
51
추천 0
2026.02.17 18:01
순직 소방관으로 난리친 무당 방송으로 다른 행보를 보이는 분
1
Velocity77
조회수
41
추천 0
2026.02.17 18:01
에휴 또 유게 고인물들 기강 잡네
1
Icon
조회수
49
추천 0
2026.02.17 18:01
한일커플 연애 1달차와 1년차 차이 ㅎㄷㄷ.mp4
1
매매통제
조회수
65
추천 0
2026.02.17 18:01
긴급 뉴비 1장 보스 못깨고 있어요 장비제작 및 보스패턴질문!
1
Wise1024
조회수
50
추천 0
2026.02.17 18:01
(스포)만화 원피스 몇권부터 봐야하는지 질문드립니다
1
Tiny9221
조회수
29
추천 0
2026.02.17 18:01
마스크!
1
차트히어로
조회수
44
추천 0
2026.02.17 18:00
함양 휴게소
1
Down7143
조회수
39
추천 0
2026.02.17 18:00
국세청도 깜짝 놀라는 부자들의 증여법
1
화살표매수
조회수
51
추천 0
2026.02.17 18:00
어제밤 뺑소니당했어요
1
Wise1024
조회수
57
추천 0
2026.02.17 18:00
중고처로 산지 한달도 안된Dn8 2.0 에서 1.6터보가는게 너무 성급한 생각일까요?
1
Origin47
조회수
55
추천 0
2026.02.17 18:00
세해복 많이 받으시라고 합니다
1
차트히어로
조회수
56
추천 0
2026.02.17 18:00
화이트 해커의 폭로 - 다크웹보다 더욱 위험한 곳이 있다. 여기도 사탄숭배자들의 활동
1
Zephyr8273
조회수
62
추천 0
2026.02.17 18:00
여자 경리가 회사 돈 횡령하는 스킬
1
Gold3931
조회수
56
추천 0
2026.02.17 18:00
최가온 금메달 축하 현수막...내렸다는 썰이
1
Lyra2
조회수
85
추천 0
2026.02.17 18:00
