디시인사이드 갤러리

갤러리 이슈박스, 최근방문 갤러리

갤러리 본문 영역

Ada의 신뢰성과 안전성앱에서 작성

나르시갤로그로 이동합니다. 2025.08.22 11:10:14
조회 101 추천 0 댓글 0

신뢰성과 안전성 (reliability and safety)

소프트웨어 시스템에서 신뢰성(reliability)은 명시된 기간 동안 의도된 기능을 오류 없이 수행하는 확률을 나타내며, 안전성(safety)은 오작동이 치명적인 사고로 이어지지 않도록 하는 시스템의 속성을 의미합니다. Ada는 이를 위해 언어 차원에서 컴파일 타임 안전성과 런타임 안전성을 지원합니다.

컴파일 타임 안전성은 프로그램 실행 전 소스 코드를 정적으로 분석하여 오류를 탐지 및 방지하는 개념입니다. Ada 컴파일러는 타입 불일치, 서브프로그램 호출 시의 매개변수 오류, 패키지의 비공개(private) 영역 접근 위반, 초기화되지 않은 변수의 사용 가능성 등 다양한 종류의 결함을 컴파일 단계에서 검출합니다.

이러한 정적 분석의 기반은 Ada의 강타입 시스템(strong type system)입니다. 이 시스템은 서로 다른 데이터 타입 간의 연산을 허용하지 않습니다. 예를 들어, Meters로 정의된 거리 타입과 Kilograms로 정의된 무게 타입 변수 간의 산술 연산은 컴파일 시점에 오류로 처리되어 데이터를 의미에 맞지 않게 잘못 사용하는 것을 방지합니다. 이러한 정적 검증은 개발 초기 단계에서 논리적 오류를 식별하여 소프트웨어의 견고성(robustness)과 신뢰성을 향상시킵니다.

정적 분석만으로 탐지하기 어려운 동적 오류에 대응하기 위해, Ada는 프로그램 실행 중 발생하는 예외적 상황을 처리하는 런타임 안전성 기능을 갖추고 있습니다. 언어 표준에 명시된 런타임 검사(runtime check)는 배열 인덱스 범위 초과, 정수 오버플로 또는 0으로 나누기와 같은 산술 오류, 데이터의 유효 범위 위반 등 메모리 및 데이터 무결성을 저해할 수 있는 동작을 감지합니다. 런타임 검사가 실패하면, 시스템은 미정의 상태(undefined state)가 되는 대신 제어된 방식으로 예외(exception)를 발생시킵니다. 개발자는 예외 처리 구문을 통해 이러한 상황에 체계적으로 대응할 수 있습니다.

또한, Ada는 선언적 명세를 통해 서브프로그램의 동작을 정의하는 계약 기반 프로그래밍(Programming by Contract)을 지원합니다. 개발자는 서브프로그램 실행 전에 만족해야 할 사전조건(precondition)과 실행 후에 보장해야 할 사후조건(postcondition)을 명시할 수 있습니다. 이러한 계약은 런타임에 검증되어 프로그램의 논리적 정확성을 보증합니다.

Ada의 안전성 모델은 테스트와 동적 검사를 넘어, 프로그램의 특정 속성을 수학적 논리로 증명하는 정형 검증(formal verification)으로 확장됩니다. 그 예시인 SPARK는 Ada의 검증 가능한 부분집합(verifiable subset)으로, 코드에 명시된 계약이 모든 실행 경로에서 만족된다는 것을 정적 분석 도구를 통해 증명할 수 있습니다.

---
아직 검토 중인 글입니다.

https://nimfsoft.art/ko/books/ada-programming/#13-ada%EC%9D%98-%EC%A3%BC%EC%9A%94-%ED%8A%B9%EC%A7%95

ㄹㅓ스트 빠돌이들의 헛소리에 속지 마십시오.
그리고 Ada도 메모리 세이프 언어입니다. 책 쓰다보니 알게된 사실인데 언어의 여러 특징 때문에 memory safe 특성이 나타나는 것이죠. 메모리 세이프만 딱 짚어서 설명하는게 이상하더라고요. 하지만 러스트는 메모리 세이프만 딱 짚어서 설명하는 이상한 태도를 취하는거죠. 그러한 서술 빛 홍보 방식으로 인하여 집단 환각 증상이 나타나나 봅니다. 타 언어들 자바, 루비, 파이선 등은 그런 식으로 서술 안 합니다. 또한 그런 식으로 홍보 안 해요. 러스트만 그짓거리하고 있는 겁니다. 왜? 입지가 불안하거든요 ㅎㅎ
저런 식으로 과장된 홍보를 해도 사람들이 러스트를 안 써요. 러스트 써 본 사람들은
1. 니도 함 엿먹어봐라는 심정으로 러스트를 설파하고
2. 또 다른 gc 없는 메모리 안전 언어는 없는가 알아보니다가 메모리 안전 뿐만 아니라 폭넓은 안전을 보장하는 Ada로 넘어오게 되죠.

추천 비추천

0

고정닉 0

0

댓글 영역

전체 댓글 0
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 순간의 말실수로 이미지 타격이 큰 것 같은 스타는? 운영자 25/09/01 - -
AD 가전디지털, 신학기 페스타! 운영자 25/08/29 - -
2885564 나 메이플 안할래... 마음의 여유가 사라짐 ㅇㅇ(223.38) 08.30 44 0
2885562 C++ 인생 40 년 갈아 넣었습니다. [1] 프갤러(59.16) 08.30 109 0
2885560 슈카같은 삼성맨이 한국인 레밍으로 표현할때부터 알아봄 뒷통수한방(1.213) 08.30 108 0
2885558 [대한민국] 클라우드 컴퓨팅과 무결성 사이의 오류 지적 프갤러(121.172) 08.30 42 0
2885556 착각하는거같아서 알려주면 나는 이미 일할필요가없음 [3] 위키세카이(211.234) 08.30 142 0
2885555 10년지기 여사친이랑 절교했는데 내가 잘못한거임? [5] ㅇㅇ(211.235) 08.30 97 3
2885554 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥냥덩이♥갤로그로 이동합니다. 08.30 62 0
2885551 형님들 떼돈벌 어플 아이디어 생각났습니다. [3] 프갤러(58.229) 08.30 107 0
2885550 걍 구글 검색만 해도 ai가 척척 답변해주더라 ㅇㅇ갤로그로 이동합니다. 08.30 68 0
2885547 타인의 고통과 기회를 팔아 살며 진 빚이 너무 많다. [1] ㅇㅇ(223.38) 08.30 60 0
2885546 금융it가 폐쇄망이라고 ai가 대체못한다는 저능아들이있네 [2] 위키세카이(58.225) 08.30 154 0
2885545 산사태 위험 있다고 당장 대피소로 대피하란 문자 왔는데..ㅇㅅㅇ 헤르 미온느갤로그로 이동합니다. 08.30 69 0
2885544 나이 먹음 먹을수록 메이플이 질리고 재미없어지는듯... ㅇㅇ(223.38) 08.30 55 0
2885543 재학생 해외 최고 명문대학 교환 학생 지원 프로그램!< 프갤러(59.17) 08.30 70 1
2885542 극좌 쪼국 2030 청년 비하 세대갈라치기 논란 ♥냥덩이♥갤로그로 이동합니다. 08.30 48 0
2885541 짱깨불법어선 때려잡는 신안 ! 애국국방 ! 든든합니당! ♥냥덩이♥갤로그로 이동합니다. 08.30 54 0
2885539 애플 이벤트 D - 11 ㅇㅅㅇ 헤르 미온느갤로그로 이동합니다. 08.30 57 0
2885538 김원근 작품..ㅇㅅㅇ 헤르 미온느갤로그로 이동합니다. 08.30 50 0
2885536 태연 ㅇㅅㅇ 헤르 미온느갤로그로 이동합니다. 08.30 49 0
2885535 하루 한 번 헤르미온느 찬양 헤르 미온느갤로그로 이동합니다. 08.30 79 0
2885508 포켓몬 작화 잘 나온것 같다. 한편으로는 부럽다. 넥도리아(220.74) 08.30 62 0
2885498 Rust 빠돌이 양산을 토대로 재단 설립 돈벌이 목적인가? 나르시갤로그로 이동합니다. 08.30 58 0
2885495 베를린의 충고 ㅇㅇ(210.100) 08.30 80 0
2885471 Ada 소개: 객체 지향 프로그래밍 나르시갤로그로 이동합니다. 08.30 72 0
2885467 잣 같은 사람들 있는 회사 때려치고 이직 성공. 프갤러(59.16) 08.30 83 0
2885463 깃허브에 영상 다운로더 만들어서 올리면 잡혀가? [1] 프갤러(106.241) 08.30 95 0
2885462 Ada, Rust: '논리적 정확성' vs '메모리 무결성' 나르시갤로그로 이동합니다. 08.30 82 0
2885461 러스트 특) 자바가 널리 사용되기까지 불과 2년 걸렸습니다. 나르시갤로그로 이동합니다. 08.30 75 0
2885459 잠이 안 온당.. ♥냥덩이♥갤로그로 이동합니다. 08.30 93 0
2885458 나이 먹음 먹을수록 메이플이 질리고 재미없어지는듯... ㅇㅇ(223.38) 08.30 57 0
2885456 우크라이나 영토 마음대로 협의하는 트럼프와 푸틴, 한반도도 이렇게 당하나 발명도둑잡기갤로그로 이동합니다. 08.30 58 0
2885452 좆같네 진짜 ㅇㅅㅇ 잠이 왜 안오지 하... ㅇㅇ(223.38) 08.30 65 0
2885444 러스트는 게임 개발에 적합한 언어가 아닙니다. 나르시갤로그로 이동합니다. 08.30 89 0
2885441 . [1] ♥냥덩이♥갤로그로 이동합니다. 08.30 91 0
2885437 냥덩아 문재인 찢재명 김정숙은 욕안하누??? 뒷통수한방(1.213) 08.30 75 0
2885436 김건희 집사 게이트③ '사면초가' 카카오 모빌리티의 30억 투자 발명도둑잡기갤로그로 이동합니다. 08.30 66 0
2885434 쿠팡 대리점 내부 자료 입수 ③ "임원 상대로 유흥업소 접대" 녹취 발명도둑잡기갤로그로 이동합니다. 08.30 56 0
2885433 김건희 집사 게이트 : 카카오는 정말 몰랐나 발명도둑잡기갤로그로 이동합니다. 08.30 67 0
2885431 금주하면 인생 달라짐 ?? 피곤에서 벗어날 수 있음?? ㅇㅇ(223.38) 08.29 58 0
2885430 나님 탈갤합니당❤+ [6] ♥냥덩이♥갤로그로 이동합니다. 08.29 161 0
2885428 선거 두 번만 치르면 30대남 40대 되고 [1] 발명도둑잡기갤로그로 이동합니다. 08.29 78 0
2885426 내가 권력가지고 돈가지면 제일하고싶은게 권력자들 재벌들 썰어죽이는거 ㅇㅇ 뒷통수한방(1.213) 08.29 65 0
2885424 비가 와도 내 방은 덥다 발명도둑잡기갤로그로 이동합니다. 08.29 57 0
2885423 디아블로 개발자 노조 결성 발명도둑잡기갤로그로 이동합니다. 08.29 63 0
2885421 모기 있는듯.. ♥냥덩이♥갤로그로 이동합니다. 08.29 85 0
2885420 내란당은 실체가 없다는 것입니다. 공기가 마치 빈 것처럼. 넥도리아(220.74) 08.29 61 0
2885419 공기가 애매하게 축축한.. ♥냥덩이♥갤로그로 이동합니다. 08.29 83 0
2885418 기안84 수상한 건 프갤러(211.210) 08.29 65 0
2885417 벌렁벌렁 ♥냥덩이♥갤로그로 이동합니다. 08.29 97 0
2885416 김완선 - '가장무도회' 발명도둑잡기갤로그로 이동합니다. 08.29 58 0
뉴스 전소미, 경쾌한 레드 스니커즈까지… ‘오트리 룩’ 공항 패션 디시트렌드 09.03
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2