プログラム pspec.sf.net

このプロジェクトは、複雑なシステムのパフォーマンスプロパティのテストを自動化する方法です。ソフトウェアの機能仕様と同様に、プログラムのパフォーマンス期待を表明するための実行可能言語の開発を目指しています。これはシャロンを実装します