实验室所研制的一些软件

测试工具

本实验室结合相关理论研究成果,研制了一系列测试相关的工具,涵盖了白盒静态测试和黑盒动态测试等多个方面,其中代表性的工具如下。

其它工具

除了开展软件测试研究,历史上我们还研制了其它一些工具,涉及了计算机网络等其它方面。