초록

용어보기논문에서 용어와 풀이말을 자동 추출한 결과로, 시범 서비스 중입니다. AI-Helper

최근 운영시스템. 제어프로그램, 적용프로그램과 같은 여러 가지 소프트웨어 시스템이 더욱 더 복잡화 및 대형화되고 있기 때문에 신뢰도가 높은 소프트웨어 시스템을 개발하는 일이 매우 중요하며, 따라서 소프트웨어 제품 개발에 있어서 소프트웨어의 신뢰도가 핵심사항이라고 할 수 있다. 소프트웨어가 주어진 시간동안 고장이 발생하지 않을 확률 즉, 신뢰도는 소프트웨어의 테스트 과정을 계속하면서 반복해서 결함을 발견 및 수정하면 더욱 더 향상될 것이다. 그러한 검출현상을 설명해주는 소프트웨어 신뢰도 모델을 소프트웨어 신뢰도 성장모델(SRGM)이라 한다.

최근 운영시스템. 제어프로그램, 적용프로그램과 같은 여러 가지 소프트웨어 시스템이 더욱 더 복잡화 및 대형화되고 있기 때문에 신뢰도가 높은 소프트웨어 시스템을 개발하는 일이 매우 중요하며, 따라서 소프트웨어 제품 개발에 있어서 소프트웨어의 신뢰도가 핵심사항이라고 할 수 있다. 소프트웨어가 주어진 시간동안 고장이 발생하지 않을 확률 즉, 신뢰도는 소프트웨어의 테스트 과정을 계속하면서 반복해서 결함을 발견 및 수정하면 더욱 더 향상될 것이다. 그러한 검출현상을 설명해주는 소프트웨어 신뢰도 모델을 소프트웨어 신뢰도 성장모델(SRGM)이라 한다.

AI 본문요약

엑셀 다운로드 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

• 연구 주제
• 연구 방법
• 연구 결과

문제 정의

• 본 논문에서는 소프트웨어의 신뢰도가 도입된 배경을 우선 조사하고 그 신뢰도 개념에 대해서 연구한다.

가설 설정

• S/W에서 한 가지 재미있는 가설은 프로그램 내에는 언제나 오류가 존재한다는 것이다. 이 가설을 역으로 하면 고장은 특정한 데이타가 특정한 오류를 포함한 경로를 지남으로써 발생하므로 프로그램 내에 오류가 있어도 입력 데이타가 오류를 건드리지 않으면 고장이 발생하지 않는다.
• S/W에서 한 가지 재미있는 가설은 프로그램 내에는 언제나 오류가 존재한다는 것이다. 이 가설을 역으로 하면 고장은 특정한 데이타가 특정한 오류를 포함한 경로를 지남으로써 발생하므로 프로그램 내에 오류가 있어도 입력 데이타가 오류를 건드리지 않으면 고장이 발생하지 않는다. 이 오류가 있다는 가설에 의해 프로그램을 계속 수행하게 되면 언젠가는 고장을 유발시킬 수 있다는 것이 S/W 신뢰도의 근본원리이다.

제안 방법

• 와 minor e「「o「로 분류하였다. Schneidwind는 S/W의 오류를 설계상의 오류, 프로그램 작성상의 오류, 문서 취급상의 오류, 검정 과정에서 발생하는 오류 등오로 오류의 발생 시기를 기준으로 분류하였다.
• Yamada와 Osaki는 전체 평균 비용을 최소화 시키고 소프트웨어 신뢰도를 만족시키는 전체평균 비용- 신뢰도-최적 SRP를 도입하였다. 이러한 연구 결과를 참조하여 Hou, Kuo, Change 지수 곡선과 로지스틱 곡선에 적 套 하는 연구를 수행하였다.

성능/효과

• 9%가 검출 가능하다. 기능 과정 테스트에서는 79.6%, 특이치 테스트에서는 57.3%, 통합 테스트에서는 24.2%, 요구과정 테스트에서 논 52.3%가 검출 가능하다. 단, 알고리즘에서는 논리 오류가 전혀 검토되지 않았음을 보여주고 있다.
• 논리 오류 중 설계 표준과 대조하여 52.7%가 검출 가능하고 코딩 표준과 대조하여 31.5%, 설계 지침서에 의해서 86.5%, 코딩 지침서에 의해서 78.9%가 검출 가능하다. 기능 과정 테스트에서는 79.
• 그 이후 소프트웨어의 전 주기에 대한 비용개념이 도입되면서 연구는 급진전되는 단계로 접어들었다. 예로 Okumoto와 Goele 전체평균 소프트웨어 비용을 최소화시키는 비용-최적 SRP(software rel iabi I ity 아‘ocess)를 발표하였다. Yamada와 Osaki는 전체 평균 비용을 최소화 시키고 소프트웨어 신뢰도를 만족시키는 전체평균 비용- 신뢰도-최적 SRP를 도입하였다.
• 당시 4, 000 모듈, 1砰 명령에 규모로 연인원 5,000명과 막대한 비용을 투입한 0SI360, FORTRAN 시 V 컴파일러에서 약 2,000개의 오류가 발견되면서 S/W의 신뢰도에 대한 문제가 심각하게 대두되었다, 여기서 컴퓨터 S/W의 테스트 방법에 대한 연구와 현황이 연구되었는데. 크 결과표 1너에서 보는 바와 같이 테스트 단계에서 발견된 코딩 오류보다는 설계 단계에서 더 않은 오류가 첨가된다는 것이었다. 여기서, 신뢰성 있는 S/W의 개발은 코딩 단계보다는 설계 단계에서 고려할 중요한 요소임이 인식되기 시작했고 오류 방지를 위한 설계-프로래밍, 다큐멘테이션의 새로운 기법과 방법론이 제시되었다.

후속연구

• 신뢰도 측정은 먼 이웃 나라에서 어유 있는 사람들이나 하는 것으로 간주되고 기본 요구사항만 만족시키는 방향으로 치닫는 것은 개발에 급급한 나머지 이용자 입장을 고려하지 못하는 처사라고 할 수 있다. 개발자의 보다 적극적인 산뢰도 개념 도입과 아울러 S/W 신뢰도를 연구하는 사람도 이론에 치우친 모델 개발보다는 좀 더 실용적인 직접개발에 적용할 수 있는 포괄적인 신뢰도 연구가 이루어져야 할 것이다.

본문요약 정보가 도움이 되었나요? 예 아니오 제출

이 논문을 인용한 문헌

더보기