Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool

International audienceIn this paper, we present a model-based testing tool resulting from a research project, named TASCCC. This tool is a complete tool chain dedicated to property-based testing in UML/OCL, that integrates various technologies inside a dedicated Eclipse plug-in. The test properties are expressed in a dedicated language based on property patterns. These properties are then used for two purposes. First, they can be employed to evaluate the relevance of a test suite according to specific coverage criteria. Second, it is possible to generate test scenarios that will illustrate or exercise the property. These test scenarios are then unfolded and animated on the Smartesting's CertifyIt model animator, that is used to filter out infeasible sequences. This tool has been used in industrial partnership, aiming at providing an assistance for Common Criteria evaluations, especially by providing test generation reports used to show the link between the test cases and the Common Criteria artefacts

Worlds apart: industrial and academic focus areas in software testing

To determine how industry and academia approach software testing, researchers compared the titles of presentations from selected conferences in each of the two communities. The results shed light on the root cause of low industry-academia collaboration and led to suggestions on how to improve this situation

Literature Review: Open Innovation in Software Engineering

Antud töö uurib, kuidas on avatud innovatsiooni põhimõtteid rakendatud tarkvaratehnika valdkonnas. Selleks, et asjakohast teaduskirjandust süstemaatiliselt otsida ja töödelda, lähtutakse süstemaatilise analüüsi meetodist. Kuna avatud innovatsioon on üsna uudne nähtus, siis on praegu puudus mudelitest ja tööriistadest, mis aitaksid avatud innovatsiooni põhimõtteid rakendada sellistes spetsiifilistes tarkvaratehnika protsessides, nagu seda on näiteks tarkvara testimine. Need tarkvaraprojektid, kus avatud innovatsiooni põhimõtteid on rakendatud, on põhiliselt koostööd suurettevõtete ja kõrgkoolide vahel; aga ka väike- ja keskmise suurusega ettevõtted ja riigiasutused kohandavad vähehaaval avatud innovatsiooni põhimõtteid. Üldiselt on täheldada puudust teadustööst, mis annaks selgesõnalise ülevaate avatud innovatsiooni rakendamise võimalustest tarkvaraprojektides.This thesis explores how the principles of open innovation have been applied in the software engineering domain. To methodically gather and analyze studies, the systematic literature review approach is adopted. The relative novelty of open innovation means that there is a lack of models and tools that adopt the principles of open innovation according to different activities of software engineering, such as software testing. Software projects that do employ open innovation are mostly fostered by partnerships between large enterprises and higher education institutions, but small-medium enterprises and government institutions are slowly adopting the open innovation approach as well. All in all, it seems there is need of research that would clearly establish the possibilities of adopting open innovation in software engi-neering projects

Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel

National audienceCe document contient les actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Gé}nie de la Programmation et du Logiciel (GDR GPL) s'étant déroulées à Nancy du 3 au 5 avril 2013. Les contributions présentées dans ce document ont été sélectionnées par les différents groupes de travail du GDR. Il s'agit de résumés, de nouvelles versions, de posters et de démonstrations qui correspondent à des travaux qui ont déjà été validés par les comités de programmes d'autres conférences et revues et dont les droits appartiennent exclusivement à leurs auteurs

Actes des Sixièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel

National audienceCe document contient les actes des Sixièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (GDR GPL) s'étant déroulées au CNAM à Paris du 11 au 13 juin 2014. Les contributions présentées dans ce document ont été sélectionnées par les différents groupes de travail du GDR. Il s'agit de résumés, de nouvelles versions, de posters et de démonstrations qui correspondent à des travaux qui ont déjà été validés par les comités de programmes d'autres conférences et revues et dont les droits appartiennent exclusivement à leurs auteurs

Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels

National audienceCet ouvrage présente les actes des 14èmes journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2015) qui se sont tenues à Bordeaux les 9 et 10 juin 2015