• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.361-370
• /
• 2009

많은 모바일 어플리케이션 개발자들은 매우 엄격한 제약사항 즉 짧은 개발기간, 사용자의 다양한 요구사항 및 잦은 요구 변경에 직면하고 있다. 이러한 개발환경은 사용자가 사용하기 편리한 GUI의 개발과 S/W 개발초기부터 철저한 테스트를 하여 품질을 보증하는 테스트 방법이 필수적이다. 따라서 본 논문은 모바일 응용 S/W GUI를 기존의 매뉴얼을 보고 테스트 하는 단계적이고 수동적인 방법을 탈피하여 사용자 중심의 시나리오를 통하여 자동으로 GUI를 테스트 하는 것을 목적으로 한다. 제시한 테스트 방법은 사용자 중심의 UI를 설계하여 간편하고, 정확하게 테스트 할 뿐만 아니라 테스트케이스를 재사용하는 환경을 지원한다. 제안한 자동화 도구는 시나리오 기반의 정확한 테스트와 재사용성을 높인 테스트 도구로서 기존 테스트 도구와 기능적인 비교를 통하여 성능을 확인하였다.

• 한국인터넷방송통신학회논문지
• /
• 제16권5호
• /
• pp.151-156
• /
• 2016

IoT 기술이 발전하면서 주변 환경 정보 수집을 위해 사용 가능한 센서는 종류와 수가 급격히 증가하고 있다. 센서의 종류가 늘어나면서 IoT 제품 및 서비스를 개발하기 위해 적합한 센서 노드를 선정하고 테스트하기 위한 효율적인 시스템의 필요성이 증가하고 있다. 본 연구에서는 IoT 서비스 및 제품 개발 기간 단축을 위한 센서 시험 운용 시스템을 제안한다. 제안하는 시스템은 IoT 센서 노드의 성능 및 기능 범위를 시험하여 제품 및 서비스의 빠른 프로토타이핑에 활용된다. 이를 위해 IoT 센서 시험 운용 시스템의 요구사항을 분석하고, 기능 요소별 설계를 기반으로 시스템을 설계한다. 마지막으로 시험 어플리케이션을 구현하여 설계한 시스템의 기능 요소를 테스트한다.

• 융합보안논문지
• /
• 제13권4호
• /
• pp.33-39
• /
• 2013

소프트웨어 개발을 성공적으로 수행하기 위하여서 유닛 테스팅은 아주 필수 불가결한 요소이다. Python, Java, C# 등의 현대 컴퓨터 개발 언어에서는 유닛 테스팅을 용이하게 하기 위하여 다양한 기능을 제공하고 있다. 하지만, C++ 언어에 있어서는 워낙 많은 프레임워크를 제공하고 있는 관계로, 유닛 테스팅을 위한 프레임워크 선택이 결코 용이하지 않다. 이 논문에서는 C++ 언어에서의 유닛 테스팅을 위한 프레임워크를 집약된 test runner와 분리된 test runner의 두 그룹으로 나눠서 고찰하였다.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 1999년도 학술대회지 vol.1
• /
• pp.193-205
• /
• 1999

Nowadays, public domain software CALS/EC projects give their attention to the importance of test and evaluation (T＆E). This article proposed a survey on T＆E procedures of the international standards ISO 9000-3, ISO/IEC 9126 and ISO 14598, and of the U.S. Army pamphlet as well as that of MIL-STD-498. And features of testing tools such as their characteristics were reviewed for a reference in selecting appropriate one. Large-scale software projects often encounter with problems during T＆E, when they become close to the end of development cycle. The problems generally act as a bottleneck of a project, leading to slippage of the entire schedule. This article tried a close look at the problems and solution alternatives of the T＆E policy, management, and technical issues, and proposed a T＆E model to support a variety of software development environment.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권8호
• /
• pp.704-716
• /
• 2005

미리 만들어진 컴포넌트를 조립하여 새로운 소프트웨어를 개발하는 방법은 개발비용과 기간을 획기적으로 줄일 수 있다는 장점으로 전통적인 방법의 대안이 되고 있다. 하지만 컴포넌트를 통합 조립하면서 신뢰도를 확인하고 새 환경에 맞는지 테스트하는 과정이 복잡하고 비용이 많이 소요된다면 효과적인 방법이 될 수 없다. 대규모 시스템에 효율적으로 사용, 조림될 컴포넌트들은 원시코드 형태로 배포되지 않아서 새 환경에 적합한지 시험하고 관찰하는 철저한 테스트가 어렵다. 이러한 문제점을 해결하기 위하여 컴포넌트가 재사용되었을 때 쉽게 검증되도록 미리 테스트 모듈을 내장한 Built-In 테스트 방법이 있지만 컴포넌트의 기능이 다양하고 복잡하게 되면 컴포넌트에 포함된 테스트 모듈의 규모가 커지고 다양하고 융통성 있는 테스트가 어려워진다. 이 논문에서는 컴포넌트의 Built-In 테스트 기능을 대체할만한 컴포넌트 테스트를 위한 래퍼(wrapper)를 제안하고 이를 설계, 구현하여 실용성을 보였다. 래퍼를 자동 생성하여 테스트하면 컴포넌트의 테스트 준비 과정에 드는 노력이 줄어들고 테스트를 다양한 측면에서 테스트해 볼 수 있다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제7권8호
• /
• pp.1989-2009
• /
• 2013

How to discover router vulnerabilities effectively and automatically is a critical problem to ensure network and information security. Previous research on router security is mostly about the technology of exploiting known flaws of routers. Fuzzing is a famous automated vulnerability finding technology; however, traditional Fuzzing tools are designed for testing network applications or other software. These tools are not or partly not suitable for testing routers. This paper designs a framework of discovering router protocol vulnerabilities, and proposes a mathematical model Two-stage Fuzzing Test Cases Generator(TFTCG) that improves previous methods to generate test cases. We have developed a tool called RPFuzzer based on TFTCG. RPFuzzer monitors routers by sending normal packets, keeping watch on CPU utilization and checking system logs, which can detect DoS, router reboot and so on. RPFuzzer' debugger based on modified Dynamips, which can record register values when an exception occurs. Finally, we experiment on the SNMP protocol, find 8 vulnerabilities, of which there are five unreleased vulnerabilities. The experiment has proved the effectiveness of RPFuzzer.

• 방송공학회논문지
• /
• 제12권3호
• /
• pp.214-221
• /
• 2007

본 논문에서는 지상파 DMB(Terrestrial Digital Multimedia Broadcasting, T-DMB) 데이터 서비스 중 하나인 방송웹사이트(Broadcast Web Site, BWS) 서비스에 대한 송수신 정합 시험 도구를 개발하였다. 먼저 지상파 DMB BWS 서비스를 위한 송신 측 및 수신 측 정합 시험 방법론을 수립하였다. 시험 도구는 BWS 비트스트림 분석기, BWS 참조 복호 모듈(소프트웨어) 그리고 BWS 시험 비트스트림 등의 세 가지로 구성된다. 송신 측 시험을 위해 BWS 비트스트림 분석기를 개발하였으며, 수신 측 시험을 위해 BWS 참조 복호 모듈을 개발하고 BWS 시험 비트스트림을 제작하였다. 이 시험 비트스트림의 적합성을 검증하는 데 본 논문에서 개발한 비트스트림 분석기가 실제로 사용되었다. 동일한 시험 비트스트림을 시험 대상 BWS 복호 모듈과 참조 복호 모듈에 동시에 입력하고, 이 두 모듈의 결과를 비교함으로써 수신 측 시험을 수행한다. 본 논문에서 개발한 시험 도구들은 MOT 프로토콜, HTML, PNG, MNG, JPEG, Ecma 스트립트 등 BWS에 포함된 모든 프로토콜 및 텍스트/이미지 규격에 대한 시험을 포함한다.

• 정보보호학회논문지
• /
• 제32권4호
• /
• pp.709-722
• /
• 2022

최근 "Log4j 보안 취약점 사태" 가 발생함에 따라 오픈소스인 "Log4j"를 활용하는 정보시스템이 취약점에 노출되었다. 이번 사태로 인해 전 세계뿐만 아니라 국내 주요 정부 기관 또는 기업들의 정보시스템에 큰 취약점이 발생하여 오픈소스의 취약점에 대한 문제가 대두되었다. 오픈소스는 여러 장점에도 불구하고 오픈소스를 활용하여 개발하는 현재의 개발 패러다임으로 인해 소프트웨어 보안 취약점이 손쉽게 확산될 수 있다는 문제점이 많아 오픈소스의 안전성 및 신뢰성 확보하기 위해 오픈소스에 대한 취약점 점검이 필요하다. 하지만 오픈소스 취약점 스캐닝 도구는 종류도 많고 지원하는 언어와 기능들이 상이한 다형적인 특징을 가지고 있다. 따라서, 기존 소프트웨어 평가 기준으로는 평가하기 모호하고 장단점을 평가하기 어려우므로 본 논문에서는 오픈소스 취약점 분석 도구에 대한 새로운 평가 기준을 개발하였다.

• 항공우주기술
• /
• 제10권2호
• /
• pp.105-113
• /
• 2011

위성 탑재소프트웨어를 개발하는 과정에서 프로세서 에뮬레이터와 위성 시뮬레이터는 핵심툴로서, 소프트웨어 개발과 검증 단계에서 사용되며 실제 하드웨어를 대체할 수 있는 수준까지 활용이 가능하다. 현재 한국항공우주연구원에서 개발 중인 저궤도 위성의 탑재컴퓨터의 프로세서는 SPARC v7 기반의 MCM-ERC32SC 프로세서를 사용하며, 프로세서 에뮬레이터의 경우Aeroflex Gaisler에서 판매되는 TSIM-ERC32 에뮬레이터를 사용한다. 국내 인공위성 개발 시 ERC32 프로세서를 계속 사용할 경우 TSIM-ERC32의 제한 조건과 종속성을 벗어날 필요가 있으며, 추후 위성 시뮬레이터 개발 시 고성능의 프로세서 에뮬레이터가 요구되기 때문에 새로운 프로세서 에뮬레이터 개발 필요성이 지속적으로 대두되었다. 본 논문에서는 첫 번째 단계로 공개형 프로세서 에뮬레이터인 QEMU를 기반으로 ERC32 프로세서 에뮬레이터 개발 방법에 대해서 기술하며 개발 된 에뮬레이터 상에서의 소프트웨어 개발 및 디버깅 방법에 대해서 설명한다.

• 정보과학회 논문지
• /
• 제43권9호
• /
• pp.974-982
• /
• 2016

프로그램 변이 분석은 분석대상 프로그램의 코드를 변형한 다양한 프로그램 변이를 활용해 분석대상 프로그램의 특성을 분석하는 기법이다. 효과적인 변이 분석을 위해서는 분석대상 프로그램의 동작을 다양하게 변화시키는 유용한 변형 연산자의 사용이 필수적이다. 현재까지 Java 프로그램을 대상으로 제안된 변이 생성 도구들은 변형 연산자의 종류가 제한적이거나, 최근 Java 언어 요소로 작성된 분석대상 프로그램의 경우 올바른 변이 생성을 지원하지 못하는 한계가 있다. 본 논문은 Java 프로그램을 위한 새로운 변이 생성 도구 Mutagen4J를 소개한다. Mutagen4J는 기존 연구를 통해 유용한 것으로 알려진 프로그램 변형 연산자를 추가로 지원하며, 최근 Java 언어요소를 처리함으로써, Java 프로그램에 대한 효과적인 변이 분석을 지원한다. 기존 Java 프로그램 변이 생성 도구와 비교 실험을 수행한 결과, Mutagen4J이 기존 도구보다 유용한 변이를 평균 2.3배 생성하였다.