디시인사이드 갤러리

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

갤러리 본문 영역

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

나르시갤로그로 이동합니다. 2025.08.22 11:10:14
조회 106 추천 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/08 - -
AD 신학기 레벨업~!! 운영자 25/09/05 - -
2887380 나는 돈벌게되면 일 제대로 못할듯 체력이 없음 이제 뒷통수한방(1.213) 09.07 22 0
2887379 김정은이 똑똑한건 인정해야지 [2] 야옹아저씨갤로그로 이동합니다. 09.07 52 0
2887378 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥냥덩의태양은밤에도빛난당♥갤로그로 이동합니다. 09.07 24 0
2887377 영어 할 줄 아세요? ㅇㅅㅇ 헤르 미온느갤로그로 이동합니다. 09.07 39 0
2887376 파이썬 기초부터 초보입문자가 쉽게 배울수 있는 책 있나요? [3] 프갤러(223.39) 09.07 49 0
2887375 애플 이벤트 D - 3 ㅇㅅㅇ [1] 헤르 미온느갤로그로 이동합니다. 09.07 32 0
2887374 태연 ㅇㅅㅇ 헤르 미온느갤로그로 이동합니다. 09.07 24 0
2887373 하루 한 번 헤르미온느 찬양 헤르 미온느갤로그로 이동합니다. 09.07 49 0
2887372 취미로 프로그래밍(코딩) 배우고 싶은데... [14] 프갤러(223.39) 09.07 90 0
2887366 인지과학조져라 손발이시립디다갤로그로 이동합니다. 09.07 59 0
2887355 빌 게이츠가 직접 만든건 컴파일러인거임?? [1] ㅇㅇ(211.62) 09.07 65 0
2887352 됐다 완전한 RAG 만들었다. [1] ㅆㅇㅆ(124.216) 09.07 89 0
2887346 입천장 데였나봄 [1] 루도그담당(58.239) 09.07 43 0
2887344 보통 웹에서 선형대수 쓰는건 이런거 만들어. 내가 만든거 보여줌 [1] ㅆㅇㅆ(124.216) 09.07 77 0
2887343 여사친 어카냐 블개갤로그로 이동합니다. 09.07 52 0
2887340 솔직히 웹 UI 자신없어서 애니메이션 구현에 전력 때려박는중 [3] ㅆㅇㅆ(124.216) 09.07 80 0
2887337 귀염❤+ 소듕❤+ [6] ♥냥덩의태양은밤에도빛난당♥갤로그로 이동합니다. 09.07 58 0
2887336 결국 친중재명 때문이었네.. 외교대실패 회담결렬 ♥냥덩의태양은밤에도빛난당♥갤로그로 이동합니다. 09.07 47 0
2887334 음기 충전 발명도둑잡기(118.216) 09.07 77 0
2887332 이게 딥스가 아니면 누가 딥스라는거임? [6] 야옹아저씨갤로그로 이동합니다. 09.07 162 5
2887330 냥덩이 마누라 되실 분 발명도둑잡기(118.216) 09.07 28 0
2887328 전세계에서 한국만큼 살기좋은나라가 없다고???애미 씨발 노인씹새끼들아ㅋㅋ 뒷통수한방(1.213) 09.07 30 0
2887327 AI와 ‘야한 대화’에 빠진 초등생들... 학교는 안절부절 발명도둑잡기(118.216) 09.07 50 0
2887326 ㅋㅅㅋ ♥냥덩의태양은밤에도빛난당♥갤로그로 이동합니다. 09.07 32 0
2887324 애플 박스 심리 트릭 발명도둑잡기(118.216) 09.07 29 0
2887322 aice associate 땄는데 반도체러한텐 스펙안되나 프갤러(211.235) 09.07 38 0
2887321 친중재명 때문에 한국만 관세 25% ? ♥냥덩의태양은밤에도빛난당♥갤로그로 이동합니다. 09.06 28 0
2887320 언리얼 많이 어려움? [3] 뉴진파갤로그로 이동합니다. 09.06 45 0
2887319 재명이 때문에 트럼프가 몽둥이 들었넹 ♥냥덩의태양은밤에도빛난당♥갤로그로 이동합니다. 09.06 38 0
2887318 애들아 미안한데 내 만들고 있는 웹사이트 디자인좀 봐다오 [9] ㅆㅇㅆ(124.216) 09.06 113 0
2887317 “자본주의가 끝났다” 현재 미국을 뒤흔든 인텔 국유화 쇼크 [1] 발명도둑잡기(118.216) 09.06 88 0
2887316 속보) 광주에서 석유 발견 ㄷㅅㄷ ♥냥덩의태양은밤에도빛난당♥갤로그로 이동합니다. 09.06 43 0
2887315 더불어민쥬당 동성 성추행 ㄷㅅㄷ 게이임? ♥냥덩의태양은밤에도빛난당♥갤로그로 이동합니다. 09.06 30 0
2887314 더불어민쥬당 신종갑 여직원 감금 ㄷㅅㄷ ♥냥덩의태양은밤에도빛난당♥갤로그로 이동합니다. 09.06 33 0
2887313 호미들(Homies) - 완공 발명도둑잡기(118.216) 09.06 27 0
2887312 웹 개발할거면 쉐이더나 three.js 아니면 수학 쓸데 없지 않나 ㅆㅇㅆ(124.216) 09.06 42 0
2887311 라면먹고갈래? [5] 발명도둑잡기(118.216) 09.06 40 0
2887310 라면 먹고 갈래? 발명도둑잡기(118.216) 09.06 26 0
2887308 수학 열심히 팠으면 메리트 있는 분야가 어딘가요? [5] 프갤러(211.248) 09.06 68 0
2887306 지금 RAG를 닫힌 환경으로 했는데 이걸 제미나이 CLI랑 연동하고 싶데 ㅆㅇㅆ(124.216) 09.06 38 0
2887305 봄날은 간다. 라면먹을래... 라면먹고갈래의 원조 발명도둑잡기(118.216) 09.06 25 0
2887304 정상수 & 홍가- 라면먹고 갈래요? 발명도둑잡기(118.216) 09.06 25 0
2887303 너넨 강의 인프런에서 들음 유데미에서 들음 [5] 98세박춘봉갤로그로 이동합니다. 09.06 106 0
2887302 KBS 인사이트 아시아 '누들로드 Noodle Road' 6부작 발명도둑잡기(118.216) 09.06 23 0
2887301 면쳐돌이 아스카의 추천 맛집 아스카영원히사랑해갤로그로 이동합니다. 09.06 50 0
2887300 4BOUT-Secret Box 발명도둑잡기(118.216) 09.06 22 0
2887299 RAG 만들어보고 느낀건데 갑갑하다 이거 진짜 ㅆㅇㅆ(124.216) 09.06 49 0
2887298 도삭면 우육면 마라탕 다 쳐먹고 싶다 [5] 아스카영원히사랑해갤로그로 이동합니다. 09.06 50 0
2887297 전세계에서 한국만큼 살기좋은나라가 없다고???애미 씨발 노인씹새끼들아ㅋㅋ 뒷통수한방(1.213) 09.06 30 0
2887296 일본해라고 불러서 개빡친 유럽 국가 발명도둑잡기(118.216) 09.06 33 0
뉴스 추영우, ‘성인용품점’ 여고생 폰케이스 논란…‘벗방 BJ’ 팔로우하더니 또 디시트렌드 09.06
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2