命令セットシミュレータの実行制御機構を用いたマルチプロセッサRTOSのテスト効率化手法(ソフトウェアシステム,<特集>学生論文)
スポンサーリンク
概要
- 論文の詳細を見る
複数のプログラムが並列若しくは並行動作する環境では,プログラムの実行順序に依存してパスが定まる分岐が存在することがある.ソフトウェアテストでは分岐を網羅することが求められ,プログラムを繰り返し実行する手法が考えられるが,特定のパスを決定的に実行することができない.また,プログラムの実際の実行順序を知ることが困難であるため,実行順序に依存する分岐に関するテストを効率的に行うことができない.本論文では,テストプログラムからプロセッサの実行を制御することで,プログラム中の特定のパスを決定的に実行する機構を用いたテスト効率化手法を提案する.提案手法により,マルチプロセッサ向けリアルタイムOSであるTOPPERS/FMPカーネルにおけるプロセッサの実行順序に依存したパスを全て決定的に実行することができ,テストの効率化が可能であることを確認した.
- 2012-03-01
著者
-
本田 晋也
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
高田 広章
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
高田 広章
豊橋技術科学大学
-
高田 広章
名古屋大学
-
高田 広章
名古屋大学大学院情報科学研究科
-
高瀬 英希
名古屋大学大学院情報科学研究科
-
高田 広章
豊橋技科大
-
一場 利幸
名古屋大学大学院情報科学研究科
-
鴫原 一人
名古屋大学
-
高瀬 英希
名古屋大学大学院情報科学研究科|日本学術振興会
-
高田 広章
名古屋大学大学院情報科学研究科附属組込みシステム研究センター|名古屋大学大学院情報科学研究科情報システム学専攻
-
Takada Hiroaki
Nagoya Univ.
-
高田 宏章
豊橋技術科学大学情報工学系
-
森 孝夫
名古屋大学
-
本田 晋也
名古屋大学大学院情報科学研究科付属組込みシステム研究センター
-
高田 広章
名古屋大学 大学院情報科学研究科
-
高田 広章
名古屋大 大学院情報科学研究科 組込みシステム研究セ
-
高田 広章
東大・理
-
高田 広章
東京大学 理学部
-
本田 晋也
名古屋大学大学院情報科学研究科
-
高瀬 英希
名古屋大学
-
高瀬 英希
名古屋大学|日本学術振興会
-
本田 晋也
名古屋大学
-
一場 利幸
名古屋大学
-
Hideki Takase
Graduate School of Information Science, Nagoya University|Presently with Graduate School of Informatics
関連論文
- 動作合成のプロセッサ設計への適用(高位設計-2, システムオンシリコン設計技術並びにこれを活用した VLSI)
- 動作合成のプロセッサ設計への適用(高位設計-2, システムオンシリコン設計技術並びにこれを活用した VLSI)
- セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化(システムプログラム)
- RTOSのテスト自動生成システムに関する一考察 (ディペンダブルコンピューティング)
- RTOSのテスト自動生成システムに関する一考察 (コンピュータシステム)
- マルチプロセッサRTOS対応シミュレーション環境の機能拡張と効率化(マルチコア・マルチプロセッサ,組込技術とネットワークに関するワークショップETNET2008)
- マルチプロセッサRTOS対応シミュレーション環境の機能拡張と効率化(マルチコア・マルチプロセッサ,組込技術とネットワークに関するワークショップETNET2008)
- ITRON仕様OSの機能分散マルチプロセッサ拡張(システムプログラム)
- タスクのデッドラインのみを用いる時間保護スケジューリングアルゴリズム (集積回路)
- タスク優先度を考慮した時間保護スケジューリングアルゴリズム(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用 (ディペンダブルコンピューティング)
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用 (コンピュータシステム)
- トレースログ可視化ツールの開発(ドライバ,ツール,組込技術とネットワークに関するワークショップETNET2009)
- トレースログ可視化ツールの開発(ドライバ、ツール,組込技術とネットワークに関するワークショップETNET2009)
- セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化(リアルタイムシステム)
- AS-1-3 システムレベル設計環境System Builderを用いたAES暗号化システムの設計事例(AS-1.高位設計・検証,シンポジウムセッション)
- セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化
- 時間保護のためのリアルタイムスケジューリングアルゴリズム(実時間処理)
- マルチプロセッサRTOS対応コシミュレータ(システム設計/評価技術)
- 関数レベル並列性を活用した動作記述分割手法(セキュリティ・その他,組込技術とネットワークに関するワークショップETNET2008)
- 車載センサのネットワーク化を実現するハードウェアの提案と評価(通信,組込技術とネットワークに関するワークショップETNET2008)
- 機能分散マルチプロセッサ向けRTOSへのマイグレーション可能タスクの導入(実時間OS,並列アルゴリズム)
- 対称型マルチコアシステムのエンジン制御ソフトウェアへの適用
- マルチプロセッサRTOS対応シミュレーション環境の機能拡張と効率化(マルチコア・マルチプロセッサ,組込技術とネットワークに関するワークショップETNET2008)
- マルチプロセッサRTOS対応シミュレーション環境の機能拡張と効率化(マルチコア・マルチプロセッサ,組込技術とネットワークに関するワークショップETNET2008)
- トレースログ可視化ツールの開発(ドライバ,ツール,組込技術とネットワークに関するワークショップETNET2009)
- トレースログ可視化ツールの開発(ドライバ、ツール,組込技術とネットワークに関するワークショップETNET2009)
- リアルタイムアプリケーション統合のための柔軟なスケジューリングフレームワーク
- タスク優先度を考慮した時間保護スケジューリングアルゴリズム(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- タスク優先度を考慮した時間保護スケジューリングアルゴリズム(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- タスク優先度を考慮した時間保護スケジューリングアルゴリズム(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- マルチプロセッサ対応RTOSを対象としたテストシナリオ記述法とテストプログラム生成ツール
- DUOS:車載ECU統合向けRTOSフレームワーク
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- 時間保護のためのタスク起動遅延付き階層型スケジューリングアルゴリズム
- 車載ECU統合向け異種OS間通信ミドルウェア
- タスクのデッドラインのみを用いる時間保護スケジューリングアルゴリズム
- タスクのデッドラインのみを用いる時間保護スケジューリングアルゴリズム
- DUOS:車載ECU統合向けRTOSフレームワーク
- 割込み処理を含むリアルタイムアプリケーション統合のための階層型スケジューリング
- 車載ECU統合向け異種OS間通信ミドルウェア
- AUTOSAR通信ミドルウェアのマルチコア拡張
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- ARMv6アーキテクチャを用いたメモリ保護RTOSのユーザスタック保護の設計と評価
- マルチプロセッサ対応RTOSにおけるロードバランス機構の実現
- NEXCESS : 社会人組込みソフトウェア技術者教育におけるスキル育成
- 社会人に対する組込みソフトウェア技術の再教育の取り組み
- マルチプロセッサ対応RTOSを対象としたテストシナリオ記述法とテストプログラム生成ツール
- DUOS : 車載ECU統合向けRTOSフレームワーク
- DUOS : 車載ECU統合向けRTOSフレームワーク
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- 車載ECU統合向け異種OS間通信ミドルウェア
- タスクのデッドラインのみを用いる時間保護スケジューリングアルゴリズム
- タスクのデッドラインのみを用いる時間保護スケジューリングアルゴリズム
- 3-215 コンソーシアム型共同研究を通じたソフトウェアテスト技術者の教育((25)高度専門技術者教育・社会人のための大学院工学教育,口頭発表論文)
- 車載センサのネットワーク化を実現するハードウェアの提案と評価(通信,組込技術とネットワークに関するワークショップETNET2008)
- 車載センサのネットワーク化を実現するハードウェアの提案と評価(通信,組込技術とネットワークに関するワークショップETNET2008)
- 車載センサのネットワーク化を実現するハードウェアの提案と評価(通信,組込技術とネットワークに関するワークショップETNET2008)
- 設計空間探索におけるハードウェア共有用通信の自動合成
- 設計空間探索におけるハードウェア共有用通信の自動合成
- 関数レベル並列性を活用した動作記述分割手法(セキュリティ・その他,組込技術とネットワークに関するワークショップETNET2008)
- 関数レベル並列性を活用した動作記述分割手法(セキュリティ・その他,組込技術とネットワークに関するワークショップETNET2008)
- マルチプロセッサRTOS対応コシミュレータ(システム設計/評価技術)
- 機能分散マルチプロセッサ向けRTOSへのマイグレーション可能タスクの導入(実時間OS,並列アルゴリズム)
- 機能分散マルチプロセッサ向けRTOSへのマイグレーション可能タスクの導入(実時間OS,並列アルゴリズム)
- 機能分散マルチプロセッサ向けRTOSへのマイグレーション可能タスクの導入(実時間OS,並列アルゴリズム)
- HAZOP分析によるソフトウェア異常動作検出条件の導出手法の提案と実装
- HAZOP分析によるソフトウェア異常動作検出条件の導出手法の提案と実装
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- デュアルコアプロセッサにおける最悪性能の確率的予測手法の提案(マルチコア)
- デュアルコアプロセッサにおける最悪性能の確率的予測手法の提案(マルチコア)
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- 関数レベル並列性を活用した動作記述分割手法(セキュリティ・その他,組込技術とネットワークに関するワークショップETNET2008)
- システムレベル設計環境SystemBuilderを用いたMPEG4デコーダの設計事例(システムオンシリコン設計技術並びにこれを活用したVLSI)