J2ME 플랫폼 기반의 테스트케이스 생성 기법

김상일,노명기,류성열,Kim Sang-Il,Roh Myong-Ki,Rhew Sung-Yul 한국정보처리학회 2006 정보처리학회논문지D Vol.13 No.2

모바일 소프트웨어의 생산성을 높이고 신뢰성 있는 소프트웨어를 개발하기 위한 모바일 소프트웨어 테스트의 중요성이 부각되고 있다. 모바일 소프트웨어의 테스팅 기술이 효율적으로 적용되기 위해서는 모바일 플랫폼 기반의 테스트를 자동화 할 수 있는 기술이 필요하다. 즉, 모바일 플랫폼에서 제공하는API를 테스트 하기 위한 테스트케이스를 생성할 수 있는 기법이 필요하다. 테스트케이스를 생성하게 되면 소프트웨어의 생산성과 신뢰성을 향상 시킬 수 있을 뿐만 아니라, 테스트 기간 및 비용을 줄일 수 있다는 이점이 있다. 본 논문에서는 기존의 테스트 자동화에 관련된 연구와 테스트 자동화 도구에 대한 연구를 통해 테스트케이스 생성 범위를 설정하고, J2ME 플랫폼에 사용될 수 있는 테스트케이스 생성 기법인 키워드 방식 기법(Keyword Driven Method)을 제시하였으며, 제안한 생성 기법을 적용하여 J2ME 플랫폼 기반의 테스트에 활용 가능한 테스트케이스 생성 기법이 되도록 하였다. The importance of mobile software test is being addressed to improve the productivity and reliability of the software. Test automation technique based on mobile platform is required for effective application of mobile software test. That is, a technique is needed to generate test case for mobile platform API. When test case generated, software productivity and reliability are improved, while test duration and cost are decreased. In this paper, we identified test case generation scope through previous works about test automation, suggested keyword driven method, a test case generation technique on J2ME platform, and recognized that proposed method can be applicable to generating test case based on J2ME platform.

실시간 이동형 내장 소프트웨어 시험 도구의 구조 설계

김상일(Sang Il Kim),이남용(Nam Yong Lee),류성열(Sung Yul Rhew) 한국정보과학회 2006 정보과학회논문지 : 소프트웨어 및 응용 Vol.33 No.4

소프트웨어의 생산성을 높이고 신뢰성 있는 실시간 이동형 내장 소프트웨어를 개발하기 위해서는, 소프트웨어를 실시간으로 정확하게 분석하고 시험 검증할 수 있는도구가 필요하다. 이러한 도구는 기본적으로 소스코드 기반의 화이트박스 시험 기능, 실시간 시스템 모니터링과 실행 제어 기능을 필요로 하며, 향후 다양한 시스템 환경과의 연동을 고려하여 재사용성과 이식성을 높일 수 있도록 설계되어야 한다. 본 논문에서는 실시간 이동형 내장 소프트웨어를 시험하기 위한 시험검증 도구의 기능적 요구사항을 식별하고, 식별된 요구사항을 바탕으로 시험검증 도구에 적합한 구조를 설계하였다. 또한 시험검증 도구의 확장성과 이식성 제고를 위해 각 기능에 대한 구체적인 구현 기술과 기법을 제시하였으며, 이들 기능의 설계에 디자인 패턴을 적용하였다. A tool for analyzing and testing software in real-time is required for the efficient development of highly reliable real-time mobile embedded software. This tool requires various technologies, such as source code based white-box test and real-time system monitoring and control. The tool also should be designed to improve reusability and portability by considering the interaction with other kinds of real-time system. This paper identifies and analyzes the functional requirements for the test tool on real-time mobile embedded software and suggests an adequate tool architecture based on the collected requirements. It also suggests the specific implementation technology and architecture design pattern to support the tool’s expandability and portability.

무기체계 소프트웨어 신뢰성 시험을 위한 효율적 시험 환경 구축 방안

최민관(Minkwan Choi),박다운(Daun Bak),국승학(Seunghak Kook) 한국정보과학회 소프트웨어공학 소사이어티 2019 소프트웨어공학회지 Vol.28 No.1

최근 무기체계에서 소프트웨어가 차지하는 비중이 증가됨에 따라 소프트웨어의 품질이 매우 중요한 요소가 되고 있다. 무기체계 소프트웨어의 품질 향상을 위해 방위사업청은 무기체계 소프트웨어 개발 및 관리 매뉴얼에 소프트웨어 신뢰성을 제도화 하였고, 구체적인 방법 및 절차를 제시하고 있다. 매뉴얼에서 요구하는 소프트웨어 신뢰성 시험의 기준을 충족하기 위해서는 개발 전(全) 순기에 걸쳐 지속적인 시험을 통해 결함의 검출 및 수정이 필요하지만, 보안을 위한 망분리 환경, 시험 도구 확보를 위한 비용 문제로 인해 적정 수준의 시험 환경을 구축하는데 어려움이 따른다. 따라서 본 연구에서는 방위산업 분야에서 제한된 개발 환경과 한정된 자원을 활용해 효율적으로 소프트웨어 신뢰성 시험을 수행 할 수 있는 환경 구축 방안을 제시하고자 한다. Recently, as the weight of software in the weapon system increases, the quality of the software becomes a very important factor. In order to improve the quality of the weapon system software, DAPA(Defense Acquisition Program Administration) has institutionalized software reliability in Weapon System Software Development and Management Manual. The manual presents specific methods and procedures to improve the weapon system software quality. In order to meet the required reliability test standards specified in the manual, it is necessary to continuously detect and correct defects throughout the entire development period. However, it is difficult to build proper reliability test environment due to the cost of software reliability tools, setting up secured and separated network environment, and etc. Therefore, in this study, we propose an efficient environment construction method for software reliability test of defense industry field in restricted development environment and limited resources.

CREST-BV: 임베디드 소프트웨어를 위한 Bitwise 연산을 지원하는 Concolic 테스팅 기법

김윤호(Yunho Kim),김문주(Moonzoo Kim),장윤규(Yoonkyu Jang) 한국정보과학회 2013 정보과학회논문지 : 소프트웨어 및 응용 Vol.40 No.2

기존 소프트웨어 테스팅 기법은 개발자가 수동으로 테스트 케이스를 작성해야 하는 비효율성으로 인해 임베디드 소프트웨어의 안정성 확보에 어려움이 있다. Concolic 테스팅 기법은 자동으로 소프트웨어 테스트 케이스를 생성함으로써 기존 소프트웨어 테스팅 기법의 문제를 해결했지만, 임베디드 소프트웨어 테스트에 필수적인 bitwise 연산을 지원하지 않는 문제가 있었다. 본 논문에서는 임베디드 소프트웨어를 위해 bitwise 연산을 지원하는 Concolic 테스팅 개선 방법을 연구하고 오픈 소스 임베디드 소프트웨어 Busybox에 적용하여 기존 연구와 분기 커버리지 및 실행 속도를 비교하였다. Busybox의 10개 유틸리티에 적용한 결과 기존 연구 결과 대비 평균 33%의 분기 커버리지 향상이 있었다. 또한, CREST-BV의 성능 저하 원인을 분석하였다. Conventional testing methods often fail to assure reliability of embedded software due to inefficiency and ineffectiveness of manual test case generation. Concolic testing can address this by automatically generating test cases but has a limitation that does not support bitwise operations critical to embedded software. To address this limitation, we have developed an improved concolic testing technique with bitwise operations support for embedded software. We applied the improved technique to 10 utilities of open-source embedded software Busybox and achieved 33% more branch coverage on average. In addition, we analyzed the performance bottleneck of the improved technique.

SVM을 이용한 위험모듈 예측

김영미(YoungMi Kim),정충희(ChoongHeui Jeong),김현수(HyeonSoo Kim) 한국정보과학회 2009 정보과학회 컴퓨팅의 실제 논문지 Vol.15 No.6

안전-필수 분야에 사용되는 소프트웨어의 신뢰도(dependability)를 보장하기 위해 소프트웨어의 테스팅과 확인 및 검증활동이 매우 중요하다. 본 연구에서는 위험수준이 높은 소프트웨어 모듈을 소프트웨어 수명주기 초기에 예측하여, 테스팅과 확인 및 검증 활동에 대한 자원할당을 도울 수 있게 해준다. 다중 클래스 분류를 지원하는 SVM(Support Vector Machine)을 이용하여 소프트웨어 모듈의 잠재위험수준 을 예측한다. 잠재위험수준이 상대적으로 높게 나온 모듈들에 대해 테스팅과 확인 및 검증을 집중적으로 실시함으로써 보다 효과적으로 소프트웨어의 품질을 향상시킬 수 있다. 또한, 원전의 계측제어계통에 사용되는 안전-필수 소프트웨어의 안전성 심사를 위한 대상 모듈을 샘플링할 때 활용할 수 있을 것으로 기대된다. Software used in safety-critical system must have high dependability. Software testing and V&V(Verification and Validation) activities are very important for assuring high software quality. If we can predict the risky modules of safety-critical software, we can focus testing activities and regulation activities more efficiently such as resource distribution. In this paper, we classified the estimated risk class which can be used for deep testing and V&V. We predicted the risk class for each module using support vector machines. We can consider that the modules classified to risk class 5 and 4 are more risky than others relatively. For all classification error rates, we expect that the results can be useful and practical for software testing, V&V, and activities for regulatory reviews.

스마트 센서 응용 소프트웨어를 테스팅하기 위한 효율적인 방법

조장우(Jang-Wu Jo),정환철(Hwan-Cheol Joeng) 한국컴퓨터정보학회 2013 韓國컴퓨터情報學會論文誌 Vol.18 No.8

본 논문에서는 스마트 센서 응용 소프트웨어를 테스팅하기 위한 효율적인 방법인 가상 센서 시스템을 제안한다. 센서 응용 소프트웨어를 테스트하는 보편적인 방법은 테스트 보드에 센서를 직접 연결시켜 테스팅 환경의 센서 측정값으로 응용소프트웨어를 테스팅 하는 것이다. 센서 측정값을 입력으로 센서 응용 소프트웨어를 테스팅함으로 발생하는 문제는 테스트 데이터가 제한적이라는 것이다. 즉, 테스트 데이터가 센서로부터 생성되기 때문에 소프트웨어 테스터가 테스트 데이터를 조절하지 못하는 문제가 있다. 이러한 문제를 해결하기 위해 가상센서 시스템을 제안한다. 가상 센서 시스템은 소프트웨어 테스터가 센서의 측정값을 조절할 수 있게 한다. 가상 센서 시스템에서 센서 선택, 센서 특성화, 출력 패턴 정의의 세 단계를 통해 가상 센서를 정의한다. 가상 센서 시스템을 통해 조절 가능한 센서 측정값을 사용함으로써 센서 응용 소프트웨어에 대한 효율적인 테스트가 가능하다. 본 연구의 유용성을 보이기 위해 가상 센서 시스템을 안드로이드 앱의 센서 프로그램에 적용해 보고 실험 결과를 보인다. This paper presents a virtual sensor system that is an effective method to test application software of smart sensors. The common way of testing sensor application is to build a test board, connect sensors to the board, and test sensor applications on the board with sensor's measurements as inputs. The problem of testing sensor application software with sensor's measurements as inputs is the restriction of test data. In other words, software testers cannot manipulate test data, because test data is generated by sensors. To solve this problem a virtual sensor system is presented in this paper. The virtual sensor system enables software testers to manipulate measurements of sensors. In the virtual sensor system, generation of virtual sensors comprises three stages - sensor selection, sensor characterization, and determination of output patterns. Sensor's measurements that can be manipulated through the virtual sensor system make the process of testing efficient. To show the usefulness of our virtual sensor system, it is applied to sensor applications in Android platform and the result of experiments is shown.

AUTOSAR 소프트웨어 컴포넌트의 유닛 테스트 방법

금대현(Daehyun Kum),이성훈(Seonghun Lee),박광민(Gwangmin Park),손병점(Byeongjeom Son) 한국정보과학회 2010 정보과학회 컴퓨팅의 실제 논문지 Vol.16 No.11

최근 세계 자동차 업계는 AUTOSAR 소프트웨어 플랫폼 표준을 제정하여 소프트웨어의 신뢰성과 재사용성을 향상키고 있다. 그러나 테스트 시스템 및 테스트 프로세스의 신뢰성 확보와 테스트에 소요되는 기간 단축을 위하여 테스트의 표준화 및 자동화가 절실하다. 특히 RTE 및 베이직 소프트웨어 모듈은 표준화를 만족하는 설계 도구를 사용함으로써 최소한의 신뢰성이 보장되지만, 여전히 응용소프트웨어 컴포넌트에 대해서는 철저한 테스트가 필요하다. 본 논문에서는 표준화된 AUTOSAR 설계 정보를 이용하여 소프트웨어 컴포넌트의 유닛 테스트를 위한 테스트 시스템의 생성 및 테스트 케이스 생성 자동화 방법을 제안하였으며, 테스트 시스템은 TTCN-3 테스트 표준을 적용하였다. 본 논문에서 제안한 방법을 적용함으로써 차량 소프트웨어의 개발 기간 단축 및 신뢰성을 향상시킬 수 있었다. AUTOSAR, a standard software platform for automotive, has been developed to manage software complexity and improve software reuseability. However Automated and standardized testing is needed to improve reliability and reduce time and effort on testing. Fundamental functionality of AUTOSAR RTE and basic software modules is guaranteed by using an AUTOSAR tool, but application software components have to be tested thoroughly. In this paper, we suggest a test system for the AUTOSAR software component using TTCN-3, a standardized testing language. Test execution system and test cases for the software component are generated automatically from AUTOSAR XML containing software design information. With the proposed testing techniques we can reduce time and effort to build the testing system.

Software-in-the-Loop 시뮬레이션 기반의 임베디드 소프트웨어의 견고성 테스팅

정수용(Sooyong Jeong),백태산(Tae-San Baek),황병일(Bueng Il Hwang),이우진(Woo Jin Lee) 한국컴퓨터정보학회 2015 한국컴퓨터정보학회 학술발표논문집 Vol.23 No.2

소프트웨어의 작동 중에 중대한 고장 없이 유연하게 대처할 수 있는 성질은 견고성이라 불리며 임베디드 소프트웨어에서 중요하게 여겨진다. 본 논문에서는 개발 중인 임베디드 소프트웨어의 견고성을 조기에 검증하기 위하여, 실물 시스템을 이용한 테스트가 갖는 물리적 한계를 극복할 수 있는 Software-in-the-Loop 시뮬레이션을 이용하여 개발 중인 PC에 견고성 테스팅 환경을 갖추는 방법을 제시한다. 제시한 방법은 소프트웨어의 견고성을 표현할 수 있게끔 만드는 테스트 케이스를 생성하고, 가상 시뮬레이션 환경을 구성하여 테스트 케이스를 실행함으로써 소프트웨어의 견고성을 객관적인 수치의 형태로 나타내는 방법을 보인다.

임베디드 소프트웨어 테스트를 개선하기 위한 에뮬레이터 기반 인터페이스 테스트 도구

서주영(Jooyoung Seo),최병주(Byoungju Choi) 한국정보과학회 2008 정보과학회 컴퓨팅의 실제 논문지 Vol.14 No.6

임베디드 시스템은 어플리케이션, OS 커널, 디바이스 드라이버, HAL, 하드웨어와 같은 이질적 계층들이 매우 밀접히 결합되어 있다. 임베디드 시스템은 제품 목적과 탑재된 하드웨어에 따라 맞춤 제작된다. 또한 점점 짧아지는 제품 주기 때문에 여러 업체의 소프트웨어, 하드웨어가 불안정한 상태에서 통합된다. 따라서 모든 계층에 결함 발생 확률이 높다. 임베디드 소프트웨어 개발자는 자신의 코드를 결함이 내재된 다른 계층들과 통합된 상태에서 테스트하며, 이 때문에 테스트해야 할 모든 영역을 테스트하였는지, 자신의 코드가 잘못된 건지, 통합된 다른 소프트웨어나 하드웨어에 문제가 있는 건 아닌지를 확신하기 힘들다. 본 논문은 임베디드 소프트웨어 개발자가 다양한 계층에 내재된 결함 위치와 원인을 추적할 수 있도록 하는 임베디드 소프트웨어 인터페이스 테스트 방안과 이를 구현한 자동화 도구 Justitia를 제안한다. 제안하는 기술은 개발자를 돕기위한 이뮬레이터를 이용한 디버깅을 전문적인 테스팅으로 승화시킨 자동화 방안이다. Embedded system is tightly coupled with heterogeneous layers such as application, OS kernel, device driver, HAL and hardware. Embedded system is customized for the specific purpose and hardware. In addition, the product cycle is so fast that software and hardware, which are developed by several vendors, are integrated together under unstable status. Therefore, there are lots of possibilities of faults in all layers. Because embedded software developers test their codes integrated with faulty layers, they cannot confirm ‘whether testing of every aspects was completed, their code was failed, or integrated software/hardware has some problems’. In this paper, we propose an embedded software interface test method and a test tool called Justitia for detecting faults and tracing causes in the interface among heterogeneous layers. The proposed technique is an automated method which improves debugging upto professional testing using an emulator for helping developer.

보안 임베디드 소프트웨어 개발을 위한 융합 모델

김행곤 보안공학연구지원센터 2010 보안공학연구논문지 Vol.7 No.5

최근 융?복합에 대한 관심이 높아지면서 융합형 임베디드 소프트웨어 응용 분야 및 이를 개발하기 위한 다양한 방법론 및 도구에 대한 연구가 활발히 진행되고 있다. 특히, 임베디드 소프트웨어의 생산성 및 품질 향상을 위한 개발 방법론 및 테스팅에 관한 연구가 필수적으로 요구되고 있다. 따라서 임베디드 응용에 적합한 개발 모델 및 절차에 대한 체계적 연구가 필요하며 인증된 모델 융합이 요구된다. 본 연구에서는 소프트웨어 신기술인 소프트웨어 모델인 MDA(Model Driven Architecture) 와 프로덕트 라인 그리고 CBD기술을 도입하여 응용 임베디드 도메인에 적합한 소프트웨어 개발 도구 및 환경 지원을 위한 통합 모델을 연구 한다. 플랫폼-독립적인 임베디드 소프트웨어 개발 모델과 플랫폼-종속적인 영역을 관심의 분리를 통해 분리하여 추후 구현단계에서 융합하는 임베디드 소프트웨어 개발지원 통합 모델 기법을 제안하고 임베디드 소프트웨어 생산성 및 품질을 높이게 한다.