코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
- 코딩) NASA가 C언어로 프로그래밍 하는 방법
21시간전
- ??? : 거울아 거울아 이 왕국에서 누가 가장 아름다우냐?
1 일전
- 5살 훈이 근황 ㅋㅋㅋㅋㅋ
1 일전
- 명조]3돌이 시발 누구집개이름이냐 ㅋㅋㅋㅋㅋ
1 일전
- 펫로스 의 무서움
3 일전
댓글 0
자유게시판
충주맨 승진 당시 주변 반응
N
1
수익은혜
조회수
7
추천 0
2026.02.13 16:00
유시민,김어준,정청래,최강욱 악마화하는 사람들 개소식 닮았죠
N
1
Mall3391
조회수
5
추천 0
2026.02.13 16:00
댁우49 여우새끼 치매.. .. ..
N
1
BudA
조회수
6
추천 0
2026.02.13 16:00
장애인주차공간 이거 과태료 가능한가요?
N
1
매매사랑
조회수
5
추천 0
2026.02.13 16:00
오늘 본 것 중 가장 웃긴 것 ㅋㅋ
N
1
Idea38
조회수
6
추천 0
2026.02.13 16:00
좋아 죽는 김상욱
N
1
비나리
조회수
6
추천 0
2026.02.13 16:00
검찰 조지는 송영길
N
1
Huge93
조회수
6
추천 0
2026.02.13 16:00
해학의 민족 한국인 ㅋㅋㅋㅋ
N
1
Ember
조회수
8
추천 0
2026.02.13 16:00
대한민국 베네수엘라행
N
1
Inky9
조회수
7
추천 0
2026.02.13 16:00
법원, AI 재판지원 시스템 시범 도입
N
1
수익은혜
조회수
7
추천 0
2026.02.13 16:00
실시간 댓글버러지
N
1
Unit8273
조회수
6
추천 0
2026.02.13 16:00
오늘도 막나가는 희대요시 패밀리
N
1
Role8872
조회수
5
추천 0
2026.02.13 16:00
내가 슈퍼맨 리부트를 좋아하는 이유.movie
N
1
돈신화
조회수
6
추천 0
2026.02.13 15:01
귀멸) ??? : 빠른 전개를 위해 아무튼 하현은 해체한다.
N
1
Short7164
조회수
5
추천 0
2026.02.13 15:01
로스트소드) 섬란카구라 콜라보 근황.GIF
N
m
유튜버
조회수
5
추천 0
2026.02.13 15:01
