• 정보처리학회논문지D
• /
• 제11D권4호
• /
• pp.855-864
• /
• 2004

정형적 명세를 이용하면 원시코드의 복잡함에 방해받지 않고 필요한 구현 정보를 테스트 프로그래머가 얻을 수 있다. 특히 웹 기반 소프트웨어는 정형적 명세로 시스템에 대한 외부 입력과 반응을 잘 나타낼 수가 있다. 이 논문에서는 정형적 명세를 이용하여 테스트 데이터를 추출하는 방법을 제안한다. 복잡하고 구성요소가 다양한 웹 어플리케이션의 기능을 Object-Z 정형 명세언어를 이용하여 핵심적으로 나타낸다. 정형 명세에서부터 상태모델을 구성하고 최상위 레벨의 STD에서 세부적으로 STD를 추가하여 테스트 시나리오를 추출하였다. 실험 대상은 보안과 정확성을 요하는 웹 뱅킹 시스템으로 정하고 계좌이체 과정의 테스트 데이터를 추출하였다. 제안한 방법은 사용기반 테스트 기법과 결합하여 웹 소프트웨어의 테스트 자동화에 중요한 요소가 될 것이다.

• 한국멀티미디어학회논문지
• /
• 제10권10호
• /
• pp.1260-1270
• /
• 2007

테스트 기술자들에게 아날로그 회로(또는 혼합신호 회로)의 테스트와 진단은 여전히 어려운 문제여서 이를 해결할 수 있는 효과적인 테스트 방법이 크게 요구된다. 본 논문에서는 time slot specification(TSS) 기반의 내장 전류감지기(Built-in Current Sensor)를 이용한 새로운 아날로그 회로의 테스트 기법을 제안한다. 또한 TSS에 기반 하여 고장 위치를 찾아내고 고장의 종류를 구별해 내는 방법을 제시한다. TSS 기법과 함께 제안하는 내장 전류감지기는 높은 고장 용이도와 높은 고장 검출을 그리고 아날로그 회로내 강고장과 약고장에 대한 높은 진단율을 갖는다. 제안하는 방법에서는 주출력과 전원단자등을 테스트 포인트로 사용하고 전류감지기를 자동 테스트 장치(Automatic Test Equipment)에 구성하므로써 테스트 포인트 선택과정의 복잡도를 줄일 수 있다. 내장 전류 감지기의 디지털 출력은 아날로그 IC 테스트를 위한 내장 디지털 테스트 모듈과 쉽게 연결된다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2006년도 하계종합학술대회
• /
• pp.633-634
• /
• 2006

A new specification-based analog and mixed-signal test technique using high performance current sensors is proposed. The proposed technique using current sensors built in external ATE has little hardware overhead in circuit under test and high testability without time consuming operation of test point placement algorithm.

• 한국포장학회지
• /
• 제4권2호
• /
• pp.39-44
• /
• 1998

We used recording device(EDR-3) to monitor the packages and the vehicle during shipment. Provided we did this enough times, we began to gain statistically valid information which could be used to describe the particular channel of distribution. The event was obviously changed from trip to trip, but in general we could have an idea of what to expect. Considerable amount of time and money were invested to record field data. Although not ideal, it was the best suited approach to gain information regarding a specific distribution channel. Based on the recorded field data, we could make our own packaging vibration testing specification through MIL-STD-810D(Guidance for development of laboratory dynamic test specification). This test specification was proved several times through field tests. As a result, we gained confidence in this revised vibration specification and come to know the development procedures of a laboratory dynamic test specification.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2005년도 추계종합학술대회
• /
• pp.901-904
• /
• 2005

Testing of mixed-signal circuit has become a difficult task for test engineers and efficient test solution to these problems are needed. In this paper a new specification-based mixed-signal test method called TSS(Time Slot Specification) using high performance current sensors and a novel test point selection technique without heavy computational overhead are proposed. External output and power nodes are used for test points and accessed by the current sensors in the ATE.

• 정보보호학회논문지
• /
• 제20권2호
• /
• pp.23-32
• /
• 2010

IEEE 802.16e 표준을 기반으로 하는 와이브로(WiBro) 서비스는 순수 국내 기술로 개발된 초고속 무선 휴대인터넷 기술이다. 본 논문에서는 와이브로 초기인증 단계에서 생길 수 있는 보안취약점을 분석하고 그러한 보안위협을 대상으로 한 공격을 탐지할 수 있는 명세기반의 침입탐지시스템을 제안한다. 제안된 침입탐지시스템은 PKMv2 EAP-AKA 기반의 정상적인 초기 인증 동작방식을 명세화하여 상태전이머신으로 모델링한 후 명세에 기반한 침입탐지를 실시한다. 본 논문에서는 초기인증 과정에서 발생 가능한 다섯 가지의 공격들을 시나리오로 모델링하고, 시나리오 기반의 실험을 실시하여 제안된 침입탐지시스템의 탐지성능을 검증한다.

• 대한임베디드공학회논문지
• /
• 제4권1호
• /
• pp.23-28
• /
• 2009

Testing of analog(and mixed-signal) circuits has been a difficult task for test engineers and effective test techniques to solve these problems are required. This paper develops a new technique which increases fault detection and diagnosis rates for analog circuits by using extended MTSS (Modified Time Slot Specification) technique based on MTSS proposed by the author. High performance current sensors with digital outputs are used as core components for these techniques. A fault diagnosis structure with minimal hardware overhead in ATE is also described.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2008년도 춘계 학술발표회 초청강연 및 논문집
• /
• pp.377-384
• /
• 2008

In the bi-directional pile load test (BD PLT) for pile load test of Mega foundation, loading capacity specification were not specified exactly. Therefore there are so many confusions and variations of maximum 2 times in loading capacity are come out. In this study, specifications of bi-directional pile load test (BD PLT) were considered. Based on cases of the bi-directional pile load test performed in domestic areas, maximum equivalent test load, test load increasing ratio and sufficiency ratio of design load were analyzed. It can be known that the loading capacity specification of bi-directional pile load test must be defined as 1-directional test load that is established as more than 2 times of design load.

• 한국컴퓨터정보학회논문지
• /
• 제27권5호
• /
• pp.101-107
• /
• 2022

모델링 및 시뮬레이션은 목표 시스템의 동작 검증, 성능 분석, 운용 최적화, 예측을 위해 사용되는 기술이다. 이 기술의 대표적인 이산사건 시스템 명세(DEVS)는 모델들을 엄격한 형식론으로 정의하고 모델 간의 구조를 계층화한다. 이 DEVS 모델들의 원자 모델은 목표와 다른 의도로 동작하게 될 경우 시뮬레이션은 잘못된 의사결정으로 이어질 수 있다. 그럼에도 대부분 DEVS 시스템은 모델 테스트의 부재 또는 수동 테스트 환경으로 제공하여 개발자가 모델을 검증하는 데 오랜 시간이 소비된다. 본 논문에서는 파이썬 기반 DEVS에서 정확하고 빠른 원자 모델의 검증을 위해 스크립트 기반 테스트 시스템을 제안한다. 제안 테스트 시스템은 기존 방식인 수동 테스트와 새로운 방식인 스크립트 기반 테스트를 둘 다 사용한다. 우리 시스템의 실험 결과, 제안 테스트 방식은 스크립트를 10번 연속 실행 시 24ms 이내에 실행되었다. 그리하여 제안 시스템은 스크립트 기반 테스트를 사용해서 빠른 원자 모델 검증 시간을 보장하고, 테스트 스크립트의 재사용성을 향상한다.

• 한국컴퓨터정보학회논문지
• /
• 제22권4호
• /
• pp.51-58
• /
• 2017

Research on the Development of EPUB SCP(Secure Content Protection) Technical Specification and International Standardization has been carried out as a R&D project granted by the Korea Copyright Commission since 2014. The research aims to build a standard framework for the EPUB DRM(Digital Rights Management) based on the Readium LCP(Licensed Content Protection) and KS EPUB DRM specifications, to develop element technologies for the framework, and to standardize it as an IDPF(International Digital Publishing Forum) industrial standard. One of the essential features of the EPUB DRM developed though this study is to support the lending model of the digital library. This paper introduces LSD(License Status Document) specification which is a DRM license management protocol for the digital library lending process, and also represents a model which can automatically test the implemented entities of the LSD specification, test scenarios and test materials.