• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.553-555
• /
• 2001

기업형 정보 시스템을 개발하는 데 클라이언트 계층, 어플리케이션 서버 계층, 데이터베이스 계층으로 구성된 3계층 아키텍쳐가 널리 사용되고 있다. 따라서 기업형 컴포넌트의 올바른 행위를 시험하기 위해서는 3계층 아키텍처를 고려한 시험 기법이 요구된다. 하지만 기존의 대부분의 컴포넌트 시험 기법들은 클라이언트 계층과 어플리케이션 서버 계층 사이의 관계만을 대상으로 하고 있어서 기업형 컴포넌트 시험에 부족하다. 논문에서는 기업형 컴포넌트의 시험을 위해 클라이언트 계층과 어플리케이션 서버계층 간의 관계만이 아니라 어플리케이션 서버계층과 데이터베이스 서버계층과의 관계를 포함한 시험 기법을 제안한다. 이를 위해 3계층 아키텍쳐를 반영하는 시험모델을 제안했으며 UML/OCL를 컴포넌트의 명세로 사용하여 시험모델을 추출한 뒤 자동으로 시험을 수행하는 시험 환경을 개안했다. 제안된 시험 환경은 일반적인 시험 단계의 뒷부분으로 테스트 케이스를 분석하여 생성하는 것보다는 생성된 시험 사료를 수행시켜 자동으로 시험 과정을 수행하는데 관심을 두고 있다. 제안된 시험환경은 기존의 연구와 달리 3계층 아키텍처를 반영하고 산업체 표준인 UML/OCL을 이용하므로 기업형 응용프로그램의 생산성을 증가시켜 줄 것으로 보인다.

• Journal of the Korea Society of Computer and Information
• /
• v.25 no.10
• /
• pp.23-34
• /
• 2020

In this paper, we proposes a method to automatically construct SHACL schemas for RDF knowledge graphs(KGs) generated by Direct Mapping(DM). DM and SHACL are all W3C recommendations. DM consists of rules to transform the data in an RDB into an RDF graph. SHACL is a language to describe and validate the structure of RDF graphs. The proposed method automatically translates the integrity constraints as well as the structure information in an RDB schema into SHACL. Thus, our SHACL schemas are able to check integrity instead of RDBMSs. This is a consideration to assure database consistency even when RDBs are served as virtual RDF KGs. We tested our results on 24 DM test cases, published by W3C. It was shown that they are effective in describing and validating RDF KGs.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.161-163
• /
• 2012

웹 기반 서비스의 수요가 급속히 증가함에 따라, 다양한 분야의 웹 어플리케이션이 개발되고 있으며 기능 요구 사항도 복잡해 지고 있다. 이에 따라, 구현된 소프트웨어의 복잡도가 증가되어 기능 검증을 위한 시험의 중요성이 대두되고 있으나, GUI를 기반으로 하는 웹 어플리케이션의 특성 때문에 사용자 관점에서 다양한 기능시험을 수행하기 위해서는 많은 노력과 시간이 필요하다. 특히 최근에는 과거와 달리 다양한 브라우저가 사용됨에 따라, 다양한 브라우저 상에서의 웹 어플리케이션 기능시험을 필수적으로 해야 하기 때문에 시험 수행 시간을 줄일 수 있는 시험방안이 절실히 요구되고 있다. 본 논문에서는 공개 소프트웨어인 GUI 시험 자동화 도구를 활용하고, 테스트 자동화를 위한 테스트 케이스를 생성하여 다수의 브라우저 환경에서 동시에 자동으로 기능시험을 수행할 수 있게 함으로써, 시험 효율성을 극대화하기 위한 웹 어플리케이션 시험 자동화 방안을 제안한다. 실제 사례적용을 통하여, 시험 시간을 획기적으로 단축시키고, 4개의 브라우저에 대하여 동시 시험 수행이 가능함을 확인하였다.

• Journal of Intelligence and Information Systems
• /
• v.17 no.4
• /
• pp.37-58
• /
• 2011

In general, testing DB applications is much more difficult than testing other types of software. The fact that the DB states as much as the input data influence and determine the procedures and results of program testing is one of the decisive reasons for the difficulties. In order to create and maintain proper DB states for testing, it not only takes a lot of time and efforts, but also requires extensive IT expertise and business knowledge. Despite the difficulties, there are not enough research and tools for the needed help. This article reports the result of research on automatic creation and maintenance of DB states for testing DB applications. As its core, this investigation develops an automation tool which collects relevant information from a variety of sources such as log, schema, tables and messages, combines collected information intelligently, and creates pre- and post-Images of database tables proper for application tests. The proposed procedures and tool are expected to be greatly helpful for overcoming inefficiencies and difficulties in not just unit and integration tests but including regression tests. Practically, the tool and procedures proposed in this research allows developers to improve their productivity by reducing time and effort required for creating and maintaining appropriate DB sates, and enhances the quality of DB applications since they are conducive to a wider variety of test cases and support regression tests. Academically, this research deepens our understanding and introduces new approach to testing enterprise systems by analyzing patterns of SQL usages and defining a grammar to express and process the patterns.

• Journal of the Korea Society for Simulation
• /
• v.28 no.2
• /
• pp.71-79
• /
• 2019

This research proposes an automatic generation system of aimpoints with considering 3D target shapes and CEP(circular error probability) values after determining a target and an azimuth value. In the past, users decided aimpoints manually based on experience or just chose a middle point of the 3D model. Futhermore, it was not possible to select a proper position with consideration of azimuth because users should decide aimpoints before the azimuth value was determined. To solve this problem, this research provides a automatic system to compute proper aimpoints with 3D target shapes, azimuth values and CEP. This article contains the explanation of 3 steps for generating aimpoints automatically: first, generating a reference plane and candidate entry points, then computing scores of each entry points and finally determining an aimpoint from the entry point with the highest score. Users can easily determine a final aimpoint with high probability of success using this system.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.9
• /
• pp.77-89
• /
• 2022

In this paper, we propose a system which automatically generates SHACL schemas to describe and validate RDF knowledge graphs constructed by RML mappings. Unlike existing studies, the proposed system generates the schemas based on not only RML mapping rules but also metadata extracted from RML mapping input data in various formats such as CSV, JSON, XML or databases. Therefore, our schemas include the constraints on data type, string length, value range and cardinality, which were not present in the existing schemas. And we solves the problem with "repeated properties" which overlooked in existing studies. Through a conformance test consisting of 297 cases, we show that the proposed system generates correct constraints for the graphs. The proposed system can contribute to automation of the tedious and error-prone existing manual validation processes.

• The Bulletin of The Korean Astronomical Society
• /
• v.44 no.2
• /
• pp.62.2-62.2
• /
• 2019

한국의 고천문 자료는 삼국시대 이후 근대 조선까지 다수가 존재하여 세계적으로 드문 기록 문화를 보유하고 있으나, 한문 번역이 많이 이루어지지 않아 학술적 활용이 활발하지 못한 상태이다. 고문헌의 한문 문장 번역은 전문인력의 수작업에 의존하는 만큼 소요 시간이 길기에 투자대비 효율성이 떨어지는 편이다. 이에 최근 여러 분야에서 응용되는 인공지능의 적용을 대안으로 삼을 수 있으며, 초벌 번역 수준일지라도 자동번역기의 개발은 유용한 학술도구가 될 수 있다. 한국천문연구원은 한국정보화진흥원이 주관하는 2019년도 Information and Communication Technology 기반 공공서비스 촉진사업에 한국고전번역원과 공동 참여하여 인공신경망 기계학습이 적용된 고문헌 자동번역모델을 개발하고자 한다. 이 연구는 고천문 도메인에 특화된 인공지능 기계학습 기법으로 자동번역모델을 개발하여 이를 서비스하는 것을 목적으로 한다. 연구 방법은 크게 4가지 개발을 진행하는 것으로 나누어 볼 수 있다. 첫째, 인공지능의 학습 데이터에 해당되는 '코퍼스'를 구축하는 것이다. 이는 고문헌의 한자 원문과 한글 번역문이 쌍을 이루도록 만들어 줌으로써 학습에 최적화한 데이터를 최소 6만 개 이상 추출하는 것이다. 둘째, 추출된 학습 데이터 코퍼스를 다양한 인공지능 기계학습 기법에 적용하여 천문 분야 특수고전 도메인에 특화된 자동번역 모델을 생성하는 것이다. 셋째, 클라우드 기반에서 참여 기관별로 소장한 고문헌을 자동 번역 모델에 기반하여 도메인 특화된 모델로 도출 및 활용할 수 있는 대기관 서비스 플랫폼 구축이다. 넷째, 개발된 자동 번역기의 대국민 개방을 위해 웹과 모바일 메신저를 통해 자동 번역 서비스를 클라우드 기반으로 구축하는 것이다. 이 연구는 시스템 요구사항 분석과 정의를 바탕으로 설계가 진행 또는 일부 완료되어 구현 중에 있다. 추후 이 연구의 성능 평가는 자동번역모델 평가와 응용시스템 시험으로 나누어 진행된다. 자동번역모델은 평가용 테스트셋에 의한 자동 평가와 전문가에 의한 휴먼 평가에 따라 모델의 품질을 수치로 측정할 수 있다. 또한 응용시스템 시험은 소프트웨어 방법론의 개발 단계별 테스트를 적용한다. 이 연구를 통해 고천문 분야가 인공지능 자동번역 확산 플랫폼 시범의 첫 케이스라는 점에서 의의가 있다. 즉, 클라우드 기반으로 시스템을 구축함으로써 상대적으로 적은 초기 비용을 투자하여 활용성이 높은 한문 문장 자동 번역기라는 연구 인프라를 확보하는 첫 적용 학문 분야이다. 향후 이를 활용한 고천문 분야 학술 활동이 더욱 활발해질 것을 기대해 볼 수 있다.

• The KIPS Transactions:PartD
• /
• v.19D no.2
• /
• pp.203-210
• /
• 2012

Capture-and-replay technique is a common automatic method for GUI testing. Testing applications on Android platform cannot use directly capture-and-replay technique due to the testing framework which is already set up and technical supported by Google and lack of automatic linking GUI elements to actions handling widget events. Without capture-and-replay testing tools testers must design and implement testing scenarios according to the specification, and make linking every GUI elements to event handling parts all by hand. This paper proposes a more improved and optimized approach than common capture-and-replay technique for automatic testing Android GUI widgets. XML is applied to extract GUI elements from applications based on tracing the actions to handle widget events. After tracing click events using monitoring in capture phase test cases will be created by communicating status of activated widget in replay phase with API events.

• Journal of Internet Computing and Services
• /
• v.15 no.5
• /
• pp.107-121
• /
• 2014

Distributed systems are collection of physically distributed computers linked by a network. General use of wired/wireless Internet enables users to make use of distributed service anytime and anywhere. The explosive growth of distributed services strongly requires functional verification of services as well as verification of non-functional elements such as service quality. In order to verify distributed services it is necessary to build a test environment for distributed systems. Because, however, distributed systems are composed of physically distributed nodes, efforts to construct a test environment are required more than those in a test environment for a monolithic system. In this paper we propose a test framework to verify functional and non-functional features of distributed systems. The suggested framework automatically generates test cases through the message sequence charts, and includes a test driver composed of the virtual nodes which can simulate the physically distributed nodes. The test result can be checked easily through the various graphs and the graphical user interface (GUI). The test framework can reduce testing efforts for a distributed system and can enhance the reliability of the system.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.11
• /
• pp.67-80
• /
• 2022

In this paper, we propose a system which automatically generates the ShEx schemas to describe and validate RDF knowledge graphs constructed by RML mapping. ShEx schemas consist of constraints. The proposed system generates most of the constraints by converting the RML mapping rules. The schemas consisting only of constraints obtained from mapping rules can help users to figure out the structure of the graphs generated by RML mapping, but they are not sufficient for sophisticated validation purposes. For users who need a schema for validation, the proposed system is also able to provide the schema with added constraints generated from metadata extracted from the input data sources for RML mapping. The proposed system has the ability to handle CSV, XML, JSON or RDBMS as input data sources. Testing results from 297 cases show that the proposed system can be applied for RDF graph validation in various practical cases.