基于形式化描述可复用测试用例库的研究与实现  

ON FORMAL DESCRIPTION-BASED REUSABLE TEST CASE LIBRARY AND ITS REALISATION

作　　者：张红燕[1] 杨根兴[1,2] 蔡立志[2] 

机构地区：[1]华东理工大学计算机科学与工程系,上海200237 [2]上海市计算机软件评测重点实验室,上海201112

出　　处：《计算机应用与软件》2010年第7期43-46,共4页Computer Applications and Software

基　　金：国家高技术研究发展计划资助(2007AA010401)

摘　　要：软件测试作为保证软件质量的重要手段,是软件开发过程中的重要环节。软件测试过程中产生的大量测试用例对保证软件的质量起到了关键作用。为了共享和复用测试用例,提出了基于形式化语言描述的可复用测试用例库的构建方法,收集大量测试用例,并进行合理的分类和管理,测试人员可以从库中选择合适的测试用例直接使用或稍作修改来使用,从而大幅度降低了测试人员的工作量,极大地提高了测试工作效率,进而更好地保证软件质量。As an important means to ensure software quality,software test is an inevitable procedure in software development process.A large number of test cases produced in software testing process play the key role on software quality assurance.In order to share and reuse test cases,in this paper we introduce a way of building the formal language description-based reusable test case library,we also collect a large number of test cases and carry out a reasonable classification and management,the software testers can select appropriate test cases directly or with slight modification,therefore the workload of testers is significantly reduced,the testing efficiency is greatly improved,and these further ensure the software quality better.

关 键 词：形式化语言 Z规格 软件测试 可复用测试用例 测试用例库 

分 类 号：TP311.56[自动化与计算机技术—计算机软件与理论]