PARADIGM-COV: A multimensional test coverage analysis tool

Iberian Conference on Information Systems and Technologies, CISTI

Volumn , Issue , 2014, Pages

  Vilela, Liliana ^a   Paiva, Ana C R ^a  

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

model based testing; software testing; test coverage analysis

Indexed keywords

INFORMATION SYSTEMS; INPUT OUTPUT PROGRAMS; SOFTWARE TESTING;

COVERAGE ANALYSIS; INPUT DATAS; MODEL BASED TESTING; MODEL ELEMENTS; TEST CASE; TEST COVERAGE; TEST INPUTS;

TESTING;

EID: 84906691720     PISSN: 21660727     EISSN: 21660735     Source Type: Conference Proceeding    
DOI: 10.1109/CISTI.2014.6876896     Document Type: Conference Paper

References (19)

1. Weyuker, E.J.: Axiomatizing software test data adequacy. IEEE Transactions on Software Engineering. SE-12, 1128-1138 (1986).
2. El-Far, I.K., Whittaker, J.A.: Model-Based Software Testing. Encyclopedia of Software En-gineering. John Wiley & Sons, Inc. (2002).
3. Eslamimehr, M.M.: The Survey of Model Based Testing and Industrial Tools, (2008).
4. Monteiro, T., Paiva, A.C.R.: Pattern Based GUI Testing Modeling Environment. 4th International Workshop on TESTing Techniques & Experimentation Benchmarks for Event-Driven Software (TESTBEDS). (2013).
5. Moreira, R., Paiva, A. C. R., Memon, A.: A Pattern-Based Approach for GUI Modelling and Testing. The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE), 2013
6. Cunha, M., Paiva, A.C.R., Ferreira, H.S., Abreu, R.: PETTool: A pattern-based GUI testing tool. Software Technology and Engineering (ICSTE), 2010 2nd International Conference on. pp. V1-202 (2010).
7. Stobie, K.: Model Based Testing in Practice at Microsoft. Electronic Notes in Theoretical Computer Science. 111, 5-12 (2005).
8. Grieskamp, W., Kicillof, N., Stobie, K., Braberman, V.: Model-based quality assurance of protocol documentation: tools and methodology. Software Testing, Verification and Relia-bility. 21, 55-71 (2011).
9. Pretschner, A.: Model-based testing. 27th International Conference on Software Engineering, 2005. ICSE 2005. Proceedings. pp. 722 - 723 (2005).
10. Weißleder, S.: Simulated Satisfaction of Coverage Criteria on UML State Machines. 2010 Third International Conference on Software Testing, Verification and Validation (ICST). pp. 117-126 (2010).
11. Weißleder, S.: Test models and coverage criteria for automatic modelbased test generation with UML state machines, (2010).
12. Weißleder, S: Coverage Simulator, http://covsim.sourceforge.net/.
13. Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., Nachmanson, L.: Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. In: Hierons, R.M., Bowen, J.P., and Harman, M. (eds.) Formal Methods and Testing. pp. 39-76. Springer Berlin Heidelberg (2008).
14. Shafique, M., Labiche, Y.: A systematic review of model based testing tool support. Technical Report SCE-10-04, Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada (2010).
15. Huima, A.: Implementing Conformiq Qtronic. In: Petrenko, A., Veanes, M., Tretmans, J., and Grieskamp, W. (eds.) Testing of Software and Communicating Systems. pp. 1-12. Springer Berlin Heidelberg (2007).
16. Andrade, F.R., Faria, J.P., Paiva, A.C.R.: Test generation from bounded algebraic specifications using alloy. ICSOFT (2). 192-200 (2011).
17. Andrade, F.R., Faria, J.P., Lopes, A., Paiva, A.C.R.: Specification-Driven Unit Test Generation for Java Generic Classes. In: Derrick, J., Gnesi, S., Latella, D., and Treharne, H. (eds.) Integrated Formal Methods. pp. 296-311. Springer Berlin Heidelberg (2012).
18. IBM: Safety-related software development using a model-based testing workflow, http://www.ibm.com/developerworks/rational/library/safetyrelated- software-development/index.html.
19. th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Maciaszek, Leszek A. and Filipe, Joaquim (ed.), SciTePress (2014).