• 제목/요약/키워드: 신뢰 전이

검색결과 1,399건 처리시간 0.024초

주문형 소프트웨어의 운영단계 신뢰도에 관한 연구 (A Study on the Operational Stage Reliability of Dedicated Software)

  • 최규식
    • 정보처리학회논문지D
    • /
    • 제10D권5호
    • /
    • pp.837-844
    • /
    • 2003
  • 소프트웨어를 개발하여 출시하기 전에 품질을 향상시키는 중요한 방법으로서 신뢰도를 향상시켜야 하며, 이의 직접적인 방법으로서는 테스트를 통하여 결함을 검출하고 수정해가는 것이다. 신뢰도가 목표치에 도달하면 이를 출시(release)하게 되며, 그 후로는 운영중의 신뢰도 문제가 발생하게 된다. 개발 출시된 소프트웨어가 패키지 소프트웨어라 불리는 범용 소프트웨어냐, 아니면 특수목적을 가진 전용 소프트웨어냐에 따라 운영 소프트웨어의 신뢰도 추이가 달라진다. 또한, 개발 테스트 단계의 테스트 노력이 일정하냐, 아니면 웨이불 곡선을 따르냐에 따라서도 신뢰 도 평가가 다르다. 본 논문에서는 주문형 소프트웨어에 대해서 일정 테스트 노력을 적용하는 경우와 웨이불 테스트 노력을 적용하는 경우의 운영단계 신뢰도 추이에 대해서 연구한다.

불완전 디버깅 환경을 고려한 소프트웨어 신뢰도 성장모델 (Software Reliability Growth Models considering an Imperfect Debugging environments)

  • 이재기;이규욱;김창봉;남상식
    • 한국통신학회논문지
    • /
    • 제29권6A호
    • /
    • pp.589-599
    • /
    • 2004
  • 소프트웨어의 신뢰성을 정량적으로 평가하는 데 있어서 대다수의 모델이 발생된 소프트웨어 고장의 발생원인에 대한 완전한 수정을 요구하는 완전 디버깅 환경을 가정하고 있다. 그러나 실제 개발자가 디버깅 작업을 수행할 때 완전한 수정이 불가능하기 때문에. 새로운 결함이 삽입되는 경우가 많다. 즉, 결함 수정은 불완전 환경에 처한다. 본 논문에서는 결함 수정시 신규 결함의 삽입 가능성을 고려하고 불완전 디버깅 환경에 대한 소프트웨어 신뢰도 성장모델을 제안하고 소프트웨어 동작 환경 하에서 발생된 소프트웨어 고장과 시험 전 소프트웨어 내의 고유 결함에 의한 고장과 동작 중에 랜덤하게 삽입된 결함에 의해 발생되는 고장 등 2종류의 결함을 고려하여 비동차포아송과정(NHPP)에 의한 소프트웨어 고장발생 현상을 기술한다. 또 소프트웨어 신뢰성 평가에 유용한 정량적인 척도를 도출하고 실측 데이터를 이용하여 적용한 결과를 제시하고 기존 모델과의 적합성을 비교, 분석한다.

운영중인 전용소프트웨어의 신뢰도에 관한 연구 (A Study on the Operational Reliability of Dedicated Software)

  • 문명호
    • 한국항행학회논문지
    • /
    • 제12권6호
    • /
    • pp.681-690
    • /
    • 2008
  • 소프트웨어를 개발하여 발행하기 전에 품질을 향상시키는 중요한 방법으로서 신뢰도를 향상 시켜야 하며, 이의 직접적인 방법으로서는 테스트를 통하여 결함을 검출하고 수정해가는 것이다. 신뢰도가 목표치에 도달하면 이를 발행(release)하게 되며, 그 후로는 운영중의 신뢰도 문제가 발생하게 된다. 개발 발행된 소프트웨어가 패키지 소프트웨어라 불리는 범용 소프트웨어냐, 아니면 특수목적을 가진 전용 소프트웨어냐에 따라 운영 소프트웨어의 신뢰도 추이가 달라진다. 또한, 개발 테스트 단계의 테스트 노력이 일정하냐, 아니면 웨이불 곡선을 따르냐에 따라서도 신뢰도 평가가 다르다. 본 논문에서는 주문형 소프트웨어에 대해서 일정 테스트 노력을 적용하는 경우와 웨이불 테스트 노력을 적용하는 경우의 운영단계 신뢰도 추이에 대해서 고찰 하였으며 웨이불 테스트 노력을 적용한 경우의 운영 기간 중의 신뢰도 저하가 되는 결과를 얻었다.

  • PDF

신뢰성해석에 의한 초기균열을 갖는 구조부재의 건전성 평가방법 (The Integrity Assessment Method of Initailly Cracked Structural Components by Reliability Analysis)

  • 임상전;변태욱
    • 대한조선학회논문집
    • /
    • 제30권2호
    • /
    • pp.161-176
    • /
    • 1993
  • 본 논문에서는 주어진 상황에 맞추어 적절한 수준에서 건전성평가를 수행하기 위하여, 개정된 BSI PD 6493의 3단계 평가방법에 균열성장효과를 고려한 건전성 평가방법과 균열의 안정성장을 엄밀히 고려할 수 있는 안정성 평가방법(stability assessment method:SAM)과 더불어 소성 붕괴를 평가하는 극한하중해석을 고려한 건전성 평가방법을 정식화하였다. 또한 신뢰성이론 중 2차 모멘트방법을 사용하여, center cracked panel(CCP) 시편과 관통균열을 갖는 파이프에 대하여, 신뢰성해석에 의한 건전성 평가를 수행하였다. 신뢰성해석을 수행하는데 필요한 확률변수들의 통계적 특성은 지금까지 보고된 그들 변수들의 실험자료와 통계해석의 결과들을 이용하였다. 또 기존의 신뢰성해석에서 정확한 파괴확률을 구할 수 있는 Monte Carlo 방법을 사용하여, 본 논문의 유용성을 검토하였다.

  • PDF

한국형 합동 전술데이터링크체계의 소프트웨어 신뢰성 시험수행 방안에 관한 연구 (A Study on the Weapon System Software Reliability Testing for the Joint Tactical Data Link System Project Case)

  • 송영중;이윤정;구영훈
    • 한국전자통신학회논문지
    • /
    • 제17권4호
    • /
    • pp.663-670
    • /
    • 2022
  • 본 연구는 한국형 합동 전술데이터링크 체계 사업의 사례를 통해 무기체계 소프트웨어 개발 및 관리 매뉴얼에서 규정하고 있는 무기체계 소프트웨어 신뢰성 시험이 정의되기 전에 획득한 소프트웨어 자산을 안정적으로 무기체계에 통합하는 방안을 제시한다. 이를 위하여 무기체계 소프트웨어 신뢰성 시험에 대한 개요와 한국형 합동 전술데이터링크체계 사업의 특성에 따른 신뢰성시험 적용의 문제점을 기술하고, 각 문제점에 대한 사업의 결정안과 이를 통한 기대 효과를 기술한다.

전이 확률 행렬에 의한 웹 사용 예측 모델 (A Web Usage Prediction Model by Transition Probability Matrix)

  • 김영희;김응모;정명숙;강우준
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
    • /
    • pp.31-33
    • /
    • 2004
  • 웹 사용에 대한 다음 요구 사항을 예측하기 위한 마이닝 방법으로 연관규칙이나 순차 패턴 등이 많이 사용되고 있지만, 이러한 방법들은 생성된 규칙들의 지지도(Support)나 신뢰도(Confidence)에 의한 예측만을 고려하기 때문에 정확한 예측을 하기 어려운 단점을 가지고 있다. 따라서, 본 논문에서는 빈도 수에 의한 Markov model을 기반으로 하여 웹 로그 파일에 저장된 사용자들의 행동 패턴에 따라 생성되어지는 여러 형태의 규칙 유형을 찾아내고, 사용 빈도 수를 이용한 전이 확률 행렬에 따른 다음 요구사항을 정확하게 예측할 수 있는 모델을 제시하고자 한다. 그 결과 여러 형태의 규칙 유형을 $K^{th}$ -order Markov 과정에서 효율적으로 발견해 낼 수 있다.

  • PDF

인장형 앵커와 압축형 앵커의 하중전이에 관한 연구 (Load Transfer of Tension and Compression Anchors in Weathered Soil)

  • 김낙경
    • 한국지반공학회논문집
    • /
    • 제17권3호
    • /
    • pp.59-68
    • /
    • 2001
  • 풍화토 지반에 설치된 그라운드 앵커의 하중전이 현상을 규명하기 위하여 성균관대학교 지반시험장에서 인발시험을 수행하였다. 지반과 구조물을 일체화시키는데 사용하는 앵커는 앵커체와 지반의 마찰력에 의해서 구조물을 지지하는 역할을 하며 앵커의 하중과 변형의 관계를 규명하기 위해서는 앵커의 마찰력 분포의 변화(하중전이)가 중요한 요소가 된다. 하중 재하시 앵커체에 발생하는 하중전이 분포는 앵커의 인발 지지력과 밀접한 관계가 있고 앵커체의 종류(인장형 또는 압축형), 정착장의 길이, 지반 조건 등에 따라 분포 양상이 변하기 때문에 하중전이를 이해하기 위해서는 강선과 그라우트의 하중분포 그리고 앵커 그라우트체와 지반과의 마찰력 분포를 알아야 한다. 앵커의 자유장의 강선에 작용하는 응력, 그라우트체에 작용하는 응력, 그리고 정착장 강선의 응력을 계측하여 강선과 그라우트의 정착응력 및 그라우트와 지반에서의 마찰력 분포를 구함으로써 강선-그라우트-지반의 복합적인 거동에 따른 각 하중 단계마다의 하중전이 분포를 구하였다. 또한 현장시험 결과의 신뢰성 확보를 위하여 수치해석 모델링을 통하여 해석을 수행하여 비교하였다.

  • PDF

SMV를 이용한 확장된 유한상태 기계의 정형 검증 (Formal Verification of the Extended Finite State Machine with SMV)

  • 조민택;박사천;권기현
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
    • /
    • pp.310-312
    • /
    • 2005
  • 유한상태 기계는 신뢰성이 요구되는 내장형 시스템의 제어흐름을 표현하고 검증하는데 많이 사용되는 모델이다. 하지만 자체가 가지고 있는 단순함으로 인해 복잡한 시스템을 명세하기에는 부족하다. 이러한 유한상태 기계의 단점을 극복하기 위해 다양하게 확장시킨 유한상태 기계들이 나왔지만 이렇게 확장된 유한상태 기계들에 대한 정형 의미의 부재로 인해서 요구사항중 하나인 명세를 검증하는데 어려움이 따른다. 이에 우리는 확장된 유한상태 기계의 정형 단계 의미를 정의하고, 이를 사용하여 모델에 대한 정형검증을 수행하였다. 그 결과 레이스 조건(race condition)과 애매한 전이, 순환하는 전이 등의 버그들을 모델에서 정형적으로 검출 할 수 있었다.

  • PDF

마이크로컨트롤러에 의한 SNMP기반 UPS 원격 관리시스템 개발 (A development of SNMP-based Remote Management System for UPS using Micro-Controller)

  • 심우혁;김병진;정을기;전희종
    • 전력전자학회논문지
    • /
    • 제5권3호
    • /
    • pp.261-268
    • /
    • 2000
  • 본 논문에서는 무정전 전원공급장치의 제어와 LAN 환경에서의 원격관리를 위한 통신·제어보드의 개발에 대해서 기술하였다. 개발된 통신·제어보드는 범용 마이크로컨트롤러와 이더넷 컨트롤러로 구성되었고 무정전 전원공급 장치를 제어하는 기능과 원격의 관리자와 데이터 통신 기능을 갖는다. 원격관리 방식은 TCP/IP 환경의 표준 네트워크 관리프로토콜인 SNMP(Simple Network Management Protocol)를 사용하였다. 또한 원격에서 무정전 전원공급장치의 상태를 모니터링하고 관리할 SNMP 관리 프로그램을 제작하였다. 제안된 시스템은 기존의 무정전 전원 공급장치의 원격관리 시스템에 비해 효율적이며 안정한 동작을 한다. 본 시스템의 안정성과 신뢰성을 실험을 통하여 입증하였다.

  • PDF

안벽구조물의 신뢰성 해석 (Reliability Analysis of Caisson Type Quaywall)

  • 윤길림;김동현;김홍연
    • 한국해안·해양공학회논문집
    • /
    • 제20권5호
    • /
    • pp.498-509
    • /
    • 2008
  • 본 논문에서는 안벽구조물에 대한 지지력, 전도 및 활동에 대한 파괴모드별 수준 I, II & III의 신뢰성 해석을 수행하였다. 파괴모드에 따른 적절한 설계기법을 적용하여 민감도 분석을 실시하고 케이슨식 안벽 설계시 확률변수가 신뢰지수에 미치는 영향을 분석하였다. 신뢰지수 산정결과, 최대위험시의 사례연구 I의 경우, Level II와 III 방법 모두 1.416, 사례 II의 경우, 각각 2.201과 1.880로써 Level II (FORM) 및 Level III의 시뮬레이션 방법이 잘 일치함을 확인할 수 있었다. 대체로 케이슨식 안벽은 주요 파괴모드중 지지력과 활동에 대한 파괴확률이 비교적 크고 전도에 대한 파괴확률이 가장 낮은 것으로 나타났다. 민감도 분석 결과, 신뢰지수에 가장 큰 영향을 미치는 확률변수는 활동, 전도 및 지지력 파괴모드에서 각각 마찰계수, 잔류수압 및 저항모멘트로 나타났다. 특히, 지진시 변동계수가 큰 관성력 및 동수압은 민감도 변화가 크지 않아 변동계수와 민감도에 관련된 기존의 연구와 유사한 결과를 얻었다.