• Journal of applied mathematics & informatics
• /
• 제37권1_2호
• /
• pp.105-121
• /
• 2019

One of the main objective of manufacturing industries is to assess the capability performance of different processes. In this paper, we use the lifetime performance index $C_L$ as a criterion to measure larger-the-better type quality characteristic for evaluating the product performance. The lifetimes of products are assumed to follow a general class of inverted exponentiated distributions. We use maximum likelihood estimator to estimate the lifetime performance index under the assumption that data are progressive type I interval censored. We also obtain asymptotic distribution of this estimator. Based on this estimator, a new hypothesis testing procedure is developed with respect to a given lower specification limit. Finally, two numerical examples are discussed in support of the proposed testing procedure.

• 정보처리학회논문지B
• /
• 제11B권7호
• /
• pp.759-768
• /
• 2004

생체인식기술을 응용한 제품이 다양해지면서 상호운용성의 문제가 제기되어 국제표준화가 진행중인 BioAPl(Biometric Application Pro-gramming Interface)를 기반으로 한 생체인식 제품의 개발이 증대되고 있다. 그러나 BioAPl를 적용하여 개발된 제품에 대한 성능 측정 및 표준규격의 적합성 여부에 대한 신뢰성 있는 평가 도구가 마련되어 있지 않은 상태이다. 본 논문은 생체인식시스템이 BioAPl 규격의 요구사항 및 기준에 얼마나 만족하여 개발하였는가를 검증하기 위한 적합성시험 방법을 연구하였다. 제안된 적합성 시험기술의 첫 번째는 BioAPl명세서가 제공하는 각 함수들을 제대로 구현하였는가에 대한 확인과 사용여부를 평가하는 것이다. 이것은 응용에서 APl(Application Provider Inter-face)함수를 호출하면 프레임워크를 통해 BSP(Biometric Service Provider)를 실행하는 것으로 이때 파라미터와 선행함수의 선택이 필요하다. 두 번째는 BioAPl의 해당 테스트케이스를 분석하여 모듈관리, 핸들기능, 검증기능에 대한 시나리오를 평가하는 것이다. 실험은 BioAPl 컨소시엄에서 제공하는 샘플프로그램과 상용 지문검증시스템의 BSP를 사용하여 제안하는 적합성 평가 방법에 대한 실험을 수행하였다. 이에 따라 BioAPl를 기반으로 한 BSP들이 요구사항에 적합하게 개발되었는지를 판단할 수 있었다.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제6권1호
• /
• pp.27-36
• /
• 2006

It is increasingly important to ensure that a given vibration test specification of a particular machinery component is appropriately established by considering its real environmental conditions. Vibration test standards for electrical components are well documented, for example in an IEC 60068 series, while standards for machinery components are rarely found except a few military standards. Thus many vibration tests are performed based on the military standards. However, a test based on these military standards often results in over-testing, and under-testing in some cases due to the different environmental conditions. Also, these standards require an appropriate tailoring that may not be easily accomplished. In this paper, various international and military standards are compared and investigated to obtain test specifications relevant for machinery components. Also appropriate tailoring methods are demonstrated through a case study.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권5호
• /
• pp.361-375
• /
• 2009

사전 제조된 컴포넌트들을 재사용하여 애플리케이션을 개발하는 컴포넌트 사용자의 관심사는 사용자의 요구사항에 따라 적절히 다른 컴포넌트들과 협동하는지 여부를 확인하는 것이다. 따라서 컴포넌트 기반 소프트웨어의 경우 개발 환경이 아닌 새로운 환경에서 소프트웨어를 구성하는 컴포넌트들이 잘 연동되는지를 테스트할 수 있는 상호운용성 테스트에 관련된 연구가 중요시되고 있다. 본 논문에서는 컴포넌트 기반 소프트웨어의 상호운용성 테스트를 위한 테스트 모델을 정의하고, 유스케이스 명세로부터 테스트 모델을 생성한 후 생성된 모델로부터 테스트 케이스를 생성하는 기법을 제안한다. 또한 테스트 모델로부터 테스트 시퀀스를 생성하는 프로시저를 구현한 도구를 소개한다.

• 정보처리학회논문지D
• /
• 제9D권4호
• /
• pp.651-658
• /
• 2002

본 논문에서는 명세를 기반으로 한 통합 테스트를 수행할 때 사용되는 시나리오 작성지원 절차를 제시하고, 시나리오 작성지원 도구를 구현하였다. 이를 위해 기본적으로 요구사항 정의테이블, 프로세스 정의테이블, 프로그램 대 테이블 상관도를 사용한다. 추가로 앞의 3가지 테이블 기능을 요구분석, 설계, 테스트 단계별로 나누어 한곳에서 신속·정확하게 체크할 수 있는 요구사항 추적테이블을 생성한다. 본 연구의 통합 테스트를 위한 시나리오 작성지원 도구의 출력물은 시나리오 작성을 위한 지침서 역할을 한다. 그 결과 검사팀의 시나리오 작성노력을 상당부분 줄일 수 있을 뿐만 아니라 요구사항의 누락을 방지하고, 해당 프로세스에 대한 테이블 정보를 알 수 있으므로 테스트할 때 잘못된 값을 입력하는 것도 방지할 수 있다.

• 응용통계연구
• /
• 제19권3호
• /
• pp.461-479
• /
• 2006

본 논문에서는 이원오차성분을 갖는 패널회귀모형에서 모형식별을 위하여 LM 검정통계량을 유도하고 검정통계량의 연산을 위하여 인공회귀방법(Double-Length Artificial Regression, DLR)을 이용한다. 모의 실험 결과, 소표본의 경 우에는 Outer-Product Gradient(OPG)에 근거한 LM 검정통계량은 유위수준이 과대기각하는 경향을 보인 반면 DLR에 근거한 LM 검정통계량은 명목유의수준을 잘 유지하고 검정력도 높게 나타났다.

• 한국도로학회논문집
• /
• 제20권4호
• /
• pp.21-26
• /
• 2018

PURPOSES : The objective of this study is to evaluate the application of soil stabilization method for soft shoulder construction in the iRoad Project of Sri Lanka. METHODS : Firstly, the quantitative analysis of soil strength improvement due to soil stabilization was done for soil samples collected from iRoad construction sites. Two types of soils were selected from iRoad Project sites and prepared for soil stabilization testing by the Road Development Authority. Secondly, the appropriate stabilizer was selected at given soil type based on test results. Two different stabilizers, ST-1 and ST-2, produced in Korea were used for estimating soil strength improvements. Finally, the optimum stabilizer content was determined for improving shoulder performance. The uniaxial compressive strength (UCS) test was conducted to evaluate the strength of stabilized soil samples in accordance with ASTM D 1633. The use of bottom ash as a stabilizer produced from power plant in Sri Lanka was also reviewed in this task. RESULTS : It is found from the UCS testing that a 3% use of soil stabilizer can improve the strength up to 2~5 times in stabilized soft shoulder soils with respect to unstabilized soils. It is also observed from UCS testing that the ST-1 shows high strength improvement in 3% of stabilizer content but the strength improvement rate with increase of stabilizer content is relatively low compared with ST-2. The ST-2 shows a low UCS value at 3% of content but the UCS values increase significantly with increase of stabilizer content. When using the ST-2 as stabilizing agent, the 5% is recommended as minimum content based on UCS testing results. Based on the testing results for bottom ash replacement, the stabilized sample with bottom ash shows the low strength value. CONCLUSIONS : This paper is intended to check the feasibility for use the soil stabilization technique for shoulder construction in Sri Lanka. The use of soil stabilizer enables to improve the durability and strength in soft shoulder materials. When applying the bottom ash as a soil stabilizer, various testings should be conducted to satisfy the specification criteria.

• ETRI Journal
• /
• 제18권4호
• /
• pp.265-286
• /
• 1997

This paper presents a new software development environment that supports an integrated methodology for covering all phases of software development and gives integrated methods with tools for ITUT (Telecommunication Standardization Section of the International Telecommunication Union) languages. The design of the environment to improve software productivity and quality is based on five main concepts: 1) formal specifications based on SDL (Specification and Description Language) and MSC (Message Sequence Charts) in the design phase, 2) verification and validation of those designs by tools, 3) automatic code generation and a safe separate compilation scheme based on CHILL (CCITT High-Level Language) to facilitate programming-in-the-many and programming-in-the-large. 4) debugging of distributed real-time concurrent CHILL programs, and 5) simulation of application software for integrated testing on the host machine based on CHILL. The application results of the environment compared with other approaches show that the productivity is increased by 19 % because of decreasing implementation and testing cost, and the quality is increased by 83 % because of the formal specifications with its static and dynamic checking facilities.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 2000년도 추계학술대회논문집 - 한국공작기계학회
• /
• pp.460-465
• /
• 2000

In this study, a durability estimation system of turning centers is developed to systematically evaluate the effects of structural specification and testing condition on the durability. All loads such as weights, inertia forces, cutting force and so on, are automatically transferred from the upper elements to the lower elements by the force flow which can be derived from the structural code of turning center. And the external loads applying to the moving and rolling elements are determined by using the equilibrium conditions of force and moment. Especially, the durability of turning center is estimated based on the lifes of moving and rolling elements under the required testing condition.

• 정보처리학회논문지D
• /
• 제19D권2호
• /
• pp.203-210
• /
• 2012

캡처 리플레이 기법은 GUI 테스팅을 위하여 흔히 사용되는 자동화 방법이다. 하지만 안드로이드 플랫폼 애플리케이션 테스팅에는 직접 이용하기 어렵다. 그 이유는 좋은 테스팅 프레임워크가 제공되고 있지만 GUI 요소들과 위젯 이벤트 처리 부분이 자동 링크되지 않기 때문이다. 캡처 리플레이 테스팅 도구가 없다면 명세서를 이용하여 테스팅 시나리오를 만들고 일일이 수동으로 GUI 요소들과 연결하여 테스팅 하여야 한다. 이 논문은 현재 사용되고 있는 안드로이드기반 GUI 자동화 테스트 기법보다 발전되고 최적화된 캡처 리플레이 방법을 제안하고 이의 효율성을 증명하기 위한 것이다. XML을 이용하여 주요 위젯기반 원소를 추출하기 위한 기술들을 정립하고 위젯기반 API 이벤트 처리 방법을 고안하였다. 제안한 방법으로 캡처 단계에 모니터링하여 클릭 이벤트가 일어나는 형태를 추적한 후 리플레이 단계에서 활성화 된 위젯을 API 이벤트와 상태를 교환하여 테스트 케이스를 생성한다.