The thesis presents a new test case automated generation method based on algebraic specification of ADT.是什么意思_The thesis presents a new test case automated generation method based on algebraic specification of ADT.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句