基于模型的若干逻辑边界覆盖测试准则

计算机科学 ›› 2013, Vol. 40 ›› Issue (Z11): 109-114.

基于模型的若干逻辑边界覆盖测试准则

李丽萍,李兴森

上海第二工业大学计算机与信息学院上海201209;浙江大学宁波理工学院管理学院宁波315100

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受国家自然科学基金项目(71271191)资助

Model-based Logic Boundary Coverage Testing Criteria

LI Li-ping and LI Xing-sen

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 鉴于现有的基于规约的逻辑覆盖测试准则很少考虑到边界情况,对边界值分析法进行形式化,提出了一系列基于模型的逻辑边界覆盖测试准则。结果表明,相对于传统的逻辑覆盖测试准则,满足这些测试准则生成的测试用例能检测出系统更多的错误,既满足相应的逻辑覆盖测试准则,又能检测系统的边界情况。

关键词: 软件测试,测试准则,逻辑表达式,边界测试,测试用例

Abstract: Because the specification-based logic coverage criteria little regards to the boundary,this paper formalizesd the boundary value analysis method,proposed a series of model-based logical boundary coverage criteria．Results show test cases satisfying these criteria can detect more errors than original logic coverage testing criteria．They not only satisfy the logic coverage criteria but also test the system boundaries．

Key words: Software testing,Testing criteria,Logical expression,Boundary testing,Test case

李丽萍,李兴森. 基于模型的若干逻辑边界覆盖测试准则[J]. 计算机科学, 2013, 40(Z11): 109-114. https://doi.org/

LI Li-ping and LI Xing-sen. Model-based Logic Boundary Coverage Testing Criteria[J]. Computer Science, 2013, 40(Z11): 109-114. https://doi.org/

参考文献

[1] Amman P,Offutt J．Coverage criteria for logical expressions[C]∥Stephanie K,ed．Proc．of the 14th Int’l Symp．on Software Reliability Engineering．Washington:IEEE Computer Society Press,2003:99-107
[2] Kosmatov N,Legeard B,Peureux F,et al.Boundary coveragecriteria for test generation from formal models[C]∥Software Reliability Engineering,International Symposium．2004:139-150
[3] 刘玲,缪淮扣．对逻辑覆盖软件测试准则的公理化评估[J]．软件学报,2004,15(9):1301-1310
[4] 钱忠胜,缪淮扣．基于规约的若干逻辑覆盖测试准则[J]．软件学报,2010,21(7):1536-1549
[5] Bouquet F,Legeard B,Vacelet N,et al.Faster Analysis of Formal Specifications[C]∥Proceedings of the 6-International Conference on Formal Engineering Methods (ICFEM’04),LNCS． Seattle,USA:Springer Verlag,November 2004
[6] Legeard B,Peureux F,Utting M．Automated Boundary Testing from Z and B[C]∥Proceedings of the International Conference on Formal Methods Europe (FME’02),volume 2391of LNCS．Copenhagen,Denmark:Springer Verlag,2002:21-40
[7] 赵瑞莲．软件测试方法研究[D]．北京:中国科学院,2001
[8] Jorgensen P C．软件测试[M]．韩柯,杜旭涛,译．北京:机械工业出版社,2003:70-75
[9] 刘畅,王轶辰,刘斌,等．软件边界组合测试的典型案例分析[J]．计算机工程与应用,2009,45(20):74-77
[10] Bouquet F,Legeard B．Reification of executable test scripts in formal specification-based test generation:the Java Card transaction mechanism case study[C]∥Proceedings of the International Conference on Formal Methods Europe (FME’03),volume 2805of LNCS．Pisa,Italy:Springer Verlag,2003:778-795
[11] Caritey N,Gaspari L,Legeard B,et al．Specification-based testing-Application on algorithms of Metro and RER tickets (confidential)[R]．Technical Report TR-03/01．LIFC-University of Franche-Comt′e and Schlumberger Besancon,2001
[12] Weiβleder S,Sokenou D．Automatic Test Case Generation from UML Models and OCL Expressions[C]∥Testing of Software-From Research To Practice (associated with Software Enginee-ring 2008)．February 2008
[13] Weiβleder S,Schlingloff B-H．Quality of Automatically Generated Test Cases based on OCL Expressions[C]∥ICST．April 2008
[14] Weiβleder S．ParTeG (Partition Test Generator)．http://parteg.sourceforge.net．Oct 2009
[15] Weiβleder S．Test models and coverage criteria for automaticmodel-based test generation with uml state machines[D]．Prsident der Humboldt-Universitt zu Berlin．2010
[16] T-Vec:We Cover All Boundaries．http://www.t-vec.com/

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed