NASA DATに適用された変態モデルベースのテスト: 経験報告

テストはすべての種類のシステムに必要ですが、テスターがシステムが正しい結果を出しているかどうかを容易に判断できない場合、難しくなります。NASAのデータアクセスツールキットは、NASAのアナリストが大量のテレメトリデータベースをクエリできるようにします。ユーザーはデータに不慣れであり、いくつかのデータ変換が発生する可能性があるため、システムがフルスケールの運用状況で正しく動作しているかどうかを判断するのは不可能です。小規模なテストは他のチームによって手動で行われ、個々の機能に対する単体テストが実施されました。しかし、広範なフルスケールの受け入れテストが依然として必要とされていました。このテストの問題に対処するために、私たちは変態テストのアイデアを適用しました。具体的には、クエリの同等性に基づき、テストにシステム自体を使用しています。このアプローチは、モデルベースのテストアプローチをテストデータ生成およびテストケース結果分析戦略と組み合わせて実装されています。私たちはまた、このアプローチを使用して検出された問題のいくつかについても議論します。