PASTE

The Testing and Performance Evaluation Group of the Complutense University of Madrid (Spain) is involved in the development of a PASsive TESting (PASTE) tool.

Main Services

Last few years a part of this group have investigated into the area of passive testing, sometimes referred to runtime verification. In passive testing the tester does not need to interact with the Implementation Under Test. On the contrary, execution traces are observed and analyzed without interfering with the behavior of the target system. We have studied this approach with different formal frameworks.

Last updates

Communicating Finite State Machine Invariants Module.

Timeout Invariants Module. The algorithms can be found at QSIC 2012 paper.

Get in touch

PHONE: 0034 91-3947633
Email: c.andres@fdi.ucm.es
Web: http://antares.sip.ucm.es/cesar/

Publications

Mercedes G. Merayo. " Passive Testing of Timed Systems with Timeouts" International Conference on Quality Software, 12th (QSIC 2012).

César Andrés, Mercedes G. Merayo, Manuel Núñez. "Formal Passive Testing of Timed Systems: Theory and Tools". Software Testing, Verification & Reliability,. Vol 22, Issue 6, start page 365. DOI: 10.1002/stvr.1464.

César Andrés, M. Emilia Cambronero, Manuel Núñez. " Passive Testing of Timed Distributed Systems" International Workshop on Web Services and Formal Methods, 7th (WS-FM 2010). Lecture Notes in Computer Science 6551.

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties" International Conference on Software Engineering and Knowledge Engineering, 22nd (SEKE 2010). Knowledge Systems Institute Graduate School Press.

César Andrés, Stéphane Maag, Ana Cavalli, Mercedes G. Merayo, Manuel Núñez. " Analysis of the OLSR Protocol by using formal passive testing" Asia-Pacific Software Engineering, 16th (APSEC 2009). IEEE Computer Society Press.

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Applying formal passive testing to study temporal properties of the Stream Control Transmission Protocol" Software Engineering and Formal Methods, 7th (SEFM 2009). IEEE Computer Society Press.

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Supporting the extraction of timed properties for passive testing by using probabilistic user models" International Conference on Quality Software, 9th (QSIC 2009).

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Using a mining frequency patterns model to automate passive testing of real-time systems" International Conference on Software Engineering and Knowledge Engineering, 21st (SEKE 2009). Knowledge Systems Institute Graduate School Press.

César Andrés, Mercedes G. Merayo, Carlos Molinero. " Advantages of mutation in passive testing: An empirical study" Workshop on Mutation Analysis, 4th (MUTATION 2009) IEEE Computer Society Press.

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Formal correctness of a passive testing approach for timed systems" Workshop on Advances in Model Based Testing, 5th (A-MOST 2009) IEEE Computer Society Press.

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Passive testing of Stochastic Timed Systems" International Conference on Software Testing, Verification, and Validation, 2nd (ICST 2009) IEEE Computer Society Press.

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Passive Testing of Timed Systems" International Symposium on Automated Technology for Verification and Analysis, 6th (ATVA 2008) Lecture Notes in Computer Science 5311.