코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
댓글 0
자유게시판
엄마한테 왜 자꾸 그러냐
1
데이터는거짓말안해
조회수
72
추천 0
2026.02.17 10:00
기초생활수급자갤 근황
1
차트설계
조회수
86
추천 0
2026.02.17 10:00
아반떼N 후회중..
1
가치주매집중
조회수
79
추천 0
2026.02.17 10:00
17살 여고딩이 너무 좋은 영포티 원장선생
1
Swift3948
조회수
76
추천 0
2026.02.17 10:00
1993년생 대만 초선 여성 국회의원 ㄷㄷㄷ
1
이평선확산시작
조회수
74
추천 0
2026.02.17 10:00
북한 출신 국회의원
1
차트설계
조회수
84
추천 0
2026.02.17 10:00
충주시 유투브 근황
1
비트코인
조회수
80
추천 0
2026.02.17 10:00
버스전용차로 얌체의 사이다
1
수익의시작
조회수
69
추천 0
2026.02.17 10:00
친구 어머니 돌아가셨는데 손절했다
1
High7200
조회수
131
추천 0
2026.02.17 10:00
까치까치 설날은 어저께고요~
1
트레이더이
조회수
88
추천 0
2026.02.17 10:00
딸 식당에 리뷰 남긴 아빠
1
이평선확산시작
조회수
82
추천 0
2026.02.17 10:00
박선원 의원 이재명 피습 왜곡한 김상민 前검사 압수수색..
1
Silver7165
조회수
83
추천 0
2026.02.17 10:00
신 을사오적
1
Jar9212
조회수
67
추천 0
2026.02.17 10:00
저 여자앤 왜 갑자기 쭈그려앉는거?.manwha
1
거래폭발의순간
조회수
78
추천 0
2026.02.17 08:00
세상에서 불고기를 가장 사랑하는 디씨인
1
Icon6150
조회수
148
추천 0
2026.02.17 08:00
