制御ソフトウェア向けテストケース生成方式の提案(テスト,ソフトウェアサイエンス、理論)
スポンサーリンク
概要
- 論文の詳細を見る
制御システムは,制御装置を中心にセンサ装置と駆動装置を備え,外部環境に対して適切な物理的制御をかけることを目的とする.制御装置の高機能化・付加価値向上のため,制御ソフトウェアの大規模化・複雑化が進んでいる.近年,設計工程で専用記法を用いて制御ロジックを作成し,実装・試験工程で活用するモデルベース開発の取り組みが盛んである.これに対して実開発では,単体・S/W結合試験でのテストケースの作成工数が大きい,システム試験での機能動作の期待値の作成工数が大きいことが問題になっている.本稿では,制御ソフトウェアの開発効率化・高品質化の基盤となる単体・S/W結合試験に取り組み,制御ソフトウェアに必須の状態依存処理を対象に,実装コード中の分岐箇所に到達するための時系列入力のテストケースを自動生成する方式を提案する.
- 2012-10-25
著者
関連論文
- 無線センサネットワークの時刻同期と位置同定の統合化手法(ネットワーク)
- 2B-1 モデル駆動開発によるシステム性能評価手法の提案(組込み,品質,一般セッション,ソフトウェア科学・工学)
- 高信頼性を実現するシステム仕様検査技術 (特集 ソフトウェア開発環境)
- モデル駆動によるテスト仕様の生成手法の提案(一般セッション E_テスト・検証)
- SIPアダプテーションを適用したNGNにおけるQoS制御の実現(ブロードバンドアクセス、電灯線通信、ホームネットワーク、一般)
- センサネットワークにおける無線通信を利用した効率的ソフトウェア配布方式(セッションB-7:センサネットワーク,無線方式)
- 形式手法を用いたシステム設計検証技術
- 形式手法を用いたシステム設計検証技術
- 接点電流の制御によるディジタル入力装置の低消費電力化
- 階層型PCIシステムの性能対策
- 非同期回路の品質評価方法
- リアルタイムマルチプロセッサシステムにおけるリカバリポイントの設定条件
- フォールトトレラントシステムのメモリ制御
- 無線センサネットワークの時刻同期における中継スケジューリング手法(ネットワーク)
- 大規模センサネットワークの持続的時刻同期手法(RFID・センサネットワーク,ホームネットワーク,オーバーレイネットワーク,RFID及び一般)
- 高精度時刻同期手法を用いた振動発生源の検出(アプリケーション品質,モバイルP2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- 高精度時刻同期手法を用いた振動発生源の検出(アプリケーション品質,モバイルP2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- センサノードの低消費電力方式 (特集 近距離無線/無線LANシステム)
- 無線センサネットワークにおける高精度時刻同期ノードの設計(センサネットワーク, 無線ネットワーク, ホームネットワーク, ヒューマンインタフェース, 情報家電, アクセシビリティ)
- ワイヤレスセンサ端末の開発 (特集 センサネットワーク技術とその応用システム)
- B-018 状態遷移を持つオブジェクト間通信のモデル検査技術(B分野:ソフトウェア,一般論文)
- C-12-16 センサーネットワークノードの低消費電力化方式
- 無線センサネットワークにおける時刻および位置の同時同定手法(センサネットワーク)
- 無線センサネットワークにおけるMultilateration位置推定法の精度向上手法(計測・探査)
- B-006 UML MARTE Profileを用いた性能シミュレーション手法の提案(B分野:ソフトウェア,一般論文)
- モデル駆動による組込みシステムの性能検証手法の提案
- D-6-7 動的周波数/電圧制御によるプロセッサの低電圧力方式
- D-6-4 プラントコントローラの耐電磁ノイズ強化方式
- 2Z-3 ローカライゼーションとルーティングプロトコルの融合手法の提案(センサネットワーク,学生セッション,ネットワーク)
- 2Z-2 パイプライニングを用いたWSNにおけるソフトウェア配送の効率化に関する検討(センサネットワーク,学生セッション,ネットワーク)
- B-7-46 プロセスバスにおけるリアルタイム通信方式
- センサネットワークにおける無線通信を利用した効率的ソフトウェア配布方式(セッションB-7:センサネットワーク,無線方式)
- WSNにおける無線通信を利用したソフトウェア更新効率化の検討(セッション6:アドホックネットワーク・センサーネットワーク)
- WSNにおける無線通信を利用したソフトウェア更新効率化の検討(セッション6:アドホックネットワーク・センサーネットワーク)
- B-20-48 多数のセンサを用いた監視手法に関する考察(B-20.ユビキタス・センサネットワーク,一般セッション)
- 制御ソフトウェア向けテストケース生成方式の提案
- A-020 MARTE Profileによるリアルタイムシステム向け性能検証手法の提案(アルゴリズムと応用(2),A分野:モデル・アルゴリズム・プログラミング)
- 制御ソフトウェア向けテストケース生成方式の提案(テスト,ソフトウェアサイエンス、理論)