• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권5호
• /
• pp.245-256
• /
• 2017

본 논문은 구조화된 체크리스트로부터 임베디드 시스템 테스팅을 위한 테스트 스크립트를 쉽게 생성할 수 있는 방법을 제안한다. 제안하는 방법은 체크리스트를 이벤트(Event), 컴포넌트(Component), 입력 명령어(Command) 사전을 기반으로 구성하고, 사전으로부터 계층적으로 테스트 스크립트를 생성한다. 계층 구조로 임베디드 시스템의 물리적 입력 계층이 상위 계층의 컴포넌트 및 이벤트 계층에서 추상화되어 복잡한 시스템 입력 정보를 사용하지 않고도 테스트 스크립트를 생성할 수 있다. 비슷한 종류의 입출력 정보를 가지는 임베디드 시스템을 테스트하기 위한 테스트 스크립트 생성은 재사용성이 높은 사전을 이용하여 매우 쉽게 할 수 있다. 제안하는 방법의 유용성은 실험을 통해 보인다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제5권12호
• /
• pp.641-652
• /
• 2016

본 논문은 임베디드 시스템 테스트를 위해 산업현장에서 많이 사용하는 체크리스트를 기반으로 테스트 스크립트를 자동으로 생성하기 위한 방법을 제안한다. 제안하는 방법은 수동 생성에서 발생할 수 있는 오류를 줄일 수 있을 뿐만 아니라, 기존의 체크리스트로는 테스트하지 못하는 다양한 모드 조합을 테스트하기 위한 테스트 스크립트도 생성할 수 있다. 체크리스트에 있는 테스트 명령어는 테스트 명령어 사전에 정의된 신호 값을 참조하여 테스트 스크립트로 변환된다. 또한, 체크리스트를 정의된 일련의 연관된 동작의 집합인 모드들 간의 동작을 확인할 수 있게 하는 순차적, Double permutation 및 무작위 방법으로 테스트 스크립트를 생성할 수 있는 방법을 제안한다. 제안된 방법은 구현되었고, 실험을 통해 그 가능성을 보여준다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권8호
• /
• pp.401-410
• /
• 2017

본 논문에서는 임베디드 시스템 테스트에 많이 사용되는 테스트 항목이 기술된 체크리스트를 기반으로 테스트 케이스를 자동으로 생성하기 위한 방법을 제안한다. 일반적으로 체크리스트에는 테스트하고자 하는 항목이 정의되어 있다. 하지만 대부분의 테스트 케이스 생성 전략에서는 테스트 하고자하는 항목뿐만 아니라 다양한 변이 조건에서도 테스트하기를 권하고 있다. 제안하는 방법은 한글로 기술된 체크리스트를 분석하여 시스템 입출력과 연산 정보를 찾아낸다. 그리고 찾아낸 정보와 설정하는 테스트 케이스 생성 전략에 따라 테스트 케이스를 자동으로 생성한다. 이 방법은 테스트 케이스를 수동으로 생성할 때, 일으킬 수 있는 오류를 줄일 수 있을 뿐만 아니라, 체크리스트에는 기술되지 않는 다양한 변이 테스트 케이스도 생성할 수 있다. 제안된 방법은 구현되고, 실제 의료기기용 임베디드 시스템의 체크리스트를 사용하여 실험을 진행한다. 실험에서는 체크리스트로부터 여러 커버리지에 적절한 테스트 케이스가 오류 없이 통계적으로 정확히 생성되었음을 확인할 수 있어서 제안된 방법의 유용성을 보여준다.

• 한국산학기술학회논문지
• /
• 제22권1호
• /
• pp.87-93
• /
• 2021

현대 무기체계는 전자장비 탑재의 비중이 늘어나고 있으며, 그에 따른 소프트웨어 탑재비중도 늘어나고 있다. 소프트웨어 비중이 높아감에 따라 그 품질관리와 개발방법에 대한 관심도 높아졌다. 물리적으로 가시화 된 기계체계와 달리 논리적으로 비가시화 된 소프트웨어는 결함에 노출될 경우 복구의 어려움, 재사용의 어려움, 자원의 낭비와 같은 위험에 놓여 질 수 있다. 미국의 경우 국방 소프트웨어의 개발과 품질관리를 위한 별도의 프로세스를 연구하고 적용하는 노력을 통해 CMM(Capability Maturity Model)을 만드는 성과도 거두었다. 우리나라 또한 국제표준을 바탕으로 국방 소프트웨어 개발 및 품질관리에 대한 기준을 만들어 활용하고 있다. 그러나 소프트웨어의 발전 속도에 맞추어 기준을 변경해야 함에도 아직 기초수준에 머무르고 있다는 지적이 있다. 소프트웨어 발전 속도에 비해 기준이 낮다면, 자원 재사용 비용 및 복구비용이 기하급수적으로 늘어난다. 본 논문에서는 CMM의 소프트웨어 테스트 파생형인 TMMi(Test Maturity Model-integration)을 통해 국방 소프트웨어 테스트 절차 발전 방안에 대해 논의하고, 국방 소프트웨어 품질관리에 대한 청사진을 제시하고자 한다.

• 한국철도학회논문집
• /
• 제11권2호
• /
• pp.139-144
• /
• 2008

최근 임베디드 시스템 기술의 발전에 따라 열차제어시스템의 자동화가 촉진되고 있다. 이를 위한 하드웨어의 안전성 검증을 위한 연구는 활발히 진행되고 있으나, 소프트웨어의 안전성을 검증하기 위한 체계적인 노력은 거의 이루어지지 않고 있다. 이 논문에서는 열차제어 시스템 소프트웨어의 안전성을 자동으로 평가 할 수 있는 소프트웨어 도구를 제안한다. 이를 위하여 관련 국제표준을 분석하였으며, 기존의 사용 소프트웨어 테스팅 도구들을 조사하였다. 이로부터 국제표준에서 요구하는 주요 요건을 테스팅 할 수 있는 도구를 제안하였으며, 이 도구는 소프트웨어 전 개발주기에서 이용이 가능하다. 이 도구는 기존의 테스팅 도구들과는 달리 소프트웨어의 안전성을 검증할 수 있다는 점에서 그 의의가 크다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권7호
• /
• pp.361-370
• /
• 2017

본 논문은 임베디드 시스템이 제어하는 서브시스템의 실시간 피드백을 반영하여 테스트 케이스를 생성할 수 있는 테스트 생성기 구조를 제안한다. 일반적으로 폐쇄형 임베디드 시스템은 자신이 제어하는 서브시스템의 피드백을 참조하여 서브시스템의 다음 상태를 제어하는 값을 결정한다. 그와 같은 시스템에서는, 피드백을 고려하지 않는 전통적인 테스트 케이스는 사용하기 어렵다. 본 논문에서 제안하는 테스트 케이스 생성기 구조는 서브시스템의 피드백을 이용하여 다음에 사용할 테스트 케이스를 실시간 재구성한다. 제안하는 구조를 구현하고 데모 시스템을 이용하여 유용성을 검증한다.

• 한국항행학회논문지
• /
• 제27권2호
• /
• pp.228-234
• /
• 2023

고품질 소프트웨어의 요구 증가로 국제표준, 산업 기능안전(IEC 61508), 자동차(ISO 26262), 무기체계 내장형 소프트웨어 지침 등 품질 인증 요구가 많다. 스타트 업, 벤처, 중소 업체들은 비용 및 인력 측면에서 체계적인 품질 획득이 어려움이 있다. 그들 업체에게 자동 테스트 케이스 생성은 비용, 시간, 인력 문제에도 소프트웨어 품질을 향상할 수 있는 해법으로 제시 될 수 있다. 이를 위해, 시스템 및 소프트웨어 설계 검증이 가능한 "의사 결정표" 기반 테스트 케이스 자동화를 제안한다. 이는 OMG의 표준 기법인 메타모델과 모델 변환 기법을 사용해 각각 의사 결정표(Model)와 테스트 케이스(Text)의 메타모델 설계 및 모델변환을 정의한다. 즉 의사 결정표 입력으로 테스트 케이스 발생 자동화이다. 이를 통해 MC/DC 커버리지등도 쉽게 적용 가능하다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권2호
• /
• pp.108-119
• /
• 2000

병렬 프로그램 테스팅을 위한 기존의 연구는 대부분 프로그램 수행 중에 얻어진 이벤트 트레이스(event trace)를 바탕으로 재수행성을 보장하는데 중점을 두고 있다. 반면에 개발과정에서 만들어진 요구/설계 명세로부터 테스팅을 위한 이벤트 시퀀스를 생성하는 방법에 대한 연구는 빈약한 실정이다. 이 논문에서는 통신 소프트웨어 개발 분야에서 광범위하게 사용되는 메시지 순차도(MSC)로부터 병렬 프로그램의 모듈 테스팅을 위한 이벤트 시퀀스를 생성하는 방법을 제시한다. 명세로부터 이벤트 시퀀스를 생성하기 위해서는 명세 내에 묵시적으로 포함되어 있는 이벤트들과 그들 간의 선후관계를 파악해야 한다. 이를 위해서 이 연구에서는 프로그램 수행 중에 이벤트들의 발생 순서를 결정하기 위해 사용해오던 논리시간 벡터(logical time stamp)를 MSC 명세에 적용함으로써 이벤트 간의 선후관계를 추출한다. 또한 이를 바탕으로 이벤트 시퀀스를 자동 생성하는 방법을 제시하고 전화 통화 예제를 사용해서 제시한 방법의 효용성을 보인다.

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

최근 내장형 시스템이 점점 많은 분야에 사용되며, 시스템에 특화된 운영체제 커널에 대한 필요성이 커지고 있다. 하지만, 커널 개발은 코드의 복잡성 등의 이유로 말미암아 테스팅에 큰 비용이 소요됨에도 불구하고, 높은 신뢰성을 달성하기가 어려운 실정이다. 이러한 커널 개발 및 테스팅의 어려움을 극복하기 위해, 운영체제 커널의 동시성 오류 검출을 지원하는 모델 기반의 커널 테스팅 (MOKERT) 프레임워크를 제안한다. MOKERT 프레임워크는 주어진 C 프로그램을 Promela 정형 명세 모델로 변환하고 나서 Spin 모델검증기를 사용하여 검증하고, 검증반례가 생성된 경우, 이 검증반례를 실제 커널 코드에서 실행을 시켜서 진위를 확인한다. 본 연구에서는 MOKERT 프레임워크를 리눅스 proc파일시스템에 적용하여, ChangeLog에 보고된 오류가 실제로 자원경쟁문제를 일으킴을 확인하였을 뿐만 아니라, 커널 패닉을 일으키는 새로운 오류도 발견하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(A)
• /
• pp.256-258
• /
• 2012

임베디드 소프트웨어를 실제 하드웨어 상에서 테스팅 하는 것은 하드웨어의 사용이 개발후반에 가능함에 따른 시간적인 제약으로 인해 테스트를 위한 충분한 시간 확보에 어려움이 있다. 이러한 문제점은 임베디드 소프트웨어 테스팅을 위한 시뮬레이션 기반 테스팅 환경의 구축으로 간단히 해결 할 수 있다. $\mu$-ITRON은 일본 임베디드 분야에서 활발히 사용되는 Real-Time Embedded OS로, 본 논문은 하드웨어 에뮬레이터 QEMU를 이용하여 임베디드 소프트웨어 테스팅을 위한 ARM Cortex-M3기반 $\mu$ITRON의 시뮬레이션 환경 구축에 대해 설명한다.