10.3969/j.issn.1000-386X.2010.07.014
基于形式化描述可复用测试用例库的研究与实现
软件测试作为保证软件质量的重要手段,是软件开发过程中的重要环节.软件测试过程中产生的大量测试用例对保证软件的质量起到了关键作用.为了共享和复用测试用例,提出了基于形式化语言描述的可复用测试用例库的构建方法,收集大量测试用例,并进行合理的分类和管理,测试人员可以从库中选择合适的测试用例直接使用或稍作修改来使用,从而大幅度降低了测试人员的工作量,极大地提高了测试工作效率,进而更好地保证软件质量.
形式化语言、Z规格、软件测试、可复用测试用例、测试用例库
27
TP3;TN9
国家高技术研究发展计划资助2007AA010401
2010-10-11（万方平台首次上网日期，不代表论文的发表时间）
共4页
43-46
