• 품질경영학회지
• /
• 제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.

• International Journal of Reliability and Applications
• /
• 제8권1호
• /
• pp.53-66
• /
• 2007

This paper proposes a new non-homogeneous Poisson process software reliability growth model based on the coverage information. The new model incorporates the coverage information in the fault detection process by assuming that only the faults in the covered constructs are detectable. Since the coverage growth behavior depends on the testing strategy, the fault detection process is first modeled for the general testing strategy and then realized for the uniform testing. Finally the model for the uniform testing is empirically evaluated by applying it to real data sets.

• 대한전기학회논문지:전기물성ㆍ응용부문C
• /
• 제52권9호
• /
• pp.412-417
• /
• 2003

In this Paper, we propose a time-domain magnetic field integral equation (TD-MFIE) formulation for analyzing the transient electromagnetic response from three-dimensional (3-D) dielectric bodies. The solution method in this paper is based on the Galerkin's method that involves separate spatial and temporal testing procedures. Triangular patch basis functions are used for spatial expansion and testing functions for arbitrarily shaped 3-D dielectric structures. The time-domain unknown coefficients of the equivalent electric and magnetic currents are approximated tv a set of orthonormal basis function that is derived from the Laguerre polynomials. These basis functions are also used for the temporal testing. Numerical results computed by the proposed method are presented and compared.

• 품질경영학회지
• /
• 제30권3호
• /
• pp.186-194
• /
• 2002

In this paper we introduce formulae for estimating the failure rate of a large scaled software by using the Bayesian rule when a black-box random testing which selects an element(test case) at random with equally likely probability, is performed. A program or software can be treated as a mathematical function with a well-defined (input)domain and range. For a large scaled software, their input domains can be partitioned into multiple subdomains and exhaustive testing is not generally practical. Testing is proceeding with selecting a subdomain, and then picking a test case from within the selected subdomain. Whether or not the proportion of selecting one of the subdomains is assumed probability, we developed the formulae either case by using Bayesian rule with gamma distribution as a prior distribution.

• 비파괴검사학회지
• /
• 제3권1호
• /
• pp.5-11
• /
• 1983

The impulse response function are studied using time domain Born approximation in two cases; firstly when the material parameters of a flaw are constant, secondly when the parameters are varying with positions. From the impulse response functions, characteristics can be learned about a flaw with high symmetry.

• 대한전자공학회논문지TC
• /
• 제40권8호
• /
• pp.340-348
• /
• 2003

본 논문에서는 시간영역 결합적분식 (combined field integral equation, CFIE)을 이용하여 도체로부터 산란되는 전자파 과도응답을 무조건적으로 안정되게 해석할 수 있는 새로운 해법을 제안한다. 이 방법은 기존의 MOT (marching-on in time) 기법을 이용하지 않고, 모멘트법으로 공간 및 시간을 분리하여 시험 내적을 적용한다. 삼차원 임의 형태의 도체 구조를 해석하기 위하여 공간영역의 전개 및 시험함수로서 삼각형 벡터 함수를 사용한다. 시간 영역의 전개함수는 지수 감쇄함수를 라게르 함수에 곱하여 정의되며, 이 함수는 시간영역의 시험함수로도 사용된다. 제안된 방법에 의하여 계산되는 도체로부터의 과도응답은 진동없이 안정되었으며, 주파수 영역의 CFIE로부터 계산된 결과와 잘 일치하였다.

• 대한전기학회논문지:전기물성ㆍ응용부문C
• /
• 제53권12호
• /
• pp.626-633
• /
• 2004

In this paper, we present a time domain combined field integral equation (TD-CFIE) formulation to analyze the transient electromagnetic response from three-dimensional dielectric objects. The solution method in this paper is based on the method of moments (MoM) that involves separate spatial and temporal testing procedures. A set of the RWG (Rao, Wilton, Glisson) functions Is used for spatial expansion of the equivalent electric and magnetic current densities and a combination of RWG and its orthogonal component is used as spatial testing. We also investigate spatial testing procedures for the TD-CFIE to select the proper testing functions that are derived from the Laguerre polynomials. These basis functions are also used for temporal testing. Use of this temporal expansion function characterizing the time variable enables one to handle the time derivative terms in the integral equation and decouples the space-time continuum in an analytic fashion. Numerical results computed by the proposed formulation are presented and compared with the solutions of the frequency domain combined field integral equation (FD-CFIE).

• 품질경영학회지
• /
• 제34권4호
• /
• pp.133-138
• /
• 2006

In this paper, we propose a software reliability growth model (SRGM) based on the testing domain, which is isolated by the executed test cases. This model assumes an imperfect debugging environment in which new faults are introduced in the fault-correction process. We consider that the fault detection rate of NHPP model is changed in the proposed SRGM. We obtain the maximum likelihood estimate, and compare goodness-of-fit with another existing software reliability growth model.

• ETRI Journal
• /
• 제29권1호
• /
• pp.8-17
• /
• 2007

In this paper, we present a time domain combined field integral equation formulation (TD-CFIE) to analyze the transient electromagnetic response from dielectric objects. The solution method is based on the method of moments which involves separate spatial and temporal testing procedures. A set of the RWG functions is used for spatial expansion of the equivalent electric and magnetic current densities, and a combination of RWG and its orthogonal component is used for spatial testing. The time domain unknowns are approximated by a set of orthonormal basis functions derived from the Laguerre polynomials. These basis functions are also used for temporal testing. Use of this temporal expansion function characterizing the time variable makes it possible to handle the time derivative terms in the integral equation and decouples the space-time continuum in an analytic fashion. Numerical results computed by the proposed formulation are compared with the solutions of the frequency domain combined field integral equation.

• 비파괴검사학회지
• /
• 제32권3호
• /
• pp.296-301
• /
• 2012

This paper describes an analytic method for infrared thermography to detect surface cracks in thin plates. Traditional thermographic method uses the spatial contrast of a thermal field, which is often corrupted by noise in the experiment induced mainly by emissivity variations of target surfaces. This study developed a robust analytic approach to crack detection for thermography using the holomorphic function of a temperature field in thin plate under steady-state thermal conditions. The holomorphic function of a simple temperature field was derived for 2-D heat flow in the plate from Cauchy-Riemann conditions, and applied to define a contour integral that varies depending on the existence and strength of singularity in the domain of integration. It was found that the contour integral at each point of thermal image reduced the noise and temperature variation due to heat conduction, so that it provided a clearer image of the singularity such as cracks.