网站首页 词典首页
The thesis presents a new test case automated generation method based on algebraic specification of ADT.
本文以代数规格说明为基础,提出了一种新的黑盒测试用例生成方法.
互联网
英汉双解词典包含4367426条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。