코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
댓글 0
자유게시판
우리집안 장남 ㅅㄲ
1
Foot1037
조회수
46
추천 0
2026.02.17 10:00
재미가 있어도 오도바이는 제발
1
트레이더이
조회수
54
추천 0
2026.02.17 10:00
만취 역주행, 반대편 차량 충돌
1
Right3945
조회수
143
추천 0
2026.02.17 10:00
충주시 김선태씨 관련 공직사회...
1
수익실행
조회수
53
추천 0
2026.02.17 10:00
스팅어 전동트렁크
1
Zephyr8273
조회수
47
추천 0
2026.02.17 10:00
어느 공무원이 충주맨이 싫은이유
1
이평선수렴완료
조회수
55
추천 0
2026.02.17 10:00
오가일곱개 (feat, 내가 카푸어인이유)
1
Clay5552
조회수
54
추천 0
2026.02.17 10:00
엄마한테 왜 자꾸 그러냐
1
데이터는거짓말안해
조회수
45
추천 0
2026.02.17 10:00
기초생활수급자갤 근황
1
차트설계
조회수
55
추천 0
2026.02.17 10:00
아반떼N 후회중..
1
가치주매집중
조회수
53
추천 0
2026.02.17 10:00
17살 여고딩이 너무 좋은 영포티 원장선생
1
Swift3948
조회수
54
추천 0
2026.02.17 10:00
1993년생 대만 초선 여성 국회의원 ㄷㄷㄷ
1
이평선확산시작
조회수
44
추천 0
2026.02.17 10:00
북한 출신 국회의원
1
차트설계
조회수
56
추천 0
2026.02.17 10:00
충주시 유투브 근황
1
비트코인
조회수
52
추천 0
2026.02.17 10:00
버스전용차로 얌체의 사이다
1
수익의시작
조회수
47
추천 0
2026.02.17 10:00
