디시인사이드 갤러리

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

갤러리 본문 영역

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

나르시갤로그로 이동합니다. 2025.08.22 11:10:14
조회 97 추천 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 - -
공지 프로그래밍 갤러리 이용 안내 [96] 운영자 20.09.28 46836 65
2886509 냥덩 게임상 이 게임이 대단하당⭐ 1회 수상작 ♥냥덩이♥갤로그로 이동합니다. 22:44 9 0
2886508 사람 머리 정중앙을 향해 폭탄을 싣고 프갤러(220.88) 22:42 8 0
2886507 회사에서 개발자를 가르쳐서 키워 쓴다는게 가능함? ㅇㅅㅇ; 프갤러(60.196) 22:40 9 0
2886506 2025 수시 입결 수직 급상승 로켓 떡상 탑 명문대U 프갤러(59.17) 22:37 9 1
2886505 '노란봉투법' 업은 노조, 'IT 성지' 판교에도 모기업과 갈등 '물꼬' [1] 발명도둑잡기갤로그로 이동합니다. 22:31 13 0
2886503 22살인데 복학해서 1학년 2학기다... 인생 망했다 프갤러(118.128) 22:26 8 0
2886502 주식 좀 폭락했으면 좋겠습니다 [3] 아스카영원히사랑해갤로그로 이동합니다. 22:26 19 0
2886501 4050 좌빨아저씨들도 한녀 걸러야 된다는 소리하는거 듣고 깜놀함 ♥냥덩이♥갤로그로 이동합니다. 22:23 10 0
2886500 귀칼 잼노 아스카영원히사랑해갤로그로 이동합니다. 22:22 13 0
2886499 ㄹㅇ 달달하당… [1] 꼬치의달인갤로그로 이동합니다. 22:20 18 0
2886498 회사도 당할만큼 당하니 경력자 안믿어 프갤러(59.16) 22:11 29 1
2886497 나님 쉬야완 ♥냥덩이♥갤로그로 이동합니다. 22:10 11 0
2886496 애초에 기업은 국가에서 제공하는 인프라를 받고 있음. ㅆㅇㅆ(124.216) 22:06 13 0
2886494 가끔 한국인들 틀딱들이 기본적으로 배움이 짧다는 걸 아랫글 보면 느낌 ㅆㅇㅆ(124.216) 22:01 20 1
2886492 회사에서 신입을 채용하지 않는 이유. [1] 프갤러(59.16) 21:56 34 0
2886491 재건축~ 재건축~ ♥냥덩이♥갤로그로 이동합니다. 21:53 11 0
2886490 비전공자 국비 부트캠프 지원하려는데 어떰? 프갤러(58.127) 21:53 17 0
2886488 몇 년 전 글 썼던 멀티모니터 발명도둑잡기갤로그로 이동합니다. 21:49 14 0
2886487 짱깨 폭동식 미리보기 ♥냥덩이♥갤로그로 이동합니다. 21:44 9 0
2886486 중국 블로그 1달 쉬었다가 라이징 스타 박탈됨 [4] ㅆㅇㅆ(124.216) 21:41 30 0
2886485 친중매국 찢재명 관세협상결과 고의로 숨겼나 충격 ♥냥덩이♥갤로그로 이동합니다. 21:41 9 0
2886484 정은경 복지부 장관 미국도 버리는 백신 530만개 구입 ♥냥덩이♥갤로그로 이동합니다. 21:39 14 0
2886483 통일교와 이재명의 관계 의문인가 의혹인가 ♥냥덩이♥갤로그로 이동합니다. 21:37 12 0
2886481 러스트가 근데 출시 이후 아직까지 사용처가 적어 프갤러(125.179) 21:30 19 0
2886480 학벌차이 프갤러(121.139) 21:30 24 0
2886478 제 2의 한국전쟁 초읽기 [1] ♥냥덩이♥갤로그로 이동합니다. 21:26 19 0
2886476 친중매국 찢재명의 처참한 말로 ♥냥덩이♥갤로그로 이동합니다. 21:24 12 0
2886474 틀딱이나 이런게 아니라 진짜 선배라면 좀 유명 도서나 ㅆㅇㅆ(124.216) 21:21 14 0
2886473 요즘 내 휴대폰 웹에 IT노조인가 개틀딱 사이버 잡부 사이트 뜨더라 [6] ㅆㅇㅆ(124.216) 21:17 31 0
2886472 시니어라는 이유만으로 개뻘소리 하는걸 추앙해야됨? [3] 꼬치의달인갤로그로 이동합니다. 21:10 27 0
2886471 저장용☘+ ♥냥덩이♥갤로그로 이동합니다. 21:02 21 0
2886470 저녁 발명도둑잡기갤로그로 이동합니다. 20:56 12 0
2886469 코드를 잘 짜고싶어도 잘짜여진 코드를보고배워야지 [7] 밀우갤로그로 이동합니다. 20:54 41 0
2886468 레거시 틀딱 코드 만져야할때나 클린 코드 안하는거지 ㅆㅇㅆ(124.216) 20:54 17 0
2886467 요즘 좇소가 원하는스펙이 몇년만에 거의 대기업들스펙이누ㅋㅋㅋ 뒷통수한방(1.213) 20:54 18 0
2886466 클린코드를 지켜야 SEO에 조금이라도 노출되지 ㅆㅇㅆ(124.216) 20:52 21 0
2886465 클린코드라는게 뭐임? [1] ㅇㅇ갤로그로 이동합니다. 20:48 25 0
2886464 클린코드좀해줘 [1] 밀우갤로그로 이동합니다. 20:44 20 0
2886463 클린코드 타령만 안했으면 ㅆㅇㅆ 조금 고평가 했을수도 있었음. ㅇㅇ(121.186) 20:42 24 0
2886462 ■요즘 컴공(지잡)나와서 전공 못살려도 이상한거아니지? ㅇㅇ갤로그로 이동합니다. 20:30 13 0
2886461 극좌배급견 왜하세요? ♥냥덩이♥갤로그로 이동합니다. 20:29 20 1
2886459 냥덩이의 소중한 칭구가 되어주세양❤ ♥냥덩이♥갤로그로 이동합니다. 20:20 18 0
2886458 러스트 700시간 해봤는데 [2] 프갤러(218.153) 20:15 35 0
2886457 한국 애들은 돈번다는 이야기도보면 어떤 지표나 가치를 분석하는게 아님 ㅆㅇㅆ(124.216) 20:13 24 0
2886454 나는 웹한다는 애들이 클린코드 안한다는거보면 좀 저능아 같은게 뭐냐면 ㅆㅇㅆ(124.216) 19:56 36 0
2886453 잘릴거같다 [1] 프갤러(1.242) 19:56 25 0
2886452 여중생이랑 같이 목욕할수 있지 ㅇㅅㅇ [1] 류류(118.235) 19:50 35 1
2886451 클린 코딩이라는게 그냥 구글 권장이라 걍 할 수밖에 없어 ㅆㅇㅆ(124.216) 19:49 23 0
2886450 여학생 폭행,성희롱 상습 음주운전 범죄자가 교육부 장관인 나라가 있다? ♥냥덩이♥갤로그로 이동합니다. 19:48 19 0
뉴스 [이웃집 백만장자] 서장훈, 故 이건희 저택 방문! "이게 다 한사람 소유라고?" 초대형 스케일에 충격·경악! 디시트렌드 14:00
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2