TTSPとは

TTSP(TOPPERS Test Suite Package)は、TOPPERS新世代カーネルを対象とした、各種テストツール、テストプログラム、テストデータ、ドキュメントの統合体です。

TTSP開発の背景

近年、組込みシステムの重要性が増加する一方で、組込みソフトウェアの不具合を原因とする欠陥が問題視されています。RTOSは、組込みシステムの品質を支える重要なソフトウェアであるため、RTOS自体の品質確保は重要な課題です。しかし、TOPPERSカーネルのようなオープンソースのRTOSは、製品への組込み時に利用者側での改変や拡張が行われることが一般的であるため、製品の品質を保証するために、ユーザはアプリケーションのテストだけではなく、利用したRTOSのテストも実施する必要があります。RTOSに対するテストは、一定のコストを要するため、オープンソースのメリットを損なっていると言えます。さらに、マルチプロセッサやメモリ保護に対応したRTOSは、歴史が浅く、検証手法が確立されていないという問題があります。そこで、名古屋大学組込みシステム研究センター(NCES)では、複数の企業と団体の参加を得て、RTOSに対するテスト手法の確立と、テストスイートの開発を実施しています。その成果の1つがTTSPです。

TTSPの特徴

  • APIに着目したテストを網羅的に実施可能
    • 静的APIのテストも実施可能
    • テスト用ターゲット依存部を用意することで、システム時刻制御や割込み、CPU例外に関するテストも実施可能
  • ターゲット非依存部のソースコードカバレッジを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.
  • 阿部真也, 鴫原一人, 本田晋也, 山本晋一郎, 高田広章, テストプログラム生成ツールのフロントエンドプロセッサの開発, 情報処理学会 組込みシステム(EMB), Vol.2011-EMB-20 No.12, pp.1--6, 2011.
  • 浅見侑太, 鴫原一人, 本田晋也, 山本晋一郎, 高田広章, マルチプロセッサ対応RTOS向けテストプログラム生成ツールにおけるプロセッ サ間同期の実現, 情報処理学会 組込みシステム(EMB), Vol.2011-EMB-20 No.11, pp.1--6, 2011.