• 한국정보처리학회논문지
• /
• 제6권12호
• /
• pp.3523-3529
• /
• 1999

본 논문에서는 메소드를 기본 단위로 하는 객체 지향 소프트웨어의 개선된 선택적 회귀 테스팅 방법을 제안한다. 테스팅 방법은 세 단계로 구성하였다. UML 표기법을 이용하여 변경 전 프로그램과 변경 후 프로그램의 객체 관계 그래프와 클래스 의존 그래프(Class Dependency Graph)를 정의한 후, 의존 그래프의 노드 비교를 통하여 변경된 노드와 변경에 의하여 영향을 받는 노드들을 찾는다. 변경 전 테스트케이스 테이블에서 변경된 노드와 변경에 의해 영향을 받는 노드들을 통과하는 테스트케이스를 선택하여 회귀 테스팅을 위한 테스트케이스 집합을 구성한다. 제안한 테스팅 방법을 사용함으로써 테스트해야할 테스트케이스 수가 줄어들고, 변경 전 프로그램의 테스트케이스를 재사용 함으로써 테스팅의 시간과 비용을 절감할 수 있다.

• Toxicological Research
• /
• 제23권2호
• /
• pp.173-177
• /
• 2007

The GLP contains specific language concerning characterization of the test, control and reference substances used in toxicity studies. This paper will describe and discuss what types of documents are required to support test/reference substance characterization under GLP system. The purpose of this article is to present an overview of data needed in the characterization package that will adequately define the substance. Most sponsors use a certificate of analysis (COA) to communicate the test sub-stance characterization status information to the contracting research organizations. The COA should provide the test $material^{\circ}{\phi}s$ characterization results, substance storage requirements, expiration dates, verification of the collection of the retention sample, archival location of the data to support the characterization and GLP compliance status of the characterization.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 하계종합학술대회 논문집(1)
• /
• pp.235-238
• /
• 2002

In this paper we describe the design and implementation of Electrical Ground Support Equipment(EGSE) for the CBS transponder testing. The main task of EGSE is to check out satellite systems, at system or subsystem level, during integration and validation phases of their life-cycle. Through a combination of hardware and software elements, EGSE supports manual, semi-automatic and fully automated testing. Automation is achieved by offering users simple, yet powerful means to write their own test application programs (test sequences) in high-level, test-oriented language and to run them in a strict real-time environment. The core of this environment is a user-configurable real-time database, containing all the information needed to calibrate acquired data, check them against predefined thresholds, automatically react to out-of-range conditions, display data using animated graphics or synoptic windows, and so on.

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

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

• 정보교육학회논문지
• /
• 제13권2호
• /
• pp.205-214
• /
• 2009

외계의 음을 묘사하거나 자연계 사물의 모양, 현상, 움직임, 상태 모습을 표현한 상징적 음성언어의 지도방법으로 사전적인 뜻풀이의 일방적인 해설을 삼가고 학습자들의 생각을 자극하고 학습자 스스로 의미를 이해할 수 있는 노래와 만화와 같은 쉽고 재미있는 활동이 요구된다. 따라서 본 연구에서는 언어 학습 활동 로봇 콘텐츠를 개발하고 학습활동 후 학업 성취도와 정의적 영역에서의 변화를 비교하여 로봇의 교육적 활용 가능성을 살펴보고자 하였다. 로봇과 컴퓨터를 활용한 흉내내는 말 학습 활동 후 소리, 모양, 움직임을 흉내내는 말의 3가지 유형의 성취도를 측정한 결과 소리와 모양을 흉내내는 말 학습에서는 유의미한 차이를 보이지 않았지만, 움직임을 흉내내는 말 학습에서는 매우 유의미한 차이를 보였다. 또한 로봇을 활용한 흉내내는 말 학습 활동은 학습자의 정의적 영역(흥미도, 이해도, 성취도)에 긍정적인 변화를 가져왔음을 알 수 있었다.

• 한국산업정보학회논문지
• /
• 제4권4호
• /
• pp.40-46
• /
• 1999

본 논문에서는 음성언어 자동 통역시스템의 일부 모듈로 구현한 한일 기계번역 시스템을 소개하였다. 이 번역시스템은 예제중심 기계번역(EBMT)에 기초를 둔 변환중심 기계번역(TDMT) 방법을 기반으로 구현하였다. 본 시스템에서는 토큰(TOKEN)이라는 새로운 번역단위를 정의하여 사용하였다. 토큰단위의 번역방법을 사용함으로써 한국어 문장의 매우 비 정형적인 점을 해결하고 번역의 질을 높일 수 있다. 본 시스템의 구문분석 단계에서는 대역어를 선정하기에 적합한 정도까지의 의존트리를 생성하는 간이파싱만을 함으로써 필요없는 노력을 경감시켰다. 대역어 사전은 한국전자통신 연구원이 수집한 음성 데이터베이스로부터 추출한 말뭉치를 사용해 구성하였다. 구현한 시스템은 여행 계획영역에서 수집된 600 발화 안의 문장을 대상으로 시험하였는데 제한된 환경에서 87%, 아무런 제약이 없는 환경에서는 71%의 성공률을 보였다.

• 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.

• 영어영문학
• /
• 제58권4호
• /
• pp.783-807
• /
• 2012

This study compares and contrasts Freud's "work of mourning" which mostly appears in his memorable essay "Mourning and Melancholia" and Derrida's theory of mourning which appears in various works such as MEMOIRES for Paul de Man, The Work of Mourning, and others. Freud maintains that the mourner begins to sever emotional ties to the lost object through a labor of memory and eventually completes the work of mourning. It is a "testing of reality" that motivates the mourner to begin to relinquish emotional attachment to the lost object. Derrida, however, challenges Freudian work of mourning by saying that true mourning lies in "respecting the Otherness of the Other." Derrida suggests that Freud's "normal work of mourning" is "unjust betrayal" of the lost object because it "kills" and "devours" the other and thereby makes it part of the self. So he proposes that work of mourning has "to fail in order to succeed": "success fails" and "failure succeeds." There is an enormous, even epistemological, chasm between Freud who states that mourning, "however painful it may be, comes to a spontaneous end" and Derrida who states that "mourning is interminable. Inconsolable. Irreconcilable." and "I mourn Therefore I am." The former is the voice of "testing of reality" and common sense whereas the latter is that of utopian ethical vision. Yet neither seems to get the upper hand and they are kind of forced to maintain an ongoing dialogue with each other, for true mourning seems to lie somewhere in between.

• 한국통신학회논문지
• /
• 제30권5B호
• /
• pp.247-252
• /
• 2005

현재 국외의 LDAP (Light-weight Directory Access Protocol) 상호운용성 시험을 위한 시험 도구가 있으나 이들은 소스가 개방 되어 있지 않아 시험 환경에 맞추기 위한 시험 항목의 수정이 어렵고, 차후 새로운 시험 항목의 추가 또한 힘든 상황이다. 그러므로 새로운 시험 도구에서는 개발 시간 단축과 시험 항목의 추가 및 변경의 용이성을 위해 객체지향 접근이 요구된다. 따라서 객체 지향 접근을 위해 객체 지향 언어인 자바를 이용해 시험도구를 구현하였다. 구현한 시험도구는 시험 항목 정보 중에서 이미 저장되어 있는 데이터에 알맞게 일부를 수정하여 시험이 가능하다. 또한 한번의 동일한 설정으로 최대 5개의 LDAP 서버를 동시에 시험 가능하다. 구현한 시험도구를 사용하여 두 대의 LDAP 서버를 대상으로 상호운용성 시험을 수행한 결과 정상적으로 동작됨을 확인하였으며, 시험 환경에 알맞도록 시험항목의 변경과 새로운 시험 항목의 추가가 용이함을 확인하여, 설계한 아키텍처의 유용성을 검증하였다.

• 전기전자학회논문지
• /
• 제14권3호
• /
• pp.210-218
• /
• 2010

TTCN-3(Testing & Test Control Notation Version 3)은 2001년 ETSI에서 표준화한 국제 표준 테스트 언어이다. TTCN-3은 프로토콜 적합성 시험에 일반적으로 사용하고, 특정 부분의 모듈이나, CORBA 기반의 플랫폼 및 API 시험 등에 적용이 가능하다. 또한 적합성 시험뿐만 아니라 연동 시험, 반복 시험, 플랫폼 시험 등의 다양한 시험에 적용이 가능하다. IEC61850 은 SCADA(Supervisory Control And Data Acquisition) 시스템에서 SAS(Substation Automation System)를 위해 제안된 프로토콜이다. 본 논문에서는 TTCN-3 적합성 시험 언어를 이용하여 IEC 61850 상호 연동성 시험기를 Windows 환경에서 구현하였다. SUT(System Under Test)로는 리눅스 운영체제 기반의 IEC61850 Server Simulator를 사용하였다. 본 논문에서 시험한 적합성 시험 항목은 "IEC61850 - Part10" 문서의 테스트 항목들 중 "Server, Logical device, Logical node, and data model"의 Positive test case_Srv5 항목을 시험하였다.