• 대한전기학회논문지:시스템및제어부문D
• /
• 제54권6호
• /
• pp.396-402
• /
• 2005

The software reliability growth model(SRGM) has been developed in order to evaluate such measures as remaining fault number, fault rate, and reliability for the developing stage software. Most of the study literatures assumed that this detecting efficiency was perfect. However the actual fault detecting is generally imperfect, and widely known to many persons. It is not easy to develop and remove the fault existing in the software because the fault finding is difficult, and the exact solving method also not easy, and new fault may be introduced depending on the tester's capability. There, the fault removing efficiency influences the software reliability growth or developing cost of software. It is a very useful measure throughout the developing stage, much helpful for the developer to evaluate the debugging efficiency, and evaluate additional workload. Hence, the study for the imperfect debugging is important in point of software reliability and cost. This paper proposes that the fault debugging is imperfect and new fault may be introduced for the developing software during the developing stage.

• 디지털산업정보학회논문지
• /
• 제9권2호
• /
• pp.1-10
• /
• 2013

In this paper, make a study decision problem called an optimal release policies after testing a software system in development phase and transfer it to the user. In the course of correcting or modifying the software, finite failure non-homogeneous Poisson process model, presented and was proposed release policies of the life distribution, half-logistic and log-logistic distributions model which used to an area of reliability because of various shape and scale parameter. In this paper, discuss optimal software release policies which minimize a total average software cost of development and maintenance under the constraint of satisfying a software reliability requirement. In a numerical example, the parameter estimation using maximum likelihood estimation of failure time data make out, and software optimal release time was estimated.

• 대한임베디드공학회논문지
• /
• 제4권4호
• /
• pp.164-173
• /
• 2009

Automotive systems have tended to be equipped with many electronic contents to satisfy safety, comport, convenience, and entertainment services over the past years. As a result, the amount of vehicle embedded software in electrical/electronic(E/E) systems is steadily increasing to manage these requirements. This leads to the traditional, document-based software development in the vehicle embedded systems being increasingly displaced by a model-based development in order to reduce software development time and cost. Due to the application of model-based development, a great evolution is being realized in the aspect of efficiency, but the development is being made without sufficient testing. So, erroneous automotive embedded software may cause serious problems such as car accidents which relate to human safety. Therefore, efficient methods for model-based test and validation are needed to improve software reliability in the stage of embedded software development. This paper presents the model-based development and test method for AUTOSAR embedded software to improve its reliability and safety, and it is demonstrated based on the case study.

• 디지털산업정보학회논문지
• /
• 제6권1호
• /
• pp.55-67
• /
• 2010

Decision problem called an optimal release policies, after testing a software system in development phase and transfer it to the user, is studied. The applied model of release time exploited infinite non-homogeneous Poisson process. This infinite non-homogeneous Poisson process is a model which reflects the possibility of introducing new faults when correcting or modifying the software. The failure life-cycle distribution used generalized gamma type distribution which has the efficient various property because of various shape and scale parameter. Thus, software release policies which minimize a total average software cost of development and maintenance under the constraint of satisfying a software reliability requirement becomes an optimal release policies. In a numerical example, after trend test applied and estimated the parameters using maximum likelihood estimation of inter-failure time data, estimated software optimal release time.

• 대한산업공학회지
• /
• 제33권4호
• /
• pp.487-493
• /
• 2007

In this paper, we deal with an optimal software-release problem of determining the time to stop testing and release the software system to the user. The optimal release time problem is considered from maintenance like the periodic distribution of service packs and the unpredictable distribution of patches after the release. Moreover, the environment of software error-detection during operation differs from the environment during testing. This paper proposes the software reliability growth model which incorporates periodic service packs, unpredictable patches and operational environment. Based on the proposed model, we derive optimal release time to minimize total cost composed of fixing an error, testing and maintenance. Using numerical examples, optimal release time is determined and illustrated.

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

소프트웨어 개발과정에서 소프트웨어 신뢰성은 매우 중요한 이슈이다. 소프트웨어 고장분석을 위한 유한고장 비동질적인 포아송과정에서 고장발생률이 상수이거나, 단조 증가 또는 단조 감소하는 패턴을 가질 수 있다. 본 연구에서는 소프트웨어 제품 테스팅 과정에서 관측고장시간에 근거한 로그 및 지수형 결함 발생률을 고려한 소프트웨어 신뢰성 모형에 대하여 연구 하였다. 신뢰성 분야에서 많이 사용되는 Goel-Okumoto모형을 이용한 새로운 로그 및 지수형 결함 확률을 반영한 문제를 제시하였다. 수명분포는 유한고장 비동질적인 포아송과정을 이용하고 모수추정법은 최우 추정법을 이용 하였다. 따라서 본 논문에서는 로그 및 지수형 결함발생률을 고려한 소프트웨어 모형분석을 위하여 소프트웨어 고장 시간간격 자료를 적용하여 비교 분석하였다. 본 연구에서 제안된 방법은 로그 및 지수형 결함발생률을 고려한모형도 신뢰성 측면에서 효율적이기 때문에 (결정계수가 80% 이상) 이 분야에서 기존 모형의 하나의 대안으로 사용할 수 있음을 확인 할 수 있었다. 이 연구를 통하여 소프트웨어 개발자들은 다양한 수명분포를 고려함으로서 소프트웨어 고장형태에 대한 사전지식을 파악하는데 도움을 줄 수 있으리라 사료 된다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권7호
• /
• pp.500-504
• /
• 2009

전통적인 소프트웨어 공학 관점에서 소프트웨어의 비 기능적 요구사항 중 하나인 신뢰성은, 소프트웨어 개발 프로세스에서 마지막 단계인 통합 테스트 이후에 검증이 가능하다. 그러나 이것은 소프트웨어 개발에 있어서 많은 위험성과 개발 비용을 발생시킨다. 따라서 본 논문에서는 소프트웨어 개발 초기 단계에서 수학적인 분석 모델을 통해 신뢰성을 분석할 수 있는 방법을 제안한다. 소프트웨어의 신뢰성분석을 위하여 본 논문에서는 다음 두 가지를 제안한다. 첫째로, 계층형 큐잉 패트리넷을 이용하여 신뢰성 분석을 위한 소프트웨어 모델링 방법론을 제안한다. 둘째로, 완성된 계층형 큐잉 패트리넷 모델로부터 신뢰성 분석을 위한 마코프 리워드 모델(Markov Reward Model)을 유도해내는 방법에 관하여 제안한다. 본 논문의 유효성을 검증하기 위하여, 화상회의 시스템 개발사례에 적용하였다. 본 연구 결과를 통해 소프트웨어 신뢰성의 정량적인 분석이 가능하다.

• 디지털산업정보학회논문지
• /
• 제6권3호
• /
• pp.9-17
• /
• 2010

Decision problem called an optimal release policies, after testing a software system in development phase and transfer it to the user, is studied. The applied model of release time exploited infinite non-homogeneous Poisson process. This infinite non-homogeneous Poisson process is a model which reflects the possibility of introducing new faults when correcting or modifying the software. The failure life-cycle distribution used superposition which has various intensity, if the system is complicated. Thus, software release policies which minimize a total average software cost of development and maintenance under the constraint of satisfying a software reliability requirement becomes an optimal release policies. In a numerical example, after trend test applied and estimated the parameters using maximum likelihood estimation of inter-failure time data, estimated software optimal release time. Through this study, in terms of superposition model and simply model, the optimal time to using superposition model release the software developer to determine how much could count will help.

• 한국정보처리학회논문지
• /
• 제3권4호
• /
• pp.846-854
• /
• 1996

본 연구에서는 소프트웨어 위기의 주요 원인인 유지보수 문제를 해결하기 위한 방안을 제시하기 위한 것으로, 국내의 유지보수 문제점과 현황을 설문으로 기초 조 사·분석하고 면담과 문헌을 참고하여 문제점을 해결하고자 하였다. 연구의 결과로 유지보수 생명주기를 정의하고 유지 보수를 효율적으로 수행하기 위한 기본 전략을 수립하고, 수립된 기본 전략을 구현하기 위한 유지보수 지원 시스템을 개략 설계하여 유지보수 시스템의 자동화 설계를 위한 기반을 구축하였다.

• 한국통신학회논문지
• /
• 제27권10C호
• /
• pp.887-901
• /
• 2002

소프트웨어 관리 모델은 크게 소프트웨어 프로젝트 견적 모델과 소프트웨어 설계평가 모델, 소프트웨어 복잡성 모델, 소프트웨어 신뢰도 성장 모델, 소프트웨어 프로세스 개선 모델 등으로 나누어진다. 그 중에서도 개발된 소프트웨어를 정량적으로 분석하여 평가하는 모델이 소프트웨어 복잡도 모델이다. 즉, 소프트웨어를 객관적으로 관리하는데 있어서 정량적인 판단 기준이 필요하다. 그렇기 때문에 소프트웨어 복잡성 모델(software complexity model)은 소프트웨어의 복잡성에 대한 정량적인 평가에 응용할 목적으로 도입되었으며, 소프트웨어 복잡성 측정시 이 결과를 소프트웨어 관리(software management)의 기준에 이용하는데 있어서 품질이나 생산성에 대한 영향을 제공할 때 정량적이고 명확히 할 필요가 있기 때문이다. 다시 말해서 복잡한 프로그램에는 에러가 많이 포함될 가능성이 높고 또 개발비용(source cost)도 높다는 것을 경험적으로 알 수 있다. 이러한 관계가 성립되지 않는 경우에는 소프트웨어의 효과적인 관리가 곤란하다. 본 논문은 이런 관점에서 대표적인 소프트웨어 복잡성 모델에 대한 적용법에 대해 기술하고 개발중인 교환시스템의 소프트웨어에 대해 volume metrics와 process complexity metrics 방법, 제어구조 및 인터페이스 구조 방법에 대한 분석 결과와 시스템 개발을 수행하는 과정에서 발생되고 있는 문제점들에 대해 다각도로 분석을 하여 이를 유사한 시스템 연구개발 및 프로젝트 관리에 활용하고자 한다.