Atur cara mengikut pspec.sf.net

Projek ini adalah pendekatan untuk mengautomasikan pengujian sifat prestasi sistem yang kompleks. Sama seperti spesifikasi fungsian untuk perisian kami berhasrat untuk membangunkan bahasa boleh laku untuk menerangkan jangkaan