• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (B)
• /
• pp.143-146
• /
• 2007

테스트 주도 개발(TDD)에서는 무엇보다 테스팅의 중요성이 강조되고 있으며, 효율적인 단위 테스트를 통해 소프트웨어를 신속하게 개발할 수 있도록 자동화된 테스트 프레임워크를 지원한다. 본 논문은 소프트웨어를 개발하는 과정에서 소프트웨어의 기능뿐만 아니라 비기능적인 요소(non-functional factor)인 성능도 함께 고려하여 모바일 응용 소프트웨어를 개발하도록 하는 성능 테스트 방안을 제안한다. 본 논문에서는 모바일 응용 소프트웨어 성능 테스트 현황과 이슈를 살펴보고, 모바일 응용 소프트웨어 성능 테스트를 위해 필요한 성능 특성들을 분석하여, 테스트 주도 개발의 특징을 반영한 성능 테스트 방안에 대해 제시하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(C)
• /
• pp.566-570
• /
• 2010

최근에는 스마트 폰의 저변이 확대되면서, 보안 취약성에 대한 많은 문제점이 새롭게 등장하고 있다. 스마트 폰 프로그램은 PC 환경에서 실행되는 프로그램과는 달리, 배포가 이루어진 이후에 소프트웨어 업데이트 등의 방법으로 보안 취약성을 제거하는 것이 매우 어려운 특징이 있다. 기존의 테스트 방법론은 스마트 폰의 특성에 대한 고려가 없기 때문에 스마트 폰을 위한 테스트 방법론과 함께 이를 위한 동적 테스트 도구에 대한 연구가 필요하다. 본 논문에서는 이벤트 구동 방식으로 동작하는 스마트 폰 프로그램의 특징을 고려한 동적 테스트 도구를 설계한다. 테스트 도구는 컴파일러 이론을 적용하여 체계적으로 설계 한다. 제안한 도구는 테스트 케이스 생성기와 테스팅 시스템으로 구성되며, 이벤트 구동 방식으로 동작하는 소프트웨어의 취약성 검출 자동화 도구로 활용할 수 있다.

• 조명전기설비학회논문지
• /
• 제24권2호
• /
• pp.27-32
• /
• 2010

본 논문은 반도체 공정에 사용되는 고속 EFEM(Equipment Front End Module) 장치의 새로운 성능평가시스템을 제안한다. 다관절 로봇으로 구성된 EFEM은 실리콘 웨이퍼 또는 포토마스크를 클린 스토리지 캐리어와 각종 계측 및 테스팅 시스템 사이를 이동시키는 반도체 자동화의 핵심장치이다. 성능평가 시스템 개발을 위한 이론과 실험적인 연구가 수행되었고, 그 결과는 고속 EFEM 장치의 성능 평가시스템이 적합함을 입증한다. 특히, WTO/TBT(Technical Barhers to Trade) 협정 및 PL(Product Liability)법에 대처하는데 매우 효과적이다.

• 제어로봇시스템학회논문지
• /
• 제16권6호
• /
• pp.608-616
• /
• 2010

Robot software components can be categorized into two types; the pure S/W component and the H/W-related one. Since interface testing of the robot software component is the labour-intensive and complicated work, an effective automated testing tool is necessary. Especially it is difficult to test all types of H/W-related components because it is hard work to prepare all H/W modules related to them. This paper proposes a new simulation-based interface testing automation tool(SITAT) which generates automatically test cases for interface testing of the robot software component and executes the interface test with the generated test cases where the simulator is used for simulation of the activity of a H/W module instead of the real H/W module. This paper verifies the effectiveness of the suggested SITAT with testing of the real H/W-related robot software component.

• 대한전자공학회논문지SD
• /
• 제38권10호
• /
• pp.746-753
• /
• 2001

본 논문에서 구현한 GenBIST는 메모리 테스팅을 위한 정보를 입력으로 받아 테스트용 회로를 VerilogHDL 코드로 자동 생성해 주는 설계 자동화 툴 이다. 상용 툴 들을 포함한 기존의 툴 들은 대부분 메모리 테스트를 위한 알고리즘들을 라이브러리화하고 이를 회로로 생성해주는 방식인데 반해, 본 논문에서 구현한 툴은 사용자가 정의한 알고리즘대로 회로를 생성해 줌으로써 새로운 알고리즘의 적용을 용이하게 하였다. 또한 다중 메모리를 지원할 수 있게 함으로써 메모리 BIST 회로를 공유할 수 있게 하였고 serial interfaceing 기법을 사용함으로써 경계 주사 기법과 함께 사용될 경우 메모리 테스트를 위한 부가적인 핀을 필요로 않는다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권1호
• /
• pp.45-53
• /
• 2009

최근 GUI 컴포넌트는 소프트웨어의 중요한 성공 요소이다. 따라서 GUI 컴포넌트는 반드시 검증되어야 한다. 그러나 소프트웨어의 GUI 검증을 위한 테스트에는 많은 시간과 비용이 소요된다. 이러한 자원의 소비를 줄이기 위해서는 GUI 테스트의 자동화가 필연적이다. 본 논문에서는 GUI 테스트를 수행하기 위해 고려해야 할 문제를 논하고 기존치 Record & Play-back 기술을 기반으로 한 GUI 테스트 케이스 생성 기법을 보완한다. 이를 위해 스파이 기술을 이용한 이벤트 생성 방법과 이렇게 생성된 이벤트를 그룹화하여 다양하고 효과적인 시나리오 생성 방법을 제안한다. 그리고 이렇게 생성된 시나리오를 바탕으로 GUI 테스트 케이스 생성 방법을 기술한다.

• 한국통신학회논문지
• /
• 제27권1A호
• /
• pp.66-72
• /
• 2002

본 논문에서 구현한 GenJTAG은 기판 수준의 테스팅을 위한 정보와 BIST(Built-In Self Test)에 대한 정보를 입력으로 받아 verilog-HDL 코드로 기술된 경계 주사 회로를 자동 생성해 주는 설계 자동화 툴이다. 대부분이 상용 툴들은 생성된 회로를 게이트 수준의 회로로 제공하기 때문에 사용자가 선택적으로 사용할 수 있는 BIST 관련 명령어를 회로에 추가하기가 어려운데 반해, 본 논문에서 구현한 툴은 사용자가 정의한 정보에 의해 BIST 관련 명령어를 지원할 수 있는 behavioral 코드의 경계 주사 회로를 생성하여 준다. 또한 behavioral 코드를 제공함으로써 사용자에 의한 수정을 용이하도록 하였다.

• 한국군사과학기술학회지
• /
• 제23권4호
• /
• pp.389-398
• /
• 2020

Test cases in the existing weapon system software were created manually by the tester analyzing the test items defined in the software integration test procedure. However, existing test case generation method has two limitations. First, the quality of test cases can vary depending on the tester's ability to analyze the test items. Second, excessive time and cost may be incurred in writing test cases. This paper proposes a method to automatically generate test cases based on the requirements model and specifications to overcome the limitations of the existing weapon system software test case generation. Generate test sequences and test data based on the use case event model, a model representing the requirements of the weapon system software, and the use case specification specifying the requirements. The proposed method was applied to 8 target models constituting the avionics control system, producing 30 test sequences and 8 test data.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2011년도 추계학술대회
• /
• pp.669-671
• /
• 2011

소프트웨어 개발 프로젝트에서는 다양한 개발 방법론을 적용해서 소프트웨어가 개발되고 있으며, 최종 목표 소프트웨어 및 시스템에 따라 최적의 개발방법론이 적용한다. 개발프로세스 단계에 따라 모듈을 개발하며 최종적으로 통합 단계에서 하나의 소프트웨어로 통합하고 있다. 하지만 프로젝트가 복잡하고 모듈별 의존도가 높을 경우 각 모듈 별로 개발된 코드는 많은 요구사항의 변경, 형상관리 미흡 및 표준 미 준수 등으로 모듈 통합이 완벽하게 진행되지 않고 있으며 그로인해 프로젝트 기간안에 완료하지 못하는 상황이 빈번하게 발생한다. 통합이 완료되지 못하면 소프트웨어 품질은 낮아 지고 프로젝트 비용 및 시간은 늘어나 결국 프로젝트가 실패 할 가능성이 높아진다. 각 모듈의 통합을 예측 가능하고 성공적으로 하기 위해 지속적인 통합 시스템을 구축하여 프로젝트에 적극적으로 적용하고, 공개소프트웨어 도구를 활용하여 자동화 시스템을 구축해야 한다. 국내에서는 지속적인 통합방법의 중요성을 인식하고 있지만 프로젝트 비용. 시간, 인식부족 및 도구의 부재 등으로 인해 소프트웨어 프로젝트에 활용되고 있지 않은 실정이다. 이에 본고에서는 공개소프트웨어 도구를 이용하여 지속적인 통합 환경을 구축하고 소프트웨어 품질개선에 활용할 수 있는 테스트 방안을 제안한다.

• 정보보호학회논문지
• /
• 제27권4호
• /
• pp.803-810
• /
• 2017

최근 소프트웨어 산업의 발달에 따른 사회적 보안 문제가 지속적으로 발생하고 있으며, 소프트웨어 안정성 검증을 위해 다양한 자동화 기법들이 사용되고 있다. 본 논문에서는 소프트웨어 테스팅 기법 중 하나인 동적 기호 실행을 이용해 윈도우 시스템 콜 함수를 대상으로 Use-After-Free 취약점을 자동으로 탐지하는 방법을 제안한다. 먼저, 목표 지점을 선정하기 위한 정적 분석 기반 패턴 탐색을 수행한다. 탐지된 패턴 지점을 바탕으로 관심 밖의 영역으로의 분기를 차단하는 유도된 경로 탐색 기법을 적용한다. 이를 통해 기존 동적 기호 실행 기술의 한계점을 극복하고, 실제 목표 지점에서의 취약점 발생 여부를 검증한다. 제안한 방법을 실험한 결과 기존에 수동으로 분석해야 했던 Use-After-Free 취약점을 제안한 자동화 기법으로 탐지할 수 있음을 확인하였다.