• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.205-207
• /
• 2012

본 논문은 Use Case 기반 개발에서 요구사항부터 테스트 케이스를 자동 추출하는 메커니즘을 제안 하고자 한다. 제안한 메커니즘은 기존의 테스트케이스 생성 메커니즘을 Use Case 메커니즘과 접목한 것이다. 그리고 그 기반으로 자동 도구 구현을 통해 모든 가능한 테스트 케이스 추출하는데 있다. 이는 최소의 테스트 케이스로 100%의 기능적인 요구사항 커버리지 만족시킨다는 Gary 방법을 이용하고자 함이다. 이 도구의 단계는 확장된 UML 다이어그램으로부터 원인-결과 다이어그램을 전환 한 후, 결정 테이블화한다. 마지막 단계는 이를 통하여 테스트케이스가 자동적으로 발생 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
• /
• pp.96-100
• /
• 2007

오늘날 GUI가 소프트웨어의 성공에 중요한 영향을 미침으로써 GUI에 대한 테스트가 요구된다. 반면에 소프트웨어의 GUI 테스트는 많은 노력과 시간이 소비된다. 이러한 자원의 소비를 줄이기 위해 GUI 테스트를 자동으로 수행하는 것이 필요하다. 본 논문에서는 GUI 자동 테스트를 수행하기 위해 극복해야 할 문제와 GUI 자동 테스트에 적용되는 기술에 대해 논하고, Record-Playback 기술을 이용하여 GUI 테스트 케이스 자동 생성 방법을 제시한다.

• Asian review of World Histories
• /
• 제4권1호
• /
• pp.3-34
• /
• 2016

This introduction is both a statement of a research problem and an account of the first research results for its solution. As more historical databases come online and overlap in coverage, we need to discuss the two main issues that prevent 'big' results from emerging so far. Firstly, historical data are seen by computer science people as unstructured, that is, historical records cannot be easily decomposed into unambiguous fields, like in population (birth and death records) and taxation data. Secondly, machine-learning tools developed for structured data cannot be applied as they are for historical research. We propose a complex network, narrative-driven approach to mining historical databases. In such a time-integrated network obtained by overlaying records from historical databases, the nodes are actors, while thelinks are actions. In the case study that we present (the world as seen from Venice, 1205-1533), the actors are governments, while the actions are limited to war, trade, and treaty to keep the case study tractable. We then identify key periods, key events, and hence key actors, key locations through a time-resolved examination of the actions. This tool allows historians to deal with historical data issues (e.g., source provenance identification, event validation, trade-conflict-diplomacy relationships, etc.). On a higher level, this automatic extraction of key narratives from a historical database allows historians to formulate hypotheses on the courses of history, and also allow them to test these hypotheses in other actions or in additional data sets. Our vision is that this narrative-driven analysis of historical data can lead to the development of multiple scale agent-based models, which can be simulated on a computer to generate ensembles of counterfactual histories that would deepen our understanding of how our actual history developed the way it did. The generation of such narratives, automatically and in a scalable way, will revolutionize the practice of history as a discipline, because historical knowledge, that is the treasure of human experiences (i.e. the heritage of the world), will become what might be inherited by machine learning algorithms and used in smart cities to highlight and explain present ties and illustrate potential future scenarios and visionarios.

• International Journal of Control, Automation, and Systems
• /
• 제3권spc2호
• /
• pp.363-375
• /
• 2005

The paper describes some of the challenges that face the control of nonlinear interconnected power systems. The challenges include the selection of appropriate control and information structures that could range from a completely decentralized to a fully centralized structure. Once a structure is proven to be feasible, the effectiveness of control signals needs to be assessed. Analytical tools are derived for this purpose in the first part of the paper, and they are illustrated with a case study that involves the design of a damping decentralized controller using a Thyristor Controlled Series Compensation device. The second part of the paper deals with the load following and tracking problem through automatic generation control for a system that has been re-structured or deregulated. This problem can be solved using a completely decentralized scheme. It is solved here using fuzzy rules and with an emphasis on compliance with NERC's standards and reduction of wear and tear of the equipment. It is illustrated with a test system that has three interconnected control areas. Finally, comments on the economics of control and the author's vision are presented.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2020년도 제32회 한글 및 한국어 정보처리 학술대회
• /
• pp.215-219
• /
• 2020

현재 한글 언어학 영역에서는 많은 언어 분석 연구가 수행되었다. 또한 소프트웨어공학의 요구공학 영역에서는 명료한 요구사항 정의와 분석이 필요하고, 비정형화된 요구사항 명세서로부터 테스트 케이스 추출이 매우 중요한 이슈이다. 즉, 자연어 기반의 요구사항 명세서로부터 원인-결과 그래프(Cause-Effect Graph)를 통한 의사 결정 테이블(Decision Table) 기반 테스트케이스(Test Case)를 자동 생성하는 방법이 거의 없다. 이런 문제를 해결하기 위해 '한글 언어 의미 분석 기법'을 '요구공학 영역'에 적용하는 방법이 필요하다. 본 논문은 비정형화된 요구사항으로부터 테스트케이스 생성하는 과정의 중간 단계인 요구사항에서 문장 의미 모델(Sentence Semantic Model)을 자동 생성하는 방법을 제안 한다. 이는 요구사항으로부터 생성된 원인-결과 그래프의 정확성을 검증할 수 있다.

• 정보처리학회논문지D
• /
• 제18D권5호
• /
• pp.343-356
• /
• 2011

기존의 GUI 테스트 도구들은 테스트 케이스 준비 및 테스트 수행시 테스터의 개입을 많이 요구한다. 이러한 문제를 개선하기 위해 본 논문에서는 GUI 테스트 케이스를 구축할 수 있는 새로운 방법을 제안한다. 이 방법은 GUI 내에서 잠재적인 제어 흐름을 식별하여 GUI맵을 구성하는 방법이다. .NET Framework에서 제공하는 UIA 라이브러리는 GUI 컨트롤 정보를 추출하는 과정에 사용되며, 이를 통해 GUI맵을 구성한다. 추출된 GUI 컨트롤 정보를 기반으로 그룹화 매커니즘을 사용하여 테스트 시나리오를 생성한다. 다양한 테스트 시나리오는 어떤 GUI 컨트롤에 대해 그 컨트롤이 속하는 그룹에서 다른 컨트롤을 선택하여 그것을 대체함으로써 자동 생성된다. 기존의 GUI 테스트 도구들은 테스트 커버리지를 지원하지 않았지만, 이 논문에서 제안하는 방법은 GUI맵을 사용하여 실행되었거나 실행되지 않은 시나리오 흐름을 파악할 수 있으므로 이를 통해 테스트 커버리지를 측정할 수 있다.

• 한국인터넷방송통신학회논문지
• /
• 제13권1호
• /
• pp.129-134
• /
• 2013

기존 연구실 연구에서는 메타모델 기반의 순차적 다이어그램을 통한 테스트케이스 생성의 자동화가 초점이었다. 하지만 메타모델 기반의 스테이트 다이어그램을 통한 테스트케이스 자동 생성에 관한 메커니즘에 관한 연구가 부족하다. 그래서 본 논문에서는 Model Driven Architecture(MDA) 메커니즘인 메타모델과 모델변형기법을 채택하여, UML내 스테이트 다이어그램을 통해 테스트케이스를 자동 추출메커니즘을 제안한다. 이를 위해 테스트케이스 생성단계 프로세스를 정의하고 각 단계별 메타모델 정의와 모델간의 변형 규칙을 정의한다. 제안한 기법을 통해 임베디드 소프트웨어 테스트 설계 및 테스트케이스 추출비용과 시간을 줄이고 임베디드 소프트웨어의 품질을 높이고자 한다.

• 한국정보과학회논문지:정보통신
• /
• 제28권3호
• /
• pp.377-388
• /
• 2001

하나의 시험 스위티를 가지고 다중 계층 프로토콜 시험대상(Implementation Under Test: IUT)을 시험하는 방안이 제안되었다[1] 기존 방법과 비교하여 이방법은 상위 프로토콜에 적용하는 단일 계층 시험 방법과 하위 프로토콜에 적용하는 내포 시험 방법을 조합하여 적용함으로써 다중 계층 프로토콜 시험 대상을 시험한다. 그러나 논문[1]은 접근 방법만 제시하였을뿐 어떻게 시험 경우를 자동으로 도출할 것인지에 대해서는 고려하지 않고 있다. 본 논문은 논문[1]에 기초하여 다중 계층 프로토콜 시험 경우 자동 생성알고리즘을 제안한다. 이를 위해 시험대상 프로토콜을 두 개의 FSM으로 정의하고 두 FSM에 대하여 pre-execution 과 carried-by 로 구성되는 트랜지션의 수행 관계를 정의한다. 제안한 알고리즘을 구현하여 간략화한 TCP/IP와 B-ISDN Signaling/Service Specific Connection Oriented Protocol (SSCOP)에 적용한다. 본논문의 다중 계층 프로토콜 시험방법은 프로토콜 사이의 인터페이스가 개방되지 않은 경우에도 시험이 가능하며 기존 시험방법에 비해서 적은 시험 경우로 동이한 커버리지를 갖는다

• 방송공학회논문지
• /
• 제17권3호
• /
• pp.529-539
• /
• 2012

소프트웨어 생성 주기 동안에 품질을 제어할 수 있는 매우 중요한 영역 중의 하나로 소프트웨어 테스트 방안을 들 수 있다. 일반적으로 소프트웨어 테스트케이스는 사용자 요구에 대한 이해를 기반으로 생성되지만, 사용자가 요구하는 수준의 품질을 충족시킬 수 있는 측정 가능한 테스트케이스를 생성하는 일은 결코 쉬운 일이 아니다. 특히 비기능적 요소나 예외상황에 대한 테스트 케이스 생성은 테스터의 경험에 많이 의존하기 때문에 매우 어려운 부분이다. 본 논문에서는 이러한 문제를 해결하기위한 방안으로 방송 수신 소프트웨어의 품질 측정 시 예외상황에서 발생 가능한 테스트케이스를 자동으로 생성할 수 있는 기법을 제안한다. 제안된 기법의 우수성을 검증하기 위해 상용 방송 수신 소프트웨어를 이용하여 기존 기법과의 비교 테스트를 수행하였다. 모의실험을 통해 본 논문에서 제안한 기법을 적용하여 다양한 예외상황에서 자동 생성된 테스트케이스를 수행한 결과로 기존 기법을 적용한 경우와 비교하여 7.08%의 결함을 더 발견할 수 있었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
• /
• pp.198-201
• /
• 2011

현재 안드로이드 시장에는 다양한 플랫폼을 기반으로 한 디바이스들이 혼재하고 있고, 안드로이드의 성장세로 봤을 때 앞으로 더욱더 많은 플랫폼 및 디바이스가 출시될 것이다. 따라서 여러 플랫폼 및 디바이스에 대한 상호 호환성을 만족시키기 위해 안드로이드 소프트웨어 개발 단계부터 테스트의 중요도가 높아지고 있고, 테스팅 시간을 줄이기 위한 테스트 자동화 문제가 대두되고 있다. 이러한 환경에서 상호 호환성을 만족시키기 위해서는 소프트웨어적인 요소뿐만 아니라 프로그램의 전반적인 요소까지 고려해야 하지만 기존의 테스트 자동화 도구인 JUnit은 안드로이드 소프트웨어의 특정 상태에 대한 정보만을 도출하기 때문에 전반적인 요소에 대한 통합관리가 불가능하다. 따라서 본 논문에서는 안드로이드 소프트웨어의 전반적인 요소들에 대한 정보를 도출하여 테스트 케이스를 자동으로 생성하는 방안을 제안한다. 사용자가 도출하고자 하는 정보를 선택함으로써 테스트 케이스 생성에 대한 유연성이 증가하고, 이를 자동화함으로써 테스팅 시간 감소를 통해 생산성 향상 및 높은 품질의 안드로이드 소프트웨어를 기대할 수 있다.