코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
댓글 0
자유게시판
대영제국이 위대한이유
1
Solid
조회수
18
추천 0
2026.02.15 09:02
삼국지) 관우가 억울하다는 역사학자
1
Roof8200
조회수
20
추천 0
2026.02.15 09:02
충주맨은 공무원 면직의 교과서다.jpg
1
돈의시나리오
조회수
17
추천 0
2026.02.15 09:02
"이거 남자니까 보고 흥분하지 마세요-"
1
Four7127
조회수
18
추천 0
2026.02.15 09:02
운명전쟁나온 무당한테 점본사람
1
분산투자
조회수
16
추천 0
2026.02.15 09:02
설 기념으로 기부하고 왔습니다
1
Vein8205
조회수
18
추천 0
2026.02.15 09:02
이등병의 탈영이 나라를 구한 썰.jpg
1
수익도사
조회수
16
추천 0
2026.02.15 09:02
과사삭벌레의 의미를 몰랐던 방순이
1
Short7142
조회수
18
추천 0
2026.02.15 09:02
보복운전 레전드 甲.av
1
천장돌파
조회수
19
추천 0
2026.02.15 09:02
26년 전통 게임의 선배님 대우 수준.jpg
1
차트마스터
조회수
20
추천 0
2026.02.15 09:02
콘코드 영상 제목부터 ㅈㄴ 폭력적이네 ㅋㅋㅋㅋㅋ
1
차트운용
조회수
18
추천 0
2026.02.15 09:02
1부더 할려면 어떤거 사야하나요?
1
세력의발자취
조회수
20
추천 0
2026.02.15 09:02
최근 인증으로 올라오는 메가미 커스텀,실리콘 바디
1
돈우먼
조회수
18
추천 0
2026.02.15 09:02
행님들 겨울철 lpi 배기 흰연기 정상인가요?
1
선물옵션의무덤
조회수
18
추천 0
2026.02.15 09:02
유승은 선수도 관심가지자
1
수익도사
조회수
15
추천 0
2026.02.15 09:02
