全自動測試代數語言