코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
댓글 0
자유게시판
아무리 생각해도 전자가 사회적으로 해로운데 후자만 검열함.jpg
1
Gate47
조회수
20
추천 0
2026.02.16 03:00
"쩡의 번호와 작가는?"
1
Nine10
조회수
23
추천 0
2026.02.16 03:00
마듀)다이스 랠리에서 드디어 마이티 칸에 걸렸는데요
1
Maven
조회수
21
추천 0
2026.02.16 03:00
이이노야 귀중품 한개비는데...어디인가요?
1
부감사
조회수
22
추천 0
2026.02.16 03:00
체급 VS 기술.
1
횡보장돌파매매
조회수
20
추천 0
2026.02.16 03:00
아웃백 처음 가본 사람들
1
월봉트레이더
조회수
22
추천 0
2026.02.16 03:00
73년 흡연 경력 vs 75년 음주 경력
1
Upsilon829
조회수
21
추천 0
2026.02.16 03:00
신혼집 2억 보태주고 원망듣는 아버지
1
경기호황
조회수
20
추천 0
2026.02.16 03:00
컬링 한일전 7:5 승리
1
필승기법
조회수
21
추천 0
2026.02.16 03:00
대한민국 수꼴, 2찍들 등신짓 다시보기
1
Dusk
조회수
24
추천 0
2026.02.16 03:00
브라질산 순살 닭고기 닭 생김새.jpg
1
Quasar55
조회수
23
추천 0
2026.02.16 02:01
대략 적는 스위치2 대략 8개월 후기
1
떡상기원기도중
조회수
21
추천 0
2026.02.16 02:01
블루아카) 중국인의 이부키 코스프레
1
Kappa8213
조회수
30
추천 0
2026.02.16 02:01
트릭컬)아직까지 내 최애 스핔이 영상은 이거같음
1
Psi4433
조회수
29
추천 0
2026.02.16 02:01
조선 선조의 공로와 과오라는 것
1
Stone3408
조회수
29
추천 0
2026.02.16 02:01
