SPL-Tools-Eclipse-Plugin-Update-Site-0.3.1.b20130103_02.zip (SPL-Tools-Eclipse-Plugin-Update-Site-0.3.1.b20130103_02.zip( 外部リンク: SF.net): 20,509,869 バイト)のダウンロードが開始されます。開始されない場合，左のリンクをクリックしてください。
確率論的パフォーマンス ロジック (SPL) はパフォーマンスの前提条件を取得するため提供しています。SPL は、仮定を示す、例えば、注釈付き関数が配列のコピーよりも 3 回で最も遅い Java 関数に注釈を記入することが可能です。仮定は標準的な単体テストと同様にビルド時に、同様の方法でチェックされます。つまり、SPL パフォーマンス assert() を導入することについてです。その他の同様のソリューションと比較して SPL の利点が含まれています次。SPL の数式は明確に定義されたロジックと統計学的にサウンド テスト (t 検定) などに使用します。次に、SPL は自動評価を目指しています。最後に、SPL の数式 (固定時間の比較に反対) 相対的な比較を使用して、移植性を提供します。
