코딩) NASA가 C언어로 프로그래밍 하는 방법
NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.
> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.
이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.
1
매매압도
0P / 0P (0.0 %)
- 코딩) NASA가 C언어로 프로그래밍 하는 방법
19시간전
- ??? : 거울아 거울아 이 왕국에서 누가 가장 아름다우냐?
1 일전
- 5살 훈이 근황 ㅋㅋㅋㅋㅋ
1 일전
- 명조]3돌이 시발 누구집개이름이냐 ㅋㅋㅋㅋㅋ
1 일전
- 펫로스 의 무서움
3 일전
댓글 0
자유게시판
유게에서 글이나 댓글쓸때 중요한것
N
1
Five3969
조회수
6
추천 0
2026.02.13 13:00
트릭컬) WWE 들어간 일본 교주들 상황
N
1
골든크로스술사
조회수
6
추천 0
2026.02.13 13:00
충주맨, 유튜브에 마지막 작별 영상 업로드
N
1
부영광
조회수
7
추천 0
2026.02.13 13:00
동계 올림픽이 북유럽, 북미가 다 해먹는다 하지만 계속되는 이유
N
1
수익천사
조회수
7
추천 0
2026.02.13 13:00
트럼프 인생 큰 굴욕중 하나였다는거
N
1
필승기법
조회수
9
추천 0
2026.02.13 13:00
카이바 근황
N
1
Five3969
조회수
8
추천 0
2026.02.13 13:00
페이커 닮았다는 여성 스트리머 몸매 공개
N
1
Job1036
조회수
8
추천 0
2026.02.13 13:00
같이 스트레스 풀자며 초대하는 로리바바 선배
N
1
Psi9227
조회수
7
추천 0
2026.02.13 13:00
블루아카)유즈가 늙었어도 귀여운 이유
N
1
부우먼
조회수
10
추천 0
2026.02.13 13:00
오늘자 경제지
N
1
Pi94
조회수
7
추천 0
2026.02.13 13:00
경찰 티배깅한 유게이
N
1
Pi94
조회수
7
추천 0
2026.02.13 13:00
애초에 지금 올림픽 선수들까지 내려치지 말라는 소리 나오는 이유는 간단하지 않나
N
1
Blue92
조회수
6
추천 0
2026.02.13 13:00
트럼프 "관세를 올리면 틀림 없이 기업이 부담할 것입니다!"
N
1
Up4450
조회수
7
추천 0
2026.02.13 13:00
쿠팡, 가족·친구 정보까지 털렸다 배송지 목록만 1억4800만건 조회
N
1
차트리더
조회수
7
추천 0
2026.02.13 13:00
겜하다 전번 까라는 거 처리법
N
1
Yield
조회수
7
추천 0
2026.02.13 13:00
