코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
댓글 0
자유게시판
페이트) 자기 자신한테 엿먹음
1
Mu9226
조회수
53
추천 0
2026.02.17 21:00
버튜버) 바키: 일본인이라면 누구나 아는 그 자세!
1
Line8880
조회수
43
추천 0
2026.02.17 21:00
"남친과 하고 있는데 동생이 3P하자고 한다.
1
Four7127
조회수
47
추천 0
2026.02.17 21:00
주식 고점 신호.webp
1
Lock7169
조회수
46
추천 0
2026.02.17 21:00
레이스 도중 부품 교체.gif
1
파이어족꿈나무
조회수
31
추천 0
2026.02.17 21:00
이수지 근황
1
나스닥
조회수
42
추천 0
2026.02.17 21:00
버튜버) 신곡 제목이 모노폴리라고 하니까
1
Spade7186
조회수
49
추천 0
2026.02.17 21:00
유게이들 학창시절 공감.jpg
1
차트가전부다
조회수
50
추천 0
2026.02.17 21:00
일본에서 개발한 선배랑 사이가 좋~아진다는 자판기
1
상승압력느껴짐
조회수
79
추천 0
2026.02.17 21:00
여긴 어떻게 가는건가요?
1
지지선체크
조회수
51
추천 0
2026.02.17 21:00
이륙) 티파 하나 겨우 뽑는데 5일 걸렸습니다...
1
Over8
조회수
80
추천 0
2026.02.17 21:00
순직소방관 사주풀이를 미션으로 낸 예능프로
1
마진콜
조회수
146
추천 0
2026.02.17 21:00
무조건 여친이 도망가는 비쥬얼
1
하락다이버전스
조회수
48
추천 0
2026.02.17 21:00
약후) 육군 중위 출신 여자
1
Safe11
조회수
48
추천 0
2026.02.17 21:00
서울구치소 설날 특식은
1
시장지배
조회수
46
추천 0
2026.02.17 21:00
