文献

J-GLOBAL ID：201602212472460564   整理番号：16A0676618

衛星搭載ソフトウェアのモデルベース試験工業的利用1例【Powered by NICT】

Model based testing of satellite on-board software - An industrial use case

著者 (8件)： Herpel H J (Airbus DS GmbH, Claude-Dornier-Str. 1, 88090 Immenstaad) ,  Kerep M. (Airbus DS GmbH, Claude-Dornier-Str. 1, 88090 Immenstaad) ,  Li J. (DNVGL, Hovik) ,  Xie J. (DNVGL, Hovik) ,  Johansen B. (DNVGL, Hovik) ,  Kvinnesland K. (DNVGL, Hovik) ,  Krueger S. (ESA/ESTEC, Keplerlaan 1, NL- Noordwijk) ,  Barrios P. (ESA/ESTEC, Keplerlaan 1, NL- Noordwijk)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： AERO  ページ： 1-9  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,搭載ソフトウェアの試験にモデルに基づく方法を記述し,衛星ソフトウェアに現在適用されている伝統的な検証戦略と比較した。ソフトウエア工学は,少なくとも次の二年間の直面する主要な問題は,自律性と重篤な応用ロバスト性の必要性により駆動された増大する応用複雑性である。換言すれば,我々は実際に今日の応用よりもより複雑な一桁から二桁をアプリケーションを構築しようとする場合の成功を宣言し得るか。ソフトウエア工学プロセス以上の問題点を解決するために少なくとも二つの側面の改善されなければならない1)ソフトウェア設計と2)ソフトウェア試験。ソフトウェア設計プロセスは,コード生成器の広範な使用によるモデルベースアプローチに向けて展開する必要がある。今日,試験は,ソフトウェア開発プロセスの不可欠であるが,時間と資源を消費する活動である。短いが,効果的なテストスイートを生成通常手作業と専門家の知識が必要である。モデルベースプロセスでは,他のサブタスクの中で,試験施工と試験施工も部分的に自動化できる。提示した研究の背後にある基本的な考え方は,形式モデル(例えば状態機械)から始まり,それに続いて具体的なテストケース(入力と期待される出力対)に変換される抽象的テストケースを発生させた。発生するコンクリートのテストケースを搭載ソフトウェアに適用した。結果を収集し,wrt。適用性,コスト効率,故障発見で有効性とスケーラビリティを評価した。Copyright 2016 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： ソフトウェア設計 ,  ロバスト性 ,  コード生成 ,  適応性 ,  ソフトウェアプロセス ,  ソフトウェア工学 ,  *ソフトウェア
準シソーラス用語： コスト効率 ,  テストケース ,  形式モデル ,  試験施工 ,  テストスイート ,  複雑性 ,  自律性 ,  *モデルベース , 【Automatic Indexing@JST】

分類 (2件)： 図形・画像処理一般  (JE04010I) ,  信号理論  (ND02020G)

タイトルに関連する用語 (5件)： 衛星搭載 ,  ソフトウェア ,  モデルベース ,  試験 ,  工業