디시인사이드 갤러리

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

갤러리 본문 영역

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

나르시갤로그로 이동합니다. 2025.08.22 11:10:14
조회 94 추천 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 - -
2883550 제네시스 타는 애들 [5] 루도그담당(118.235) 08.22 109 0
2883549 Ai가 다 대체는 못함 [1] ♥냥덩Art♥갤로그로 이동합니다. 08.22 108 0
2883548 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥냥덩Art♥갤로그로 이동합니다. 08.22 82 0
2883547 공통파트 이동 제안들어왔는데 [1] 프갤러(211.44) 08.22 78 0
2883546 ada는 애초에 도태 언어임.. 타입 시스템도 정의하기 어렵고 문제고 [1] ㅆㅇㅆ(124.216) 08.22 97 0
2883545 rnd예산은 ai개발자나 그런 사람들이먹는거지 프갤러(106.102) 08.22 71 0
2883544 ada 사용처는 임베디드 말곤 없어보이는데 프갤러(218.154) 08.22 84 0
2883542 컴터공학은 공대도아님 - R&D 예산 늘리는것도 못먹음 [2] 프갤러(183.101) 08.22 90 2
2883541 오늘은 외주떄문에 바쁘다 [2] ㅆㅇㅆ(124.216) 08.22 101 0
2883540 R&D 보다 인문영역의 발달이 중요해 보인다- 프갤러(121.172) 08.22 64 0
2883539 고졸 이직 가능할까 프갤러(175.210) 08.22 184 0
2883538 nhn vs 쏘카 개발자 입장에서 [1] 프갤러(58.228) 08.22 128 0
2883537 golang Gin 마스터할까~ [4] 프갤러(106.101) 08.22 93 0
2883536 35살 직딩인데.. 이정도면 내 무기는 확실히 있는거지? [2] ㅇㅇ(118.235) 08.22 126 0
2883534 [SAP Korea] 2025 SAP CODE 아카데미 1기 모집 (~8 프갤러(14.32) 08.22 433 0
2883532 태어났는데 북쪽도 아니고 남쪽에서 태어남?? 씹 ㅅㅌㅊ??ㅋㅋㅋ 뒷통수한방(1.213) 08.22 67 0
2883531 오늘의 발명 실마리: 모니터 가상 분할 발명도둑잡기갤로그로 이동합니다. 08.22 68 0
2883529 대통령실 하정우미만은 잡 ㅇㅇ 뒷통수한방(1.213) 08.22 87 0
2883528 ㅇㅅㅇ ♥냥덩Art♥갤로그로 이동합니다. 08.22 74 0
2883526 고수님들 부탁이있어요 프갤러(112.145) 08.22 64 0
2883525 자기가 IME(입력기) 같은 걸 개발하면 Ada 언어를 나르시갤로그로 이동합니다. 08.22 62 0
2883524 [두산로보틱스] 로키부트캠프 AI·로봇 엔지니어 양성과정 6기 모집 (~ [1] 프갤러(14.32) 08.22 223 0
2883523 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥냥덩Art♥갤로그로 이동합니다. 08.22 65 0
2883522 X86의 인탤이 arm으로 ? ♥냥덩Art♥갤로그로 이동합니다. 08.22 79 0
2883521 Ada로 작성하면 코드수가 늘어납니다. 나르시갤로그로 이동합니다. 08.22 66 0
2883520 35살 이 스펙이면 어디가도 먹고사나? 무역경력은 5년차임 ㅇㅇ(58.229) 08.22 88 0
2883519 역대최고 R&d 예산인데 ??ㅋㅋㅋ내년에 또 늘어나는데?? [1] 뒷통수한방(1.213) 08.22 91 0
2883518 it 연봉작다는데 왜 자꾸 R&D예산 몇년째 늘어나는거임?? [4] 뒷통수한방(1.213) 08.22 118 0
2883517 Ada의 신뢰성과 안전성 관련된 글에 대한 생각- [2] 프갤러(121.172) 08.22 96 2
2883516 cefsharp으로 키오스크앱 만든적은 있음 [2] ㅇ.ㅇ(59.151) 08.22 96 0
2883515 러스트 왜 절름발이 언어인가? [5] 나르시갤로그로 이동합니다. 08.22 120 0
2883514 이민이 선택사항이라고 착각하는 애들 있다는게 충격 ♥냥덩Art♥갤로그로 이동합니다. 08.22 78 0
2883513 백자 달항아리 마주한 '케데헌' 감독 "아이디어가 떠오르네요" 발명도둑잡기갤로그로 이동합니다. 08.22 77 0
2883510 [애니뉴스] 1호 잡지 - 귀인환등초 오후우의 심층분석! 프갤러(121.172) 08.22 66 0
2883508 책 한권 읽는다고 인생이 달라지지 않구요. [1] ㅇㅇ(121.162) 08.22 81 0
Ada의 신뢰성과 안전성 나르시갤로그로 이동합니다. 08.22 94 0
2883505 세계에서 내로라 하는 인재들은 러스트가 아닌 c/c++ 나르시갤로그로 이동합니다. 08.22 62 0
2883504 어디가실것같나요?? [1] ㅇㅇ(39.7) 08.22 91 0
2883503 금요일은 자체 휴가냐? [1] ㅇㅇ(211.234) 08.22 78 0
2883502 윈폼이나 WPF에 [3] 루도그담당(211.184) 08.22 98 0
2883501 만 3년차 백엔드 조언 구함 [3] 프갤러(218.239) 08.22 123 0
2883500 그녹 개씨발련아 찢어죽이고싶네 씨발련 [1] ㅇㅇ(59.17) 08.22 101 0
2883496 외국년 소주먹이고 반응 ㅇㅇ(58.229) 08.22 90 0
2883494 이상하게.. ㅇㅅㅇ 헤르 미온느갤로그로 이동합니다. 08.22 49 0
2883491 제조업 종특인가? 씨샾 닷넷 많이쓰네 [2] 프갤러(119.195) 08.22 125 0
2883479 어느 공원 ㅇㅅㅇ [2] 헤르 미온느갤로그로 이동합니다. 08.22 72 0
2883477 태연 ㅇㅅㅇ 헤르 미온느갤로그로 이동합니다. 08.22 62 0
2883476 하루 한 번 헤르미온느 찬양 헤르 미온느갤로그로 이동합니다. 08.22 89 0
2883475 세계에서 내노라 하는 인재들은 러스트 잘 쓰고 있습니다. 프갤러(27.166) 08.22 59 0
2883474 제미나이 프롬프트 숨기는 크롬 확장 프로그램 만들었다 ㅇㅇ(112.140) 08.22 74 0
뉴스 윤요셉X로키드, 오늘(31일) 새 싱글 '담배를 샀어' 발매! 디시트렌드 10:00
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2