期刊文献+

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

ON FORMAL DESCRIPTION-BASED REUSABLE TEST CASE LIBRARY AND ITS REALISATION
下载PDF
导出
摘要 软件测试作为保证软件质量的重要手段,是软件开发过程中的重要环节。软件测试过程中产生的大量测试用例对保证软件的质量起到了关键作用。为了共享和复用测试用例,提出了基于形式化语言描述的可复用测试用例库的构建方法,收集大量测试用例,并进行合理的分类和管理,测试人员可以从库中选择合适的测试用例直接使用或稍作修改来使用,从而大幅度降低了测试人员的工作量,极大地提高了测试工作效率,进而更好地保证软件质量。 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.
出处 《计算机应用与软件》 CSCD 2010年第7期43-46,共4页 Computer Applications and Software
基金 国家高技术研究发展计划资助(2007AA010401)
关键词 形式化语言 Z规格 软件测试 可复用测试用例 测试用例库 Formalized language Z specification Software test Reusable test case Test case library
  • 相关文献

参考文献9

二级参考文献19

  • 1Binder R V.Testing Object Oriented Systems[M].Massachusetts:Addison—Wesley,2000.
  • 2薛嘉庆,线性规划,1989年
  • 3徐洁磐,离散数学及其在计算机中的应用,1988年
  • 4Goodenough J B,Gerhart S L.Toward a theory of test data selection[J].IEEE Trans Software Eng,1975,1(2):156-173.
  • 5Stocks P,Carrington D.A framework for specification-based testing[J].IEEE Trans Software Eng,1996,22(11):777-793.
  • 6Stocks P.Applying formal methods to software testing[D]. Queensland:Univ of Queensland,1993.
  • 7Hall P A V.Relationship between specifications and testing [J].Information and Software Technology,1991,33(1):47-52.
  • 8Hall P A V.Towards testing with respect to formal specifi cations[A].Second IEE/BCS Conf Software Eng[C].New York:ACM Press,1988.159-1 63.
  • 9Dick J,Faivre A.Automating the generating and sequencing o f test ases from model-based specification[A].Woodcock J C P,Larsen P G.Procee dings of FEM'93 Industrial -Strength Formal Methods,Springer-Verlag Lecture Notes in Computer Science Volum e 670[C].Odense:Springer-Verlag,1993.268-284.
  • 10Offutt A J,LIU Shao-ying.Generating test data from SOFL sp ecifications[J].Journal of Systems and Software,1999,49(1):49-62.

共引文献62

同被引文献11

引证文献2

二级引证文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部