- PYTHIA：为基于状态机描述的系统而自动提供测试例的软件系统。该工具的主要目标是针对所需的覆盖准则生成最小数目的测试例。
PYTHIA集成了针对不同类型的系统模型和覆盖准则的一套算法。针对系统协议描述模块的输入以及测试例生成的下载和显示，该软件设计了一个图形用户界面(GUI)。PYTHIA已经成功地为朗讯的各种产品提供了测试例。
- AT&T-Lucent PHS特征测试(PHS是基于无线和5ESS交换机的ISDN个人便携电话系统。本产品曾在95年第四季度销售到日本)。开发并实现了测试例生成的高效算法，建成软件工具，并将所生成的测试序列应用到该产品测试当中。
- 针对DIAMOND的自动测试用例生成软件。Diamond Access系统可以通过TL1操作接口提供电话服务(朗讯开发的重要项目)。在这个系统中有大量需要测试的器件(对象)，而手动测试所消耗时间长、花费大、结果不可靠，且根据项目进度，完全手动测试是无法实现的。我们为其测试例自动生成开发了具有图形用户界面(GUI)的软件工具，现已经应用于DIAMOND系统。我们还为鲁棒性测试和系统验证测试提供了测试例。
|
