코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
댓글 0
자유게시판
참을성 없는 사람들이 못먹는 막걸리
N
1
매수타점
조회수
15
추천 0
2026.02.14 23:00
안웃기면거세함)부대찌개를 많이 먹으면 안되는 이유는?
N
1
Jar4418
조회수
15
추천 0
2026.02.14 23:00
나미로 보는 원피스 30년간 작화변화
N
1
Road8848
조회수
14
추천 0
2026.02.14 23:00
사이버펑크2077) V의 밸런타인데이 요약
N
1
Gamma55
조회수
15
추천 0
2026.02.14 23:00
이글에 타고싶은 헬다이버.manga
N
1
주봉마스터
조회수
16
추천 0
2026.02.14 23:00
존잘남에게 사랑받는 여자들
N
1
하락추세선돌파
조회수
14
추천 0
2026.02.14 23:00
왜소증 아들을 가진 아버지의 자식교육
N
1
내꿈은전업투자자
조회수
12
추천 0
2026.02.14 23:00
페이트) 차단을 당하더라도 할 말은 하겠습니다
N
1
Epsilon11
조회수
12
추천 0
2026.02.14 23:00
ai채팅이 써주는 야설의 신개념 묘사.jpg
N
1
매매압도
조회수
12
추천 0
2026.02.14 23:00
[트릭컬] 의외로 꼴리는 캐릭터.jpg
N
1
Velvet
조회수
11
추천 0
2026.02.14 23:00
"아들~ 엄마가 햄버거 사왔다!"
N
1
주봉마스터
조회수
15
추천 0
2026.02.14 23:00
페이트)호불호 갈리는 TS 전개
N
1
Fast5519
조회수
16
추천 0
2026.02.14 23:00
가짜같지만 진짜라는 의학적 사실들.
N
1
수익기법연구
조회수
13
추천 0
2026.02.14 23:00
심은경이 일본 예능에 나갔다가 당황한 이유
N
1
Corner4451
조회수
14
추천 0
2026.02.14 23:00
아무도 안믿을 요즘 초등학교 근황
N
1
차트마스터
조회수
15
추천 0
2026.02.14 23:00
