• 한국IT서비스학회지
• /
• 제10권4호
• /
• pp.205-218
• /
• 2011

Unit testing which is the first task to perform software testing has a major impact on reducing s/w development cost and improving s/w quality. In order to make unit testing become the formal procedure rather than ad-hoc tasks performed by developer, the language-neutral measures are necessary in the programming which is able to specify the test cases. This paper presents a test assertion language for the language-neutral specification of the test cases. The suggested language is based on the ISO/IEC 24709-1, but it supports object oriented features and can describe test cases for unit testing. The test cases that are specified by the language can be used for generating test oracle source codes by test oracle generation tools.

• 한국소음진동공학회논문집
• /
• 제26권7호
• /
• pp.781-786
• /
• 2016

All measurements are subject to uncertainty and a measurement result is complete only when it is accompanied by a statement of the associated uncertainty. By international agreement, this uncertainty has a probabilistic basis and reflects incomplete knowledge of the quantity value. The "Guide to the Expression of Uncertainty in Measurement", commonly known as the GUM, is the definitive document on this subject. The requirements for estimation of measurement uncertainty apply to all results provided by calibration laboratories and results produced by testing laboratories under the optional circumstances. In this paper, a procedure for estimation of measurement uncertainty from vibration testing is proposed on KS F 2868:2003 as an example. Both Type A and Type B evaluation of uncertainty are considered to calculate the combined standard uncertainty and expanded uncertainty.

• 품질경영학회지
• /
• 제8권2호
• /
• pp.15-22
• /
• 1980

This paper deals with the problem of determining a minimum cost sampling inspection plan for a single destructive testing by attribute. The cost for inspection lot is constructed by following three cost factors: (1) cost of inspection, (2) cost of accepted defective, (3) cost of rejected lot Using Hald's Bayesian approach in a single non-destructive testing, procedure's for finding the minimum cost single destructive sampling inspection plan by attribute are given. Assuming the uniform distribution as a prior-distribution and using numerical analysis by computer, a minimum cost single destructive sampling inspection plan by attribute for several lot sizes, unit cost, destructive testing cost, and salvage cost is given.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2001년도 춘계학술대회논문집A
• /
• pp.483-488
• /
• 2001

Until now, the tensile properties of materials can be obtained just in accordance with conventional tensile testing methods which are described in several standards such as ASTM (American Society for Testing and Materials) standard and BS (British Standard). For some cases including on-service facility materials, however, the standard testing methods cannot be applicable due to the destructive testing procedure and specimen size requirement. Therefore, simple, non-destructive and advanced indentation technique was proposed. This test measures indentation load-depth curve during indentation and analyzes the mechanical properties related to deformation and fracture. In this paper, the research trend of non-destructive evaluation of tensile properties using AIS (advanced indentation system) and its application fields are reviewed and discussed.

• Journal of the Korean Statistical Society
• /
• 제7권1호
• /
• pp.27-43
• /
• 1978

This paper deals with the problem of obtaining a minimum cost acceptance sampling plan for destructive testing. The cost model is constructed under the assumption that the sampling procedure takes the following form; 1) lots rejected on the first sample are acreened with a non-destructive testing, 2) the screening is assumed to be imperfect, and therefore, after the screening, a second sample is taken to determine whether to accept the lot of to scrap it. The usual sampling procedures for destructive testing can be regarded as special cases of the above one. Utilizing Hald's Bayesian approach, procedures for finding the global optimal sampling plans are given. However, when the lot size is large, the global plan is very different to obtain even with the aid of an electronic computer. Therefore a method of finding suboptimal plan is suggested. An example with uniform prior is also given.

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

Based on goodness of fit new testing procedures are derived for testing exponentiality against harmonic new renewal better than used in expectation (HNRBUE). For this aging properties, a nonparametric procedure (U-statistic) is proposed. The percentiles of this test statistic are tabulated for sample sizes n=5(1)30(10)50. The Pitman asymptotic efficiency (PAE) of the test is calculated and compared with, the (PAE) of the test for new renewal better than used (NRBU) class of life distribution [see Mahmoud et al (2003)]. The power of this test is also calculated for some commonly used life distributions in reliability. The right censored data case is also studied. Finally, real examples are given to elucidate the use of the proposed test statistic in the reliability analysis.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 추계학술발표논문집(상)
• /
• pp.279-282
• /
• 2004

In this paper, we present the methodology of performance testing for web based university resource planning systems. The methodology contains an adequate procedure and workload assessment method. We execute real performance testing to the university resource system during system test stage. To verify the adequacy of the methodology, We compare the result between testing system's hardware utilization and operating system's. The result is nearly the same. Empirical experiments are also shown.

• 비파괴검사학회지
• /
• 제23권3호
• /
• pp.280-284
• /
• 2003

사용하지 않은 새 금속 압력용기에 대하여, 사용 전 음향방출시험을 수행할 때 장비점검, 탐촉자간 거리, 탐촉자 위치, 전 측정 시스템 점검, 가압방법, 잡음 제거법 및 시험 결과의 평가 등에 대한 절차를 수립하고 현장 응용시험이 수행되었다. 일반적으로 음향방출 시험은 많은 잡음을 포함하는데 시험동안 관찰결과를 기록하여 평가 시 시간 필터링함으로서 잡음을 제거할 수 있었다.

• 응용통계연구
• /
• 제9권2호
• /
• pp.13-23
• /
• 1996

본 논문에서는 임의중단된 자료가 관찰되는 경우 Marshall과 Olkin의 이변량 지수 모형의 독립성에 대한 붓스트랩 검정절차를 제안하고, 몬테칼로 모의실험을 통하여 제안된 붓스트랩 검정법과 기존의 다른 검정법들의 검정력을 비교하였다.

• Journal of the Korean Data and Information Science Society
• /
• 제9권2호
• /
• pp.263-273
• /
• 1998

In this paper, we consider some approximate testings for the reliability of the stress-strength model when the stress X and strength Y each depends linearly on some explanatory variables z and w, respectively. We construct a bootstrap procedure for testing for various values of the reliability and compare the power of the bootstrap test with the test based on Mann-Whitney type estimator by Park et.al.(1996) for small and moderate sample size.