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