• 디지털산업정보학회논문지
• /
• 제6권2호
• /
• pp.183-191
• /
• 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 mixture 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.

• 정보처리학회논문지D
• /
• 제15D권6호
• /
• pp.785-792
• /
• 2008

임베디드 소프트웨어의 테스팅에 대한 다양한 기술 발전에도 불구하고 로봇, 위성 등의 응용 시스템에서는 여전히 빈번한 결함이 발생하고 있다. 이러한 결함의 근본적인 원인은 호스트 상의 테스트 과정에서 발견되지 못한 결함이 타겟 시스템으로 탑재되는 소프트웨어와 함께 내장되기 때문이다. 따라서 이러한 결함으로 인하여 발생할 수 있는 문제를 예방하기 위해서는 타겟 시스템이 동작하는 실 운영 환경에서 소프트웨어의 동작을 테스트하는 접근 방법이 필요하다. 본 연구에서는 Aspect 컴포넌트를 통해 임베디드 소프트웨어의 실행 시점에 기능 및 성능 요소들을 테스트하는 On-The-Fly 테스팅 방법을 제안하였다. 제안한 방법은 호스트상의 테스팅에서 예측하지 못했던 입력 조건에 대한 실제적인 테스트가 가능하며 시스템의 실 운영 과정에서 발생할 수 있는 오동작을 예방하는 기능과 테스트 코드에 대한 높은 재사용성을 제공하는 장점이 있다.

• 품질경영학회지
• /
• 제26권3호
• /
• pp.141-149
• /
• 1998

It is of great practical interest to decide when to stop testing a software system in the development phase and transfer it to the user. This decision problemcalled an optimal software release one is discussed to specify the a, pp.opriate release time. In almost all studies, the software reliability models used are nonphomogenous Poisson process(NHPP) model with bounded mean value function. HNPP models with unbounded mean value function are more suitable in practice because of the possibility of introducing new faults when correcting or modifying the software. We discuss optimal software release policies which minimize a total average software cost under the constraint of satisfying a software reliability requirement. A numerical example illustrates the results.

• 품질경영학회지
• /
• 제34권3호
• /
• pp.73-78
• /
• 2006

In this paper, we propose a software reliability growth model based on the testing domain in the software system, which is isolated by the executed test cases in software testing. In particular, our model assumes an imperfect debugging environment in which new faults are introduced in the fault-correction process, and is formulated as a nonhomogeneous Poisson process(NHPP). Further, it is applied to fault-detection data, the results of software reliability assessment are shown, and comparison of goodness-of-fit with the existing software reliability growth model is performed.

• 품질경영학회지
• /
• 제36권1호
• /
• pp.89-95
• /
• 2008

In this paper, we propose a software reliability growth model based on the superposition cause in the software system, which is isolated by the executed test cases in software testing. In particular, our model assumes an imperfect debugging environment in which new faults are introduced in the fault-correction process, and is formulated as a nonhomogeneous Poisson process(NHPP). Further, it is applied to fault-detection data, the results of software reliability assessment are shown, and comparison of goodness-of-fit with the existing software reliability growth model is performed.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2003년도 동계학술대회
• /
• pp.141-145
• /
• 2003

We propose the model of Software Rejuvenation methodology, which is applicable for survivability. Software rejuvenation is a proactive fault management technique and being used in fault tolerant systems as a cost effective technique for dealing with software faults. Survivability focuses on delivery of essential services and preservation of essential assets, even systems are penetrated and compromised. Thus, our objective is to detect the intrusions in a real time and survive in face of such attacks. As we deterrent against an attack in a system level, the Intrusion tolerance could be maximized at the target environment. We address the optimal time to execute ad hoc software rejuvenation and we compute it by using the semi Markov process. This is one way that could be really frustrated and deterred the attacks, as the attacker can't make their progress. This Software Rejuvenation method can be very effective under the assumption of unknown attacks. In this paper, we compute the optimum time to perform an ad hoc Software Rejuvenation through intrusions.

• 통합자연과학논문집
• /
• 제7권3호
• /
• pp.193-199
• /
• 2014

As the requirement on the quality of the system has increased, the reliability is very important part in terms of enhance stability and to provide high quality services to customers. Many statistical models have been developed in the past years for the estimation of software reliability. We consider the functions for NHPP software reliability model and time series model in software failure data. We estimate parameters for the proposed models from three data sets. The values of SSE and MSE is presented from three data sets. We compare the predicted number of faults with the actual three data sets using the NHPP software reliability model and time series model.

• Journal of applied mathematics & informatics
• /
• 제30권3_4호
• /
• pp.489-498
• /
• 2012

Most of the software reliability models are based on black box approach and these models consider the entire software system as a single unit. Present day software development process has changed a lot. In present scenario these models may not give better results. To overcome this problem an improved additive model has been proposed in this paper, to estimate the reliability of software with modular structure. Also the concept of imperfect debugging has been also considered. A maximum likelihood estimation technique has been used for estimating the model parameters. Comparison has been made with an existing model. ${\chi}^2$ goodness of fit has been used for model fitting. The proposed model has been validated using real data.

• 인터넷정보학회논문지
• /
• 제16권5호
• /
• pp.75-86
• /
• 2015

최근 주목 받고 있는 정보기술분야 중 하나인 IoT(Internet of Things) 환경은 센서와 액츄에이터로 구성된 다양한 디바이스들이 네트워크에 연결되어 정보를 수집 및 공유하면서 상호작용이 가능한 컴퓨팅 환경이다. 하드웨어, 네트워크 기술의 발전으로 인한 IoT 디바이스의 보편화와 IoT 서비스에 대한 사회적인 요구의 증가에 따라, IoT 애플리케이션의 사용성이 증대될 것으로 기대하고 있다. 그러나 IoT 환경에서는 전통적인 소프트웨어 연구에서 다루어지지 않았던 다양한 종류의 결함이 발생할 수 있어, 신뢰성 있는 IoT 애플리케이션을 개발하는 데에 어려움이 있다. 이러한 문제를 해결하기 위하여, 본 논문에서는 IoT 결함을 분류하고, 분류된 결함들의 원인과 증상을 분석한다. 그리고 분석 결과를 기반으로 서비스 실행 시에 발생 할 수 있는 결함을 관리하기 위한 프로세스와 그 프로세스 안에서 수행되는 기법을 제안한다. 본 연구에서 제안하는 프로세스와 관리 기법을 활용하여 결함 관리가 필요한 IoT 애플리케이션의 개발 비용을 줄일 수 있다.

• 한국통신학회논문지
• /
• 제33권1B호
• /
• pp.38-47
• /
• 2008

다양한 소프트웨어 기능들에 대해서 활발한 시장의 요구사항에 부응하기 위해서는 주어진 납기에 시스템시험을 마쳐야 한다. 특히, 사용자나 개발목표 시스템의 주요 핵심기능과 밀접한 주요 고장들은 시스템시험에서 반드시 검출, 제거되어야 한다. 대부분 제안되고 있는 시스템시험 방법은 효율적이고 가격 경쟁력을 갖춘 선택적인 시험 방법이 아닌 일상적인 방법이다. 이러한 방법들은 시스템 개발 초기나 단기간(short-term)의 효과적인 시험에 응용할 수 없으며, 새로운 기능의 추가에 따른 시험 준비에 많은 비용이 수반되므로 효과적인 시험이 되지 못한다. 이러한 문제를 극복하기 위한 새로운 시험방법으로 시험수행의 핵심적인 역할을 수행하는 선택적인 소프트웨어 시험이 필요하다. 선택적인 시험방법은 3가지 정보를 조합하여 시험항목 순위를 결정하는데 즉, 사용빈도, 시나리오 복잡도, 고장강도 등이다. 이 정보를 사용하여 시험을 수행함으로써 시스템의 치명적인 고장을 찾는데 활용함으로써 보다 효율적인 시스템 시험을 수행할 수 있다. 본 논문에서는 주요기능과 관련된 심각한 오류와 시스템의 치명적인 결함을 찾는 선택적인 소프트웨어 시험 방법에 대해 제안된 방법을 적용, 그 결과를 검증한다.