TTSP 라는 것은

TTSP(TOPPERS Test Suite Package)는, TOPPERS 신세대 커널을 대상으로 한 각종 테스트 툴, 테스트 프로그램, 테스트 데이터, 문서의 통합체입니다.

TTSP 개발의 배경

최근 임베디드 시스템의 중요성 증가하는 한편으로, 임베디드 소프트웨어의 불완전한 상태를 원인으로 하는 결함이 문제시되고 있습니다. RTOS는 임베디드 소프트웨어의 품질을 지지하는 중요한 소프트웨어이기 때문에, RTOS 자체의 품질 확보는 중요한 과제입니다. 그러나 TOPPERS 커널과 같은 오픈 소스의 RTOS는 제품 편성시 이용자측에서 수정이나 확장을 하는 것이 일반적이기 때문에, 제품의 품질을 보증하기 위해서 유저는 애플리케이션의 테스트 만이 아니고 이용하는 RTOS의 테스트도 실시할 필요가 있습니다. RTOS에 대한 테스트는 일정한 코스트를 필요로 하기 때문에, 오픈 소스의 메리트를 해치고 있다고 말할 수 있습니다. 게다가 멀티 프로세서나 메모리 보호에 대응한 RTOS는 역사가 얕고, 검증 방법이 확립되어 있지 않다고 하는 문제가 있습니다. 거기서, 나고야 대학 임베디드시스템연구센터(NCES)에서는, 복수의 기업과 단체의 참가를 얻고, RTOS에 대한 테스트 수법의 확립과 테스트 스위트의 개발을 실시하고 있습니다. 그 성과 중 하나가 TTSP입니다.

TTSP 의 특징

  • API에 주목한 총체적 테스트 가능
    • 정적 API의 테스트도 실시 가능
    • 테스트용 타겟 의존부를 준비하는 것으로, 시스템 시각 제어나 인터럭트, CPU 예외에 관한 테스트도 실시 가능
  • 타겟 비의존부의 소스 코드 Coverage를 100%로 하는 테스트 케이스를 준비(※타이밍에 의존하는 패스는 제외한다.)
  • 특수한 테스트케이스를 제외하고는 테스트 프로그램 생성 툴을 이용하고 타겟 시스템에 맞춘 테스트 프로그램을 자동 생성한다.
    • 테스트 프로그램 생성 툴 TTG(TOPPERS Test Generator)를 개발
  • TTG에 의해서 테스트 프로그램을 분할하는 것으로, 실행 모듈의 사이즈를 타겟 시스템에 맞추어 변경 가능
  • CUI에 의한 테스트 실시 지원 툴을 준비
    • TTG의 조작을 기억하지 않아도 실행 가능
  • TOPPERS 라이센스에 근거하는 오픈 소스, 소프트웨어

서포트 하는 커널

  • TOPPERS/ASP 커널 Release 1.7.0

동작 환경

  • ASP 커널을 빌드하는 것이 가능한 환경
  • ruby 1.8.5이상

다운로드

최신 릴리즈
패키지 사이즈 릴리즈 날짜
TTSP Release 1.0.0 687KB 2011-05-19

버그 보고처

개발 스탭

TTSP의 개발에 참가하고 있는 개발 스탭은 다음과 같습니다. (소속은 참가한 시점)

이름 소속 시기
高田広章 나고야 대학 정보과학연구과 2009년
本田晋也 나고야 대학 정보과학연구과 2009년
森孝夫 나고야 대학 정보과학연구과 2010년
鴫原一人 나고야 대학 정보과학연구과 2009년
김 승엽 주식회사 디지털 크래프트 2009년
김 영주 주식회사 디지털 크래프트 2009년
김 한솔 주식회사 디지털 크래프트 2009년
김 현민 주식회사 디지털 크래프트 2010년
竹谷美里 후지소프트 주식회사 2010년
木村貴寿 일본 전기통신 시스템 주식회사 2009년
松浦光洋 유한회사 마츠우라 상사 2009년~2010년
馬鋭 산요전기 주식회사 2009년~2010년
眞弓友宏 나고야 대학 정보과학연구회 2009년~2010년
浅見侑太 아이치 현립 대학 정보과학연구회 2010년~2011년
阿部真也 아이치 현립 대학 정보과학연구회 2010년~2011년

※ 개발 스탭의 이름은, 게재가 승낙된 분에 한해서 기재하고 있습니다.

논문 소개

  • 鴫原一人, 松浦光洋, 김한솔, 김승엽，馬鋭, 염정열, 김영주，木村貴寿, 眞弓友宏, 本田晋也, 山本雅基, 高田広章, 임베디드 시스템 리얼타임 OS에 대한 API 테스트의 실시, 소프트웨어 테스트 심포지엄 2010 예고집, pp.46--53, 2010.
  • 松浦光洋, 김한솔, 眞弓友宏, 김승엽，염정열, 김영주, 木村貴寿, 鴫原一人, 馬鋭, 森孝夫, 本田晋也, 山本雅基, 高田広章, 멀티 프로세서 대응 RTOS의 테스트 개발 정보처리 학회 임베디드 시스템(EMB), Vol.2010-EMB-16 No.10, pp.1--8, 2010.
  • 鴫原一人, 森孝夫, 本田晋也, 山本雅基, 高田広章, RTOS의 테스트 자동 생성 시스템에 관한 고찰, 정보처리 학회 임베디드 시스템(EMB), Vol.2010-EMB-16 No.11, pp.1--8, 2010.
  • 鴫原一人, 眞弓友宏, 本田晋也, 高田広章, 멀티 프로세서 대응 RTOS를 대상으로 한 테스트 시나리오 기술법과 테스트 프로그램 생성 툴, 정보처리 학회 임베디드 시스템(EMB), Vol.2010-EMB-18 No.1, pp.1--8, 2010.
  • 김한솔, 浅見侑太, 阿部真也, 김승엽，김영주, 김현민, 竹谷美里, 木村貴寿, 鴫原一人, 森孝夫, 山本雅基, 本田晋也, 高田広章, 임베디드 리얼타임 OS를 위한 테스트 툴의 멀티 프로세서 확장, 소프트웨어 테스트 심포지엄 2011 예고집, pp.96--103, 2011.
  • 김영주, 김승엽，김한솔, 김현민, 竹谷美里, 木村貴寿, 鴫原一人, 森孝夫, 本田晋也, 山本雅基, 高田 広章, 멀티 프로세서 대응 RTOS에 대한 API 테스트의 실시, 정보처리 학회 임베디드 시스템(EMB), Vol.2011-EMB-20 No.13, pp.1--6, 2011.
  • 阿部真也, 鴫原一人, 本田晋也, 山本晋一郎, 高田広章, 테스트 프로그램 생성 툴의 front-end 프로세서의 개발, 정보처리 학회 임베디드 시스템(EMB), Vol.2011-EMB-20 No.12, pp.1--6, 2011.
  • 浅見侑太, 鴫原一人, 本田晋也, 山本晋一郎, 高田広章, 멀티 프로세서 대응 RTOS를 위한 테스트 프로그램 생성 툴에 있어서의 프로세서 간 동기의 실현, 정보처리 학회 임베디드 시스템(EMB), Vol.2011-EMB-20 No.11, pp.1--6, 2011.