코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
- 코딩) NASA가 C언어로 프로그래밍 하는 방법
20시간전
- ??? : 거울아 거울아 이 왕국에서 누가 가장 아름다우냐?
1 일전
- 5살 훈이 근황 ㅋㅋㅋㅋㅋ
1 일전
- 명조]3돌이 시발 누구집개이름이냐 ㅋㅋㅋㅋㅋ
1 일전
- 펫로스 의 무서움
3 일전
댓글 0
자유게시판
스타레일)처음부터 의욕 확 떨어지네
N
1
절대수익
조회수
2
추천 0
2026.02.13 21:00
오토바이타면 여자가 변신함
N
m
YouTube
조회수
2
추천 0
2026.02.13 21:00
어른 vs 어린이 배터리 비교
N
1
수익무신
조회수
2
추천 0
2026.02.13 21:00
털이 뽀송뽀송하고 북실북실한 동물
N
1
Wave92
조회수
2
추천 0
2026.02.13 21:00
롤) 피어엑스는 무슨 일이 있어도 월즈를 가야 하는 이유
N
1
독일닥스추세
조회수
2
추천 0
2026.02.13 21:00
주술회전 '나만은 동생의 상냥함을 알고있다'
N
1
Mica92
조회수
2
추천 0
2026.02.13 21:00
도너츠 근황
N
1
손절하면바보지Z
조회수
2
추천 0
2026.02.13 21:00
쿠키에 연유뿌리기
N
1
LambdaE
조회수
2
추천 0
2026.02.13 21:00
남들은 노리지 않는걸 노리는 고양이
N
1
매수세
조회수
2
추천 0
2026.02.13 21:00
미국에서도 한국계 자살율이 높다는 통계에 대한 트위터 의견
N
1
매매정복
조회수
2
추천 0
2026.02.13 21:00
커뮤니티를 건전하게 즐기는법
N
1
차트읽어주는남자
조회수
1
추천 0
2026.02.13 21:00
평범하게 같이 목욕할뿐인 장면
N
m
YouTube
조회수
2
추천 0
2026.02.13 21:00
본인 영상 좋아해준 스트리머에게 선물보낸다는 스트리머
N
1
숏치고잠이안와
조회수
2
추천 0
2026.02.13 21:00
"두쫀쿠 10배"
N
1
Middle3399
조회수
2
추천 0
2026.02.13 21:00
스위치2 대 스위치1 차이
N
1
EgoTrader
조회수
1
추천 0
2026.02.13 21:00
