• Aucun résultat trouvé

Software Testing Research

N/A
N/A
Protected

Academic year: 2021

Partager "Software Testing Research"

Copied!
2
0
0

Texte intégral

(1)

RESEARCH OUTPUTS / RÉSULTATS DE RECHERCHE

Author(s) - Auteur(s) :

Publication date - Date de publication :

Permanent link - Permalien :

Rights / License - Licence de droit d’auteur :

Bibliothèque Universitaire Moretus Plantin

Institutional Repository - Research Portal

Dépôt Institutionnel - Portail de la Recherche

researchportal.unamur.be

University of Namur

Software Testing Research

Perrouin, Gilles

Publication date:

2018

Document Version

Publisher's PDF, also known as Version of record

Link to publication

Citation for pulished version (HARVARD):

Perrouin, G 2018, 'Software Testing Research', NaDI - l'Intelligence Artificielle : enjeux et défis., Namur,

Belgium, 23/10/18 - 23/10/18.

General rights

Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain

• You may freely distribute the URL identifying the publication in the public portal ?

Take down policy

If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim.

(2)

Test Generation and Analysis

Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens and Patrick Heymans,

Model-based mutant equivalence detection using automata language equivalence and simulations, Journal

of Systems and Software, Volume 141, pages 1-15, Elsevier, July 2018.

Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens and Patrick Heymans,

Statistical prioritization for software product line testing: an experience report, Software &

Systems Modeling, Volume 16, Issue 1, pages 153-171, Springer, January 2017.

Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens and Patrick Heymans,

Featured Model-based Mutation Analysis, International Conference on Software Engineering (ICSE), pages

655-666, Austin, TX, USA, IEEE, May 2016.

Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Patrick Heymans and Yves Le Traon,

Bypassing the combinatorial explosion: Using similarity to generate and prioritize t-wise test configurations

for software product lines, Transactions on Software Engineering, Volume 40, Issue 7, pages 650-670, IEEE, July 2014.

Selected Contributions

Modelling

SuperPower

Strength s

Money m

Weapon w

requires

SuperHero

Hammer h

Shield sh

GodStrength g

xor

optional

findVillain

smash /

s

fireRocket /

m

reload /

m

throwHammer /

h

retrieveWeapon /

w

finishHim

throwShield /

sh

Software Testing Research

Gilles Perrouin, FNRS Research Associate

gilles.perrouin@unamur.be

Evolutionary Testing

Feature Diagram

Featured Transition System

FTS

model

VIBeS

Abstract

test suite selection

Products

prioritization

Mutation analysis

Test

scripts

Mapping

info.

AbsCon

Product

config.

Product

adaptor

derivation

Feature

model

+

Abstract

test suite

Mutation Testing

Configuration Sampling

Model-based Testing Framework

Open Source Software

Research Cases

Partners

Federal University

of Bahia

University of

Brasilia

Team

Dr. Cordy

Prof. Frenay

Prof. Schobbens

Prof. Heymans

Dr. Perrouin

Projects

Software Testing Challenges

Complexity

Unpredictability

Adaptation

?

Références

Documents relatifs

Model testing tackles the untestability challenge by enabling software engineers to (1) execute and validate a much larger number of test scenarios, (2) develop test strategies

We implemented the different mutant operators described in Section 3.1 in order to perform classical mutation test- ing (enumerative approach) as well as FMM generation and execution

The case study presented us with a fault detection score and a cost measure- ments for each of the collected test suites (i.e., manually created test suites by industrial

Software testing is the process of evaluating a system or component during or at the end of the development or implementation process to determine whether it satisfies

Going back to the three-parts structure of a test case, and recalling that the uncer- tainty requires that every test case must be executed several times: (1) the initial situa-

- Identify everyday needs for users, developers and research labs and institutions - Study the problems raised by software dissemination. - Establish

At the software side, we intend to develop an Eclipse plugin implementing a fully- automated sub-process for applying refactoring actions, based on model differencing, that will

The mixmod ( mix ture mod eling) program fits mixture models to a given data set for the purposes of density estimation, clustering or discriminant analysis.. A large variety