• Journal of Information Technology Services
• /
• v.10 no.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.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.26 no.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.

• Journal of Korean Society for Quality Management
• /
• v.8 no.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.

• Proceedings of the KSME Conference
• /
• 2001.06a
• /
• 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
• /
• v.7 no.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
• /
• v.8 no.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.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• 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.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.23 no.3
• /
• pp.280-284
• /
• 2003

The field application of acoustic emission(AE) testing for brand-new metal pressure vessel were performed. We will introduce the test procedure for acoustic emission test such as instrument check distance between sensors, sensor location, whole system calibration, pressurization sequence, noise reduction and evaluation. The data of acoustic emission test contain many noise signal, these noise can be reduced by time filtering which based on the description of observation during AE test.

• The Korean Journal of Applied Statistics
• /
• v.9 no.2
• /
• pp.13-23
• /
• 1996

In this paper, we consider the Marshall and Olkin's bivariate exponential model under random censorship for the distribution of failure times of a system with two components. We propose a bootstrap testing procedure for independence and compare the powers of it with other tests via Monte Carlo simulation.

• Journal of the Korean Data and Information Science Society
• /
• v.9 no.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.