• Communications for Statistical Applications and Methods
• /
• 제17권6호
• /
• pp.891-898
• /
• 2010

소프트웨어는 독립적으로 개발된 모듈들을 통합하는 개발과정을 거치며, 통합된 소프트웨어는 가용도, 소프트웨어에 내재된 결함의 제거 수 및 주어진 업무(task)들의 처리능력에 의하여 성능이 평가된다. 본 연구에서는 Lee와 Park (2003)의 마코프 불완전 수리모형을 기반으로 모듈들로 구성된 소프트웨어의 업무처리 능력을 평가할 수 있는 업무의 완전처리확률(completion probability)을 유도하며, 이와함께 개발된 소프트웨어가 출하되는 최적의 시점을 결정하는 방안을 제시하고자 한다.

• 한국정보통신학회논문지
• /
• 제11권12호
• /
• pp.2311-2318
• /
• 2007

유한고장수를 가진 비동질적인 포아송 과정에 기초한 모형들에서 잔존 오류 1개당 고장 발생률은 일반적으로 상수, 혹은 단조증가 및 단조 감소 추세를 가지고 있다. 소프트웨어 제품의 정확한 인도시기를 예측하거나 효용성 및 신뢰성을 예측하기 위해서는 소프트웨어 테스팅 과정에서 중요한 요소인 테스트 커버리지를 이용하면 보다 효율적인 테스팅 작업을 할 수 있다. 이런 모형을 ENHPP모형이라고 한다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 지수 커버리지 모형과 S-커버리지 모형을 재조명하고 이 분야에 적용될 수 있는 Kappa 분포를 이용한 모형인 Kappa 커버리지 모형을 제안하였다. 고장 간격시간으로 구성된 자료를 이용한 모수추정 방법은 최우추정법과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하고 효율적인 모형 선택은 편차자승합(SSE) 및 콜모고로프 거리를 적용하여 모형들에 대한 효율적인 모형 선택도 시도 하였다. 수치적인 예에서는 실제 고장자료를 통하여 분석하였다 이 자료들에서 기존의 모형과 Kappa 커버리지 모형의 비교를 위하여 산술적 및 라플라스 검정, 편의 검정 등을 이용하였다.

• 한국정보전자통신기술학회논문지
• /
• 제9권4호
• /
• pp.351-358
• /
• 2016

과학기술이 급속하게 발전함에 따라 더 강력한 소프트웨어 기능의 급속한 발전과 함께 소프트웨어의 복잡성이 크게 증가함으로써 소프트웨어 테스트 및 신뢰성 평가의 어려움이 증가하고 있다. 소프트웨어 고장분석을 위한 비동질적인 포아송 과정에서 결함당 고장발생률이 상수이거나, 단조 증가 또는, 단조 감소하는 패턴을 가질 수 있다. 본 논문에서는 결함의 기대값을 가정하는 유한고장 소프트웨어 NHPP 모형과 수리시점에서도 고장이 발생할 상황을 반영하는 무한고장 NHPP 모형들을 상호 비교 제시하였다. 소프트웨어 신뢰성 분야에서 많이 사용되는 어랑분포에 근거한 유한고장과 무한고장 소프트웨어 신뢰성 모형에 대한 신뢰도 성능을 비교 분석하였다. 그 결과 유한고장 모형이 무한고장 모형보다 효율적으로 좋게 나타났으며, 이 과정에서 모수추정법은 최우추정법을 이용하였다. 본 연구결과를 통하여 소프트웨어 개발자들에게 소프트웨어 고장현상을 파악하는데 도움을 줄 수 있을 것으로 판단된다.

• 디지털융복합연구
• /
• 제11권12호
• /
• pp.319-326
• /
• 2013

소프트웨어의 디버깅 오류의 발생 시간에 의존하는 많은 소프트웨어 신뢰성 모델이 연구되었다. 소프트웨어 오류 탐색 기법은 사전에 알지 못하지만 자동적으로 발견되는 에러를 고려한 영향요인과 사전 경험에 의하여 세밀하게 에러를 발견하기 위하여 테스팅 관리자가 설정해놓은 요인인 학습효과의 특성에 대한 문제를 비교 제시 하였다. 본 연구에서는 학습효과 비동질적인 유한고장모형 분석을 위한 모수 추정은 우도함수를 이용하였다. 소프트웨어 시장에 인도하기 위한 결정에 대하여 조건부 고장률은 중요한 변수가 되고 이러한 고장 모델은 실제 상황에서 많이 사용되고 있다. 통계적 공정 관리 (SPC)는 소프트웨어 오류의 예측을 모니터링 함으로써 소프트웨어의 신뢰성 향상에 크게 기여할 수 있다. 이러한 컨트롤 차트는 널리 소프트웨어 산업의 소프트웨어 프로세스 제어를 위해 사용된다. 본 연구에서는 로그 위험 학습 효과 속성의 비동질적인 포아송 과정의 평균값 기능을 사용한 컨트롤 메커니즘을 제안하였다.

• Smart Structures and Systems
• /
• 제12권6호
• /
• pp.661-678
• /
• 2013

In this paper, a wireless sensing system for structural field evaluation and rating of bridges is presented. The system uses a wireless platform integrated with traditional analogue sensors including strain gages and accelerometers along with the operating software. A wireless vehicle position indicator is developed using a tri-axial accelerometer node that is mounted on the test vehicle, and was used for identifying the moving truck position during load testing. The developed software is capable of calculating the theoretical bridge rating factors based on AASHTO Load and Resistance Factor Rating specifications, and automatically produces the field adjustment factor through load testing data. The sensing system along with its application in bridge deck rating was successfully demonstrated on the Evansville Bridge in West Virginia. A finite element model was conducted for the test bridge, and was used to calculate the load distribution factors of the bridge deck after verifying its results using field data. A confirmation field test was conducted on the same bridge and its results varied by only 3% from the first test. The proposed wireless sensing system proved to be a reliable tool that overcomes multiple drawbacks of conventional wired sensing platforms designed for structural load evaluation of bridges.

• 한국항행학회논문지
• /
• 제27권2호
• /
• pp.228-234
• /
• 2023

고품질 소프트웨어의 요구 증가로 국제표준, 산업 기능안전(IEC 61508), 자동차(ISO 26262), 무기체계 내장형 소프트웨어 지침 등 품질 인증 요구가 많다. 스타트 업, 벤처, 중소 업체들은 비용 및 인력 측면에서 체계적인 품질 획득이 어려움이 있다. 그들 업체에게 자동 테스트 케이스 생성은 비용, 시간, 인력 문제에도 소프트웨어 품질을 향상할 수 있는 해법으로 제시 될 수 있다. 이를 위해, 시스템 및 소프트웨어 설계 검증이 가능한 "의사 결정표" 기반 테스트 케이스 자동화를 제안한다. 이는 OMG의 표준 기법인 메타모델과 모델 변환 기법을 사용해 각각 의사 결정표(Model)와 테스트 케이스(Text)의 메타모델 설계 및 모델변환을 정의한다. 즉 의사 결정표 입력으로 테스트 케이스 발생 자동화이다. 이를 통해 MC/DC 커버리지등도 쉽게 적용 가능하다.

• International Commerce and Information Review
• /
• 제2권1호
• /
• pp.25-48
• /
• 2009

With the rapid growth of e-logistics in the global logistics industry, it is important to gain further insight into this growing segment of Chinese logistics industry. The current situation in China consists of many small and medium-sized logistics firms. Furthermore, e-logistics is still relatively undeveloped in the majority of the Chinese logistics companies and presently there are still many problems unresolved. This paper attempted to review the concepts and theoretical background of e-logistics systems from previous studies. After acknowledging the essential issues related to e-logistics systems, a research model based on the theory acceptance model was designed and tested. The key factors to the e-logistics system (reliability, maintainability, software, facility and transportation) were validated through the modeling and testing process. Included in the modelling and testing process are other related factors of e-logistics process, logistics information system and added value as dependent variables in this model. The results of this study confirm that the e-logistics Process is affected by transportation, while maintainability and software factors influence logistics information system. reliability, maintainability, facility and transportation are significant factors associated with added value. This research aimed to provide theoretical and practical contribution to Chinese logistics companies and to give some insights into e-logistics system as a whole. The paper also provided some useful theoretical implication and practical guidelines for the development of e-logistics system in the chinese logistics industry.

• 통상정보연구
• /
• 제11권2호
• /
• pp.3-26
• /
• 2009

With the rapid growth of e-logistics in the global logistics industry, it is important to gain further insight into this growing segment of Chinese logistics industry. The current situation in China consists of many small and medium-sized logistics firms. Furthermore, e-logistics is still relatively undeveloped in the majority of the Chinese logistics companies and presently there are still many problems unresolved. This paper attempted to review the concepts and theoretical background of e-logistics systems from previous studies. After acknowledging the essential issues related to e-logistics systems, a research model based on the theory acceptance model was designed and tested. The key factors to the e-logistics system (reliability, maintainability, software, facility and transportation) were validated through the modeling and testing process. Included in the modelling and testing process are other related factors of e-logistics process, logistics information system and added value as dependent variables in this model. The results of this study confirm that the e-logistics Process is affected by transportation, while maintainability and software factors influence logistics information system. reliability, maintainability, facility and transportation are significant factors associated with added value. This research aimed to provide theoretical and practical contribution to Chinese logistics companies and to give some insights into e-logistics system as a whole. The paper also provided some useful theoretical implication and practical guidelines for the development of e-logistics system in the chinese logistics industry.

• 한국시뮬레이션학회논문지
• /
• 제20권3호
• /
• pp.59-67
• /
• 2011

본 논문에서는 오류 검출을 위해 소프트웨어 오류 추정 기법을 활용하여 항공무장 시스템인 공대지 사격의 오류 요인을 분석하기 위한 모델을 제시하고 모델을 기반으로 오류 요인 영향을 분석하였다. 선행 연구에서는 공대지 무기체계의 정확도에 영향을 미치는 오류 요소를 분석하고 결함위치추정 기법인 FBEL(Factor-based Error Localization) 기법을 제안하였으며 실사격 자료에 적용하여 오류 요소를 분석하였다. 그러나 다양한 요인 중 하나의 요인인 정확도를 고정하여 적용하므로 다양한 사격 정확도 변화에 따른 사격 오류 발생 요소와의 상관관계는 밝히지 못하였다. 본 연구에서는 사격 오류 요소의 상관관계 분석을 통하여 보다 세밀한 오류 분석 모델을 제시하고 시간과 비용이 제한적이거나 테스트 케이스가 적은 상태에서 오류 발생 가능 요소를 추정하는 방법을 제안한다. 제안된 방법은 실사격 자료를 이용한 시뮬레이션을 통해 그 효용성을 입증하였으며, 무기체계 공대지 시험평가에서 어떤 요소들이 정확도에 영향을 미치는 지를 분석하는데 성공적으로 활용될 수 있음을 보였다.

• 한국컴퓨터정보학회논문지
• /
• 제14권7호
• /
• pp.1-8
• /
• 2009

본 연구에서는 소프트웨어 제품을 개발하여 테스팅을 거친 후 사용자에게 인도하는 시기를 결정하는 방출문제에 대하여 연구하였다. 따라서 최적 소프트웨어 방출 정책은 소프트웨어 요구 신뢰도를 만족시키고 소프트웨어 개발 및 유지 총비용을 최소화 시키는 정책을 수용해야 한다. 본 논문에서는 로그포아송 실행시간모형에 대하여 베이지안 모수 추정법(마코브체인 몬테칼로(MCMC) 기법 중에 하나인 깁스 샘플링과 메트로폴리스 알고리즘을 이용한 근사기법)이 사용되었다. 본 논문의 수치적인 예에서는 Musa의 T1 자료를 적용하여 최우수추정법과 베이지안 모수 추정과의 관계를 빅교하고 또한 최적 방출시기를 추정하였다.