• 정보기술응용연구
• /
• 제3권4호
• /
• pp.119-134
• /
• 2001

소프트웨어 제품의 품질을 높이는데는 소프트웨어 개발프로세스 중심과 제품 중심의 2가지 접근방법이 있다 CMM, ISO 9000 패밀리나 ISO/IEC 12207, SPICE 등이 프로세스의 인증을 통해서 소프트웨어 품질을 향상시키려는 시도라고 할 수 있다. 그렇지만 ‘좋은’ 프로세스만으로는 ‘좋은’ 제품의 품질을 보장하기가 어렵다. 최근 독립적인 제3자에 의한 소프트웨어 제품의 품질을 평가하기 위한 필요가 점점 증가하고 있다. 본 연구에서는 소프트웨어 제품의 품질을 평가하는데 SQC 기법을 응용하여 평가프로세스의 효율을 기하고 평가결과의 객관성을 확보하는 방안을 다룬다. 랜덤추출법에 의한 테스트 케이스를 선정하는 방법을 소개하고 소프트웨어 제품의 품질에 대한 적합성 기준을 선정하는 방안을 제시한다.

• Communications for Statistical Applications and Methods
• /
• 제18권5호
• /
• pp.667-674
• /
• 2011

A recent trend in software reliability engineering accounts for the coverage growth behavior during testing. The coverage growth function (representing the coverage growth behavior) has become an essential component of software reliability models. Application of a coverage growth function requires the estimation of the coverage growth function. This paper considers the problem of estimating the coverage growth function. The existing maximum likelihood method is reviewed and corrected. A method of minimizing the sum of squares of the standardized prediction error is proposed for situations where the maximum likelihood method is not applicable.

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

A trend in software reliability engineering is to take into account the coverage growth behavior during testing. A coverage growth function that represents the coverage growth behavior is an essential factor in software reliability models. When multiple competitive coverage growth functions are available, there is a need for a criterion to select the best coverage growth functions. This paper proposes a selection criterion based on the prediction error. The conditional coverage growth function is introduced for predicting future coverage growth. Then the sum of the squares of the prediction error is defined and used for selecting the best coverage growth function.

• 한국통신학회논문지
• /
• 제12권2호
• /
• pp.102-114
• /
• 1987

本 論文에서는 ISDN 遠隔 加入者와 交換局間의 返送裝置 開發에 따른 基本硏究로써 11個의 ISDN 基本接燭(2B+D)을 多重化시켜 64Kbps 또는 128Kbps에 該當하는 情報量으로 多重化한 후 다시 22個의 B채널과 함께 多重化하여 기존의 T1返送裝置를 통해 傳送시킴으로써 ISDN과 접속하는 方案을 提案하고, 이에 따른 統計的 多重化器(SMUX; Statistical Multiplexer)의 하드웨어 및 소프트웨어 實現에 對해 硏究하였다. 또한 開發된 統計的 多重化器에 對한 性能 試驗結果를 提示하였으며, 이의 改善方向에 對해 檢討하였다.

• International Journal of Quality Innovation
• /
• 제1권1호
• /
• pp.97-105
• /
• 2000

In this paper, a two-section method for measuring is introduced and the variation sources of measurement process are analysed. Measuring is a special process in general process. Various variation source must be firstly decomposed so that the statistical distribution law of measuring process can be established, and then implement monitoring control of the measuring process. A special method to obtain the measuring variation is discussed, and a monitoring control technique for measuring process is studied based statistical distribution. Towards the end, we briefly introduce software design for the analysis and control of a measurement process.

• Communications for Statistical Applications and Methods
• /
• 제14권3호
• /
• pp.497-506
• /
• 2007

Coverage-based NHPP SRGMs have been introduced in order to incorporate the coverage growth behavior into the NHPP SRGMs. The coverage growth function representing the coverage growth behavior during testing is thus an essential factor of the coverage-based NHPP SRGMs. This paper proposes a class of discrete time coverage growth functions and illustrates its application to real data sets.

• 한국통계학회:학술대회논문집
• /
• 한국통계학회 2003년도 춘계 학술발표회 논문집
• /
• pp.137-142
• /
• 2003

We discuss why sample design by mathematical programming can be beneficial to practical surveys. We illustrate some developments of software for sample design using mathematical programming in several statistical organizations. Also, we present certain restrictions on the use of mathematical programming.

• 한국IT서비스학회지
• /
• 제8권4호
• /
• pp.129-140
• /
• 2009

The accurate estimation of software reliability is important to a successful development in software engineering. Until recent days, the models using regression analysis based on statistical algorithm and machine learning method have been used. However, this paper estimates the software reliability using support vector regression, a sort of machine learning technique. Also, it finds the best set of optimized parameters applying immune algorithm, changing the number of generations, memory cells, and allele. The proposed IA-SVR model outperforms some recent results reported in the literature.

• Journal of the Korean Statistical Society
• /
• 제36권1호
• /
• pp.31-55
• /
• 2007

R is an open source language for statistical computing and graphics based on the ACM software award-winning S language. R is widely used for data analysis and has become a major vehicle for making available new statistical methodology. This paper presents an overview of the design philosophy and the development model for R, reviews the basic capabilities of the system, and outlines some current projects that will influence future developments of R.

• Nuclear Engineering and Technology
• /
• 제46권1호
• /
• pp.55-62
• /
• 2014

A method for estimating software reliability for nuclear safety software is proposed in this paper. This method is based on the software reliability growth model (SRGM), where the behavior of software failure is assumed to follow a non-homogeneous Poisson process. Two types of modeling schemes based on a particular underlying method are proposed in order to more precisely estimate and predict the number of software defects based on very rare software failure data. The Bayesian statistical inference is employed to estimate the model parameters by incorporating software test cases as a covariate into the model. It was identified that these models are capable of reasonably estimating the remaining number of software defects which directly affects the reactor trip functions. The software reliability might be estimated from these modeling equations, and one approach of obtaining software reliability value is proposed in this paper.