References of "Fourneret, Elizabeta 40080430"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailModel Based Test Validation and Oracles for Data Acquisition Systems
Di Nardo, Daniel UL; Alshahwan, Nadia UL; Briand, Lionel UL et al

in IEEE/ACM International Conference on Automated Software Engineering (2013, November)

Detailed reference viewed: 368 (59 UL)
Full Text
Peer Reviewed
See detailVérification et test pour des systemes évolutifs
Fourneret, Elizabeta UL; Bouquet, Fabrice; Ochoa, Martìn et al

in Congrès Approches Formelles dans l'Assistance au Développement de Logiciels (2012, January)

Detailed reference viewed: 39 (2 UL)
Full Text
Peer Reviewed
See detailModel-based security verification and testing for smart-cards
Fourneret, Elizabeta UL; Ochoa, Martìn; Bouquet, Fabrice et al

in Proceedings of 6th International Conference on Availability, Reliability and Security (ARES 2011) (2011)

Model-Based Testing (MBT) is a widely used methodology for generating tests aiming to ensure that the system behaviour conforms to its specification. Recently, it has been successfully applied for testing ... [more ▼]

Model-Based Testing (MBT) is a widely used methodology for generating tests aiming to ensure that the system behaviour conforms to its specification. Recently, it has been successfully applied for testing certain security properties. However, for the success of this approach, it is an important prerequisite to consider the correctness of test models with respect to the given security property. In this paper we present an approach for smart-card specific security properties that permits to validate the system with MBT from test schemas. We combine this MBT approach with UMLsec security verification technique, by using UMLsec stereotypes to verify the model w.r.t. given security properties and gain more confidence in the model. We then define an automatic procedure to generate security test from the UMLsec model via so-called "test schemas". We validate this approach on a fragment of the Global Platform specification and report on available tool support. [less ▲]

Detailed reference viewed: 88 (2 UL)
Full Text
Peer Reviewed
See detailSelective Test Generation Method for Evolving Critical Systems
Fourneret, Elizabeta UL; Bouquet, Fabrice; Dadeau, Frédéric et al

in Proceedings of 4th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2011) (2011)

We present in this paper the implementation of a model-based testing technique for evolving systems. These latters are described in UML using class/object diagrams and state charts, augmented with OCL ... [more ▼]

We present in this paper the implementation of a model-based testing technique for evolving systems. These latters are described in UML using class/object diagrams and state charts, augmented with OCL constraints. Based on two versions of a given model, an automated process deduces the impact of model evolutions on the existing tests. Our methodology then classifies tests into different test suites to test evolution, regression, stagnation and deletion on the concrete system. We introduce the notion of tests and test suites life cycles that help defining the purpose of each test at a given step of the system evolution, and thus, their classification in different test suites. The approach is illustrated on a realistic case study, and the improvements w.r.t. other regression testing techniques are discussed. [less ▲]

Detailed reference viewed: 81 (1 UL)