• 한국전자거래학회지
• /
• 제9권1호
• /
• pp.1-19
• /
• 2004

시간적 금전적 압박으로 최근의 웹 응용에서는 체계적인 시험작업이 종종 간과되곤 한다. 게다가 효과적인 웹 응용 시험 방법이 많지 않아 웹 응용에 기존의 시험 방법들을 적용하면서 개발자들은 많은 어려움을 겪고 있다. 빠르고 효과적 인 시험을 위하여 웹 페이지간의 메시지를 모델링한 UML 순차도(Sequence Diagram)로부터 웹 응용을 위한 시험사례를 추출하는 방법을 제안한다. 웹 응용을 위한 시험사례들은 UML의 순차도에서 자기 호출 메시지 (Self-Call Messages)를 포함한 메시지들로부터 추출된다. 시험사례는 시험할 대상인 메시지와 스크립트 함수, 서버 페이지와 추가적인 시험값들로 구성된다. 또한, 웹 응용 시험을 지원하기 위한 간단한 도구를 제시한다. 이 시험 도구는 웹 응용을 시험하기 위한 URL을 생성하고 이를 실행하여 그 결과를 보인다. 생성된 URL은 시험할 서버 페이지의 주소와 추가적인 시험값들로 구성된다. 이 도구는 마이크로소프트 비주얼 베이직으로 작성하였다. 회원 관리 기능을 수행하는 웹 응용개발 과제에 제안하는 시험사례 추출방법과 시험 지원 도구를 적용하였으며 그 유용성을 확인하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 학술회의 논문집 정보 및 제어부문 B
• /
• pp.924-927
• /
• 2003

In this paper, we design the memory tester chip set playing an important role in the memory tester as central parts. Memory tester has the sixteen inner instructions to control the test sequence and the address and data signals to DUT. These instructions are saved in memory with each chip such as sequence chip and address/data generator chip. Sequence chip controls the test sequence according to instructions saved in the memory. And Generator chip generates the address and data signals according to instructions saved in the memory, too.

• Food Science and Biotechnology
• /
• 제17권5호
• /
• pp.1052-1059
• /
• 2008

Sequential Sensitivity Analysis (SSA) and conditional stimulus model have been developed to describe sequence effects in difference tests and proposed to generate prediction of differences in sensitivity between various test protocols and to assist the appropriate selection of difference test. Yet, such models did not furnish a complete explanation of the relative sensitivity in 4 different versions of 3-alternative forced choice (AFC) tests where various interstimulus rinses were introduced. In the present study, the vector of the contrasts between various conditional stimuli were measured using same-different and 2-AFC and a new 16-distribution conditional stimulus model was developed by refining Lee and O'Mahony's contrast model. This new model gave superior predictions than previous models.

• 대한전기학회논문지:전력기술부문A
• /
• 제50권6호
• /
• pp.287-292
• /
• 2001

This paper deals with the configuration, operating principles, systematic calculation method of parameter and optimization method of test circuit for parallel current injection method, series voltage injection method and hybrid synthetic test method as the method for performance test of circuit breaker with extra high interrupting capacity. The test method depicted above is applied to short-circuit making and breaking test (operating sequence :Os CdOs, Od-CdOs) and out-of-phase tests(operating sequence :Os, CdOs) for performance test of the newly-developed 420kV, 50kA and 800kV 50kV puffer-type gas circuit-breaker according to IEC 60056 and IEC 60427. The testing results, evaluation of equivalence for test and analyzed results are also presented in this paper.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2009년도 제33회 추계학술대회논문집
• /
• pp.130-133
• /
• 2009

액체 로켓 엔진의 경우 작동초기인 점화와 마지막의 소염시의 추진제 공급 순서는 안정적으로 시스템을 운영하는데 많은 영향을 끼친다. 안정적인 엔진의 작동확인을 위해 점화할 때 공급순서와 소염할 때 추진제의 공급 순서를 바꾸어 가면서 연소 실험을 수행 하였다. 본 연구에 사용된 분사기는 과산화수소와 케로신을 추진제로 사용하는 동축 스월형이며, 점화 방식은 촉매 점화를 방식을 사용하였다. 본 실험을 통해서 액체로켓엔진의 연소 시험을 안정적으로 수행하기 위해 점화와 소염할 때의 최적의 시퀀스를 찾아내었다.

• 한국정보처리학회논문지
• /
• 제4권2호
• /
• pp.552-562
• /
• 1997

본 논문은 형식 기술 기법에 의한 차세대 지능망의 INAP(Intelligent Network Application Protocol) 프로토콜 적합성 시험 계열 생성을 위해 형식 기술 기법(formal Description Tehnique)을 사용하여 프로토콜을 명세화한후 이것으로부터 최소 길이의 최소 비용을 요구 하는 시험계열 생성을 위한 최적화 기술에 의한 방법을 제안한다. 제안된 방법을 구연하고 효율성을 증명하기 위해, INAP 프로토콜 SRF(Serivece Rexource Function)의 SRSM(SRF Call State Machine)을 형식 기술 기법 중의 하나인 SDL(System Description Language)로 명세화 하여 관련 도구로 I/O FSM(Input/Output Finite Machine)을 생성 하고, 이 참조 모델에 직접 적용하여 시험 개열을 생성하였다. 이렇게 생성 시험 개혈의 길이가 기존의 UIO(Unique Input Output)방법에 의한 31%나 개선된 짧고 효율적임을 보였고 또 오류 판단 능력면에서도 훨씬 효과가 있음을 실험적으로 증명하였다.

• 한국농업기계학회:학술대회논문집
• /
• 한국농업기계학회 1993년도 Proceedings of International Conference for Agricultural Machinery and Process Engineering
• /
• pp.291-296
• /
• 1993

Taking a bledes axle of rotary tiller as a example, this paper discusses influences of four loading essential factors, which are strengthened amplitude, cycle times, loading sequence and loading frequency. in fatigue life. Determination principles of above four factors and monitoring methods of fatigue damage by local strain are dealt with. The actual field testing check of farm machinery is rapidly simulated by laboratory program fatigue test can shorten the period of development and improvement of a product. In the time of in-door simulation test, damage monitoring and four loading essential factors, which are strengthened amplitude , cycle times, loading sequence and loading frequency, have to be dealt with . If these problems are solved successfully, it is possible to accelerated test speed, reduce costs and manhours, and raise accuracy of test result. However strengthening method, loading pattern and influence of loading frequency on test result have not so far been discu sed systematically, damage monitoring is even more a difficult problem. Authors have studied above problems with the object of blades axle of rotary tiller.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1999년도 하계학술대회 논문집 C
• /
• pp.1186-1188
• /
• 1999

When we perform the test related to the power distribution system such as artificial fault test, protective coordination test, distribution automation test in short length test line, Lumped Constant Circuit, a kind of variable impedance, should be attached to the test line in order to make it equivalent to a real line in length electrically. In this paper we designed the positive sequence and zero sequence Lumped Constant Circuit with optimized inductor and resister for the modification of long, 16km, distribution line, when they are attached to the short, 4km, distribution test line.

• 산업공학
• /
• 제17권2호
• /
• pp.149-157
• /
• 2004

This paper considers a conformity testing problem on EJB(Enterprise JavaBeans). The EJB architecture is a component architecture for the development and deployment of component-based distributed business applications. The objective is to find an optimal test sequence for the conformity test between the EJB specification and an implemented one. For the test sequence, we formulate the problem as a rural Chinese postman tour one and use a linear programming formulation. Based upon the formulations, we suggest a conformance test procedure and show its efficiency by applying the procedure to the CMP(Container- Managed persistency) entity bean of the EJB.

• ETRI Journal
• /
• 제19권4호
• /
• pp.363-388
• /
• 1997

This paper describes a research result on automatic generation of abstract test cases from formal specifications by applying many related algorithms and techniques such as the testing framework, rural Chinese postman tour and unique input output sequence concepts. In addition, an efficient algorithm for verifying the strong connectivity of the reference finite state machine and the concept of unique event sequence are explained. We made use of several techniques to from an integrated framework for abstract test case generation from LOTOS and SDL specifications. A prototype of the proposed framework has been built with special attention to real protocol in order to generate the executable test cases in an automatic way. The abstract test cases in tree and tabular combined notation (TTCN) language will be applied to the TTCN compiler in order to obtain the executable test cases which re relevant to the industrial application.