Loading article…
堅牢性テストは、ソフトウェアの堅牢性をテストすることに重点を置いた品質保証方法論です。堅牢性テストは、テストプロセスでテストケースの堅牢性（つまり正確性）を検証するプロセスを説明するためにも使用されています。ANSIとIEEEは、無効な入力やストレスの多い環境条件がある場合でもシステムまたはコンポーネントが正しく機能できる程度として堅牢性を定義しています。[1]
「堅牢性テスト」という用語は、カーネギーメロン大学の Ballista プロジェクトで初めて使用されました。彼らは、 POSIX APIのデータ型に基づいてオペレーティングシステムの信頼性をテストし、一部のシステムで完全なシステムクラッシュを引き起こしました。[2]この用語は、ソフトウェアセキュリティテストのコンテキストで PROTOS プロジェクトに参加しているOUSPGおよび VTT の研究者によっても使用されました。 [3]最終的に、ファジング(セキュリティ関係者が主に非インテリジェントでランダムな堅牢性テストに使用する用語)という用語は、モデルベースの堅牢性テストもカバーするように拡張されました。
方法
フォールト注入
フォールトインジェクションは、システムの堅牢性をチェックするために使用できるテスト方法です。このプロセスでは、テストエンジニアがシステムにフォールトを注入し、システムの回復力を観察します。[4]テストエンジニアは、フォールトインジェクションを支援してシステムの重大なフォールトを見つける効率的な方法を開発できます。[5] [6]
参照
参考文献
- ^ 「ソフトウェア エンジニアリング用語の標準用語集 (ANSI)」。米国電気電子技術者協会。1991 年。
- ^ Kropp、Koopman、Siewiorek。1998。既成ソフトウェア コンポーネントの自動堅牢性テスト。FTCS'98 議事録。http://www.ece.cmu.edu/~koopman/ballista/ftcs98/ftcs98.pdf
- ^ Kaksonen, Rauli。2001。プロトコル実装セキュリティを評価するための機能的方法（学位論文）。エスポー。フィンランド技術研究センター、VTT 出版物 448。128 ページ + 付録 15 ページ。ISBN 951-38-5873-1 （ソフトバック版）ISBN 951-38-5874-X（オンライン版）。https://www.ee.oulu.fi/research/ouspg/PROTOS_VTT2001- functional
- ^ Moradi, Mehrdad; Van Acker, Bert; Vanherpen, Ken; Denil, Joachim (2019). Chamberlain, Roger; Taha, Walid; Törngren, Martin (編). 「Simulink のモデル実装ハイブリッドフォールトインジェクション (ツールデモンストレーション)」.サイバーフィジカルシステム. モデルベースデザイン. コンピュータサイエンスの講義ノート. 11615 . Cham: Springer International Publishing: 71–90. doi :10.1007/978-3-030-23703-5_4. ISBN 978-3-030-23703-5. S2CID 195769468。
- ^ 「感度分割による FMI 協調シミュレーションにおけるフォールトインジェクションの最適化 | 2019 年夏季シミュレーション会議の議事録」dl.acm.org 。2020 年 6 月 15 日閲覧。
- ^ Moradi、Mehrdad、Bentley James Oakes、Mustafa Saraoglu、Andrey Morozov、Klaus Janschek、Joachim Denil。「強化学習ベースのフォールトインジェクションを使用したフォールトパラメータ空間の探索」（2020年）。