Computer Science ›› 2013, Vol. 40 ›› Issue (Z11): 109-114.
Previous Articles Next Articles
LI Li-ping and LI Xing-sen
[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 Besancon,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].Prsident der Humboldt-Universitt zu Berlin.2010 [16] T-Vec:We Cover All Boundaries.http://www.t-vec.com/ |
No related articles found! |
|