http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
소프트웨어 신뢰도의 평가와 예측을 위한 베이지안 알고리즘
박만곤,Park, Man-Gon,Ray 한국정보처리학회 1994 정보처리논문지 Vol.1 No.1
본 논문은 스미스의 베이지안 소프트웨어 신뢰도 성장모형을 기반으로 테스팅 단계에서의 소프트웨어 신뢰도에 대한 두가지 베이즈 추정량에 그에 대한 평가 알고 리즘을 제안하는데 목적이 있다. 그 방법으로 사전정보 클래스로서 일양사전분포보다 더 일반적인 베타사전분포 BE(a.b)를 사용하였다. 그 연구 과정으로 베이지안 추정절 차에 있어서 제곱오차결손함수와 해리스결손함수를 고려하고, 컴퓨터 시뮬레이션을 통 해서 소프트웨어 신뢰도에 대한 베이즈추정량들과 그에 따른 알고리즘을 이용하여 평 균자승오차 성능을 비교한다. 연구 결과로써 a가 크면 클수록 그리고 b가 적으면 적을 수록 해리스결손함수하의 소프트웨어 신뢰도의 베이즈추정량이 평균자승오차 성능의 관점에서는 더욱 유효하고, a 가 b보다 더 클 때 공액사전분포인 베타사전분포상의 소 프트웨어 신뢰도의 베이즈추정량이 비정보사전분포인 일양사전분포상에서 소프트웨어 신뢰도의 베이즈추정량보다는 성능이 더 좋다는 결론을 얻는다. This paper proposes two Bayes estimators and their evaluation algorithms of the software reliability at the end testing stage in the Smith's Bayesian software reliability growth model under the data prior distribution BE(a, b), which is more general than uniform distribution, as a class of prior information. We consider both a squared-error loss function and the Harris loss function in the Bayesian estimation procedures. We also compare the MSE performances of the Bayes estimators and their algorithms of software reliability using computer simulations. And we conclude that the Bayes estimator of software reliability under the Harris loss function is more efficient than other estimators in terms of the MSE performances as a is larger and b is smaller, and that the Bayes estimators using the beta prior distribution as a conjugate prior is better than the Bayes estimators under the uniform prior distribution as a noninformative prior when a>b.
소프트웨어공학 : 소프트웨어 신뢰도의 평가와 예측을 위한 베이지안 알고리즘
박만곤(Park Man Gon),(Raymond H . Dean) 한국정보처리학회 1994 정보처리학회논문지 Vol.1 No.1
본 논문은 스미스의 베이지안 소프트웨어 신뢰도 성장모형을 기반으로 테스팅 단계에서의 소프트웨어 신뢰도에 대한 두 가지 베이즈 추정량과 그에 대한 평가 알고리즘을 제안하는데 목적이 있다. 그 방법으로 사전정보 클래스로서 일양사전분포보다 더 일반적인 베타사전분포 BE(a,b)를 사용하였다. 그 연구 과정으로 베이지안 추정절차에 있어서 제곱오차결손함수와 해리스결손함수를 고려하고, 컴퓨터 시뮬레이션을 통해서 소프트웨어 신뢰도에 대한 베이즈추정량들과 그에 따른 알고리즘을 이용하여 평균자승오차 성능을 비교한다. 연구 결과로써 a가 크면 클수록 그리고 b가 적으면 적을수록 해리스결손함수하의 소프트웨어 신뢰도의 베이즈추정량이 평균자승오차 성능의 관점에서는 더욱 유효하고, a가 b보다 더 클때 공액사전분포인 베타사전분포상의 소프트웨어 신뢰도의 베이즈추정량이 비정보사전분포인 일양사전분포상에서 소프트웨어 신뢰도의 베이즈추정량보다는 성능이 더 좋다는 결론을 얻는다. This paper proposes two Bayes estimators and their evaluation algorithms of the software reliability at the end testing stage in the Smith's Bayesian software reliability growth model under the beta prior distribution BE(a,b), which is more general than uniform distribution, as a class of prior information. We consider both a squared- error loss function and the Harris loss function in the Bayesian estimation procedures. We also compare the MSE performances of the Bayes estimators and their algorithms of software reliability under the Harris loss functions is more efficient than other estimators in terms of the MSE performances as a is larger and b is smaller, and that the Bayes estimators using the beta prior distribution as a conjugate prior is better than the Bayes estimators under the uniform prior distribution as a noninformative prior when a>b.
하나의 이상구간을 기지는 테스팅 단계에서의 소프트웨어 신뢰도 성장 모형화
박만곤(Park Man Gon),정은이(Jung Eun Yi) 한국정보처리학회 1998 정보처리학회논문지 Vol.5 No.10
The production of the highly reliable software systems and theirs performance evaluation have become important interests in the software industry. The software evaluation has been mainly carried out in terms of both reliability and performance of software system. Software reliability is the probability that no software error occurs for a fixed time interval during software testing phase. These theoretical software reliability models are sometimes unsuitable for the practical testing phase in which a software error at a certain testing stage occurs by causes of the imperfect debugging, abnormal software correction, and so on. Such a certain software testing stage needs to be considered as an outlying stage. And we can assume that the software reliability does not improve by means of nuisance factor in this outlying testing stage. In this paper, we discuss Bavesian software reliability growth modeling and estimation procedure in the presence of an unidentified outlying software testing stage by the modification of Jelinski-Moranda. Also we derive the Bayes estimators of the software reliability parameters by the assumption of prior information under the squared error loss function. In addition, we evaluate the proposed software reliability growth model with an unidentified outlying stage in an exchangeable outlier model according to the values of nuisance parameter using the accuracy, bias, trend, noise, metrics as the quantitative evaluation criteria through the computer simulation.
박지환(Park Ji Hwan),박만곤(Park Man Gon) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.1
對象 情報源(sources)의 統計的인 性質을 前提로 하지 않고 適應的(adaptive)으로 데이타를 처리하는 유니버실 압축법(Universal Data Compression)에 관하여 논한다. 情報源 모델(Sources Model)로서 화상 데이타의 성질을 잘 반영하는 差分모델(Differential Model)를 사용하며, 多値算術符髮(Multiple Arithmetic Codes)에 의해 데이터를 壓縮하는 방법을 보인다. 이때, 문제가 되는 Overparameterize에 의한 符髮化 效率의 악화를 개선하기 위하여 狀態 縮約(State reduction)法을 提案한다. 또한, 화상 데이타베이스 검색에 유용한 방법으로서 각 書素(pixels)의 비트분할법(Bit Parsing)을 검토한다. 提案方法의 유용성을 컴퓨터 시뮬레이션에 의해 나타낸다.
소프트웨어 테스팅을 위한 동적 프로그램 슬라이싱 알고리즘의 효율성 비교
박순형(Park Soon Hyung),박만곤(Park Man Gon) 한국정보처리학회 1998 정보처리학회논문지 Vol.5 No.9
Software engineers generally analyze the program behavior under the test-case revealed the error, not under any generic test-case. In this paper we discuss the dynamic slice consisting of all statements that actually affect the value of a variable occurrence for a given program input. We propose an efficient algorithm to make dynamic program slices. The efficiency of this algorithm is evaluated on some developed programs. Results are shown by a marking table of execution history, Dynamic Dependence Graph, and Reduced Dynamic Dependence Graph. Consequently, the efficiency of the proposed algorithm is also presented by the comparison with algorithm that was announced previously.
다중 기준변수를 사용한 동적 프로그램 슬라이싱 알고리즘의 효율성 비교
박순형(Park Soon Hyung),박만곤(Park Man Gon) 한국정보처리학회 1999 정보처리학회논문지 Vol.6 No.9
Software engineers are used to analyse the error behavior of computer programs using test cases which are collected for the testing phase when software errors are detected. In actual software testing and debugging, it is important to adopt dynamic slicing technique which is concerned on all the statements to be affected by the variable of current inputs and to use technique of its implementation. The traditional dynamic slicing has focused on the single slicing criterion algorithm. It has been thought that it is needed to develope and implement algorithm for used multiple criteria variables program slicing, which finds every slicing criterion variable where it is used multiple criteria variables. In this paper, we propose an efficient algorithm to make dynamic program slices when it has used multiple criteria variables. The results of the implementation are presented by the marking table on execution history and the dynamic dependence graph. Also we can find that the proposed dynamic program slicing approach using multiple criteria variables is more efficient than the traditional single case algorithm on the practical testing environment.