在软件测试过程中,测试用例的生成是软件测试的关键和难点。目前,测试用例的生成主要靠手工完成,而且要求软件测试人员具有一定的经验和较高的专业水平,因而,测试过程往往带有很大盲目性,致使测试效率低下,软件成本居高不下,软件质量也很难保证。虽然已经有了一些测试用例的自动生成工具,并且一定程度上提高了测试的自动化,但是这些工具所基于的形式化方法本身也存在着灵活性差、扩展困难、开发代价高、脚本管理和维护困难等问题。文中提出了一种基于XML Schema模型的类的规约说明描述方法,并给出了如何根据XML测试脚本来生成测试用例的方法,而且结合实例详细地介绍了完整的实现方案,并在.NET环境下用C#语言对方法进行了验证。首先设计合理的XML Schema结构,并在该XML Schema的有效性约束下,用XML对UML类图及相关性约束进行脚本描述;其次对XML测试脚本进行分析,提取方法的测试规约说明,所谓测试规约说明就是从测试脚本中包含的变量的基本约束条件以及期望输出中抽取得到的以合取范式形式存在的谓词序列;每一合取范式对应一个不等式组,对每一个不等式组采用1×1域测试策略,生成域测试矩阵,最终得到测试用例。从试验结果来看,XML测试脚本描述,灵活性高,扩展方便,为大多数程序语言支持,访问速度快,另外1×1的域测试策略也在一定程度上减少了用例的生成数目,提高了测试效率。