코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
댓글 0
자유게시판
레딧에 올라온 면접후기
N
1
부평화
조회수
12
추천 0
2026.02.16 13:00
최근 보배에 새로운점
N
1
매매달인
조회수
14
추천 0
2026.02.16 13:00
부산 2030 남성들의 박형준 지지율
N
1
바닥권매집완료
조회수
18
추천 0
2026.02.16 13:00
일본 할머니가 그려서 알려주는 주식 그래프 보는 법
N
1
가즈아만백번
조회수
14
추천 0
2026.02.16 13:00
[단독] 주진우, 부산시장 출마 유력
N
1
마진콜탈출성공
조회수
15
추천 0
2026.02.16 13:00
까도까도 나오는 강남구청장
N
1
Wild5529
조회수
17
추천 0
2026.02.16 13:00
베스트가는거 굳이 부계까지 필요한가??
N
1
이든
조회수
19
추천 0
2026.02.16 12:00
공주고문) 2기 OP에 등장하는 의문의 캐릭터
N
1
Lung9296
조회수
17
추천 0
2026.02.16 12:00
잘생긴 찐따와 못생긴 찐따.jpg
N
1
Nail94
조회수
19
추천 0
2026.02.16 12:00
현재 벌어진 한국인의 동남아 인종차별 사건 배경
N
1
가치투자본색
조회수
15
추천 0
2026.02.16 12:00
워해머 볼트건 게임 주인공을 지켜보는 카오스 신들.JPG
N
1
East7162
조회수
16
추천 0
2026.02.16 12:00
베스트 가는데 굳이 다른사이트 렉카해야하나?
N
1
매매일지
조회수
17
추천 0
2026.02.16 12:00
사내 교미 시스템 여직원이 1권 이후로 코스프레 안한다는건 거짓말임
N
1
Road1056
조회수
16
추천 0
2026.02.16 12:00
소전2)이게 떡상할려면...
N
1
절대수익을위해
조회수
14
추천 0
2026.02.16 12:00
OpenAI가 gpt 프로를 1/10 가격에 뿌린 이유
N
1
주식도사
조회수
19
추천 0
2026.02.16 12:00
