论文信息 - Model Based Testing for Non-Functional Requirements

Model Based Testing for Non-Functional Requirements

Model Based Testing (MBT) is a new-age test automation technique traditionally used for Functional Black-Box Testing. Its capability of generating test cases by using model developed from the analy ...

Piyush Gupta | Vijaya Krishna Cherukuri

[1] Steffen Zschaler,et al. Application of Tracing Techniques in Model-Driven Performance Engineering , 2008 .

[2] Elfriede Dustin,et al. Implementing Automated Software Testing: How to Save Time and Lower Costs While Raising Quality , 2009 .

[3] Ossi Taipale,et al. Finding and Ranking Research Directions for Software Testing , 2005, EuroSPI.

[4] Bruno Legeard,et al. A taxonomy of model-based testing , 2006 .

[5] Victor R. Basili,et al. Comparing the Effectiveness of Software Testing Strategies , 1987, IEEE Transactions on Software Engineering.

[6] Margus Veanes,et al. Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer , 2008, Formal Methods and Testing.

[7] Jüri Vain,et al. Synthesis of test purpose directed reactive planning tester for nondeterministic systems , 2007, ASE.

[8] Mathias Fritzsche,et al. Putting Performance Engineering into Model-Driven Engineering: Model-Driven Performance Engineering , 2008, MoDELS.

[9] Jüri Vain,et al. Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement , 2006, FATES/RV.

[10] B. Hilemàn. Van nostrand reinhold. , 1983, Environmental science & technology.

[11] Jüri Vain,et al. Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking , 2006, GI Jahrestagung.