• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2006.06a
• /
• pp.795-798
• /
• 2006

최근 소프트웨어의 복잡도가 증가되어감에 따라 소프트웨어 취약점 검출에 대한 정형화된 방법과 자동화된 도구가 필요하게 되었다. 본 논문에서는 기존의 소프트웨어 테스트에서 고려되지 않았던 보안을 고려한 테스트라는 측면에서 자동화된 도구를 이용하여 소스가 없고 바이너리 코드만 있는 경우 결함 주입 기법을 통해 취약점 분석 방법을 보여주며, 윈도우즈 환경에서 사용되는 응용프로그램에 대한 상호 비교를 통해 향후 발생할 취약점에 대한 예방과 회피에 활용 될 사례를 보여주고 있다.

• Proceedings of the Korea Contents Association Conference
• /
• 2011.05a
• /
• pp.523-524
• /
• 2011

본 논문에서는 무인 자동화 주차시스템 개발을 위하여 차량이 스스로 주차공간을 판단하여 주차가 가능하게 하는 자동 주차 알고리즘을 제안한다. 제안 알고리즘은 차량이 주행 중에 주차 공간의 크기를 판단하고, 주차 공간에 따라 일렬 후진주차, 평행 후진주차, 주차 불가능을 차량이 스스로 판단 후 자동으로 주차를 하게 한다. 자동주차가 가능하게 하기 위해 4개의 적외선 센서를 장착하여 센서의 세기를 거리로 환산하고, 센서를 통하여 얻어진 데이터를 이용한다. 설계된 주차 알고리즘의 성능을 테스트하기 위해 8개의 주차 공간에서 실험을 진행하였다. 8개의 주차 공간에서 상황에 따른 자동 주차를 실시하였고, 테스트 결과 95% 이상의 자동 주차 성공률을 보이는 것을 확인할 수 있었다.

• Information and Communications Magazine
• /
• v.34 no.5
• /
• pp.68-75
• /
• 2017

본고에서는 Advanced Metering Infrastructure (AMI) 네트워크 기반의 자동 수요반응 기술에 대해 소개한다. 수요반응은 피크 수요 기간 동안 전력의 안정화에 큰 기여를 할 수 있으며, 수요반응의 범위와 효과가 증가함에 따라 일반 수용가의 참여가 매우 중요한 이슈로 떠오르고 있다. 하지만, 다양한 지역에 위치한 수용가를 대상으로 수요반응 서비스를 제공하기 위해서는 유틸리티 또는 수요관리사업자와 고객 간의 수요반응 신호 교환과 정보 공유를 위한 통합 네트워크 구축이 필수적으로 필요하다. 또한, 이기종 시스템 간 상호운용성 보장을 위한 공통의 통신 제어 기술이 요구된다. 본고에서는 AMI 네트워크를 기반으로 IEC/PAS 규격인 Open Automated Demand Response version 2.0 (OpenADR2.0) 기술을 채택하여 수용가를 대상으로 한 자동화된 수요반응 서비스를 실현하고자 한다. AMI 디바이스를 수요반응 자원으로 활용하기 위하여 기존의 기능은 유지한 채로 OpenADR2.0 프로토콜을 탑재하여 수요반응 기능이 추가된 디바이스들을 개발하였으며, 프로토콜 적합성 테스트와 필드 테스트를 통하여 자동화된 수요 반응 서비스 및 부하 감축을 검증하였다. 개발 소프트웨어는 OpenADR Alliance로부터 국제공인인증을 획득함으로써 수요 반응 시스템의 레퍼런스 통신 기술로 적용이 가능하다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.4
• /
• pp.288-298
• /
• 2001

Utilizing standards for software process to a specific project requires a tailoring process to meet the development domain. However, the existing tailoring schemes are not systematical and possible to use without analyzing the methodology and development domain. Also, it is not quite easy to apply them to similar projects. This paper includes: 1) systematical tailoring steps and 2) an automatic algOlithm for generating test process based on "a scheme of tailoring process using the component-based development paradigm"; 3) "an automation tool for tailoring, AutoTP" which is derived from XML techniques. Users can generate a tailored test process through our AutoTP automatically without analyzing standards. methodology and domain.

• Journal of Korea Game Society
• /
• v.20 no.6
• /
• pp.63-74
• /
• 2020

Recently, research on automating game tests using artificial intelligence agents instead of humans is attracting attention. This paper aims to collect play data from human and artificial intelligence and analyze their similarity as a preliminary study for game balancing automation. At this time, constraints were added at the learning stage in order to create artificial intelligence that can play similar to humans. Play datas obtained 14 people and 60 artificial intelligence by playing Flippy bird games 10 times each. The collected datas compared and analyzed for movement trajectory, action position, and dead position using the cosine similarity method. As a result of the analysis, an artificial intelligence agent with a similarity of 0.9 or more with humans was found.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.904-906
• /
• 2005

소프트웨어 개발의 생산성을 높이고 신뢰성 있는 프로그램을 개발하기 위하여 테스트 자동화에 대한 연구가 활발히 진행되고 있다. 임베디드 소프트웨어는 일반 소프트웨어 개발 환경과는 달리 호스트-타겟(host-target) 구조의 교차 개발환경에서 개발이 이루어지고 있다. 본 논문은 임베디드 소프트웨어의 개발 환경에 맞추어 제한된 자원의 특성을 고려한 원격 단위 테스팅 도구를 제안한다. 제안하는 원격 단위 테스팅 도구는 XML 테스트 스크립트를 기반으로 대상 소스 언어에 맞는 테스트 드라이버를 생성하여 테스트 대상과 함께 테스트 작업 용구(Test harness)를 생성한다. 이러게 생성된 테스트 작업 용구는 이더넷(ethernet)을 통해 타겟(target)으로 전송되어 테스트를 수행한 후, 테스트 결과 로그를 호스트로 전송한다. 호스트에서는 로그를 수집하여 XML형태의 파일로 제공하여 다양한 형태의 리포트 뷰(View)를 가능하게 한다. 본 논문의 원격 단위 테스팅 도구는 임베디드 소프트웨어 개발 단계에서 반복적인 단위 테스팅의 절차를 간소화 하여 보다 효율적이고 신뢰성 있는 임베디드 소프트웨어 개발의 기회를 제공 할 것으로 기대된다.

• Journal of KIISE:Software and Applications
• /
• v.36 no.1
• /
• pp.45-53
• /
• 2009

In these days GUI components are recognized as the important driving elements to the successful software development. Thus they must be verified. In practice, however, GUI testing for verifying the GUI components needs lots of time and high costs. Test automation for GUI testing is a promising solution to save those expenses. In this paper, we discuss some issues considered to perform GUI testing and suggest a new method that improve the GUI test case generation method based on our previous 'record & playback' approach. For this, we suggest the event generation method using the 'spy' technique and the scenario generation method that generates effectively a lot of scenarios with the generated events. In turn we describe how to create GUI test cases from the generated scenarios.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.2223-2231
• /
• 2010

Recently, an important physical device of transportation, such as car, railroad, ship and aircraft has changed into electronic control unit. According to accident reports, the most of car accidents are caused by faults of embedded software loaded to computer control unit. The facts implies that the test to find defects in embedded software haven't performed sufficiently. As a result, it is necessary to establish the test procedures of embedded software based on safety assessment criteria. The objective of this proposal is to provide a unit test procedure complied with the safety assessment criteria for the embedded software. In addition, an effective unit testing procedure and defect analysis methods are proposed and a testing procedure using a safety criteria built-in tool is presented.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.15 no.8
• /
• pp.744-751
• /
• 2004

This paper presents the implementation of the low cost and high speed RF ATE(Automatic Test Equipment) system, which can be a reasonable solution for reducing the test cost of RF devices. This paper suggests high speed and precise measurement capabilities which are realized by the 16 independent RF ports with high speed switching time and high accuracy digitizer using the industry standard Versus module eXtensions for Instrument(VXI) General Purpose Interface Bus(GPIB) interfaces. Also, the system has the capabilities of quad-site test which can dramatically increase the device throughput. This paper concludes with the demonstration of the implemented ATE system through the setup of RF Power Amplifier Module(PAM), which is under the most competitive market situation.

• Journal of Advanced Navigation Technology
• /
• v.27 no.2
• /
• pp.228-234
• /
• 2023

As the increasing demand for high-quality software, there is huge requiring for quality certification of international standards, industrial functional safety (IEC 61508), automotive (ISO 26262), embedded software guidelines for weapon systems, etc., in the industry. Software companies are very difficult to systematically acquire the quality certification in terms of cost and manpower of Startup, venture small-sized companies. For their companies one test case automatic generation is considered as a core technique to evaluate or improve software quality. This paper proposes a test case automatic generation method based on the design decision table for system and software design verification. We apply the proposed method with OMG's standard techniques of metamodel and model transformation for automatically generating test cases. To do this, we design the metamodels of design decision table (Model) and test case document (Text) and define model transformation to automatically generate test cases, which will expect to easily work MC/DC coverage.