Approche Agile du Model-Based Testing pour les tests fonctionnels des SI d'entreprise PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Approche Agile du Model-Based Testing pour les tests fonctionnels des SI d'entreprise PDF full book. Access full book title Approche Agile du Model-Based Testing pour les tests fonctionnels des SI d'entreprise by Elodie Bernard (Docteur en informatique).). Download full books in PDF and EPUB format.
Author: Elodie Bernard (Docteur en informatique).) Publisher: ISBN: Category : Languages : fr Pages : 229
Book Description
La transformation digitale et Agile des grandes organisations induit un besoin de transformer en profondeur les pratiques du test logiciel. La mise en production des évolutions des systèmes informatiques avec des délais de plus en plus courts, sur des systèmes de plus en plus complexes, remet en cause les pratiques traditionnelles du test fonctionnel fondées sur une forte composante manuelle (analyse, conception et exécution).Les nouvelles approches et les nouveaux outils de test doivent s'adapter aux courtes itérations de l'Agile, ainsi qu'à l'expansion des systèmes développés, composés d'un ensemble de produits dans des contextes d'Agilité à l'échelle, tout en garantissant la qualité des systèmes en production.L'adaptation à l'Agilité signifie que les approches et outils devront être efficaces dans la conception et l'implémentation des tests pour différents objectifs de couverture fonctionnelles. Ils devront permettre de tester un petit ensemble de nouveaux récits utilisateurs tout en maintenant opérationnel le référentiel des tests de bout en bout reprenant les principaux cas d'utilisation des applications. Ceci de manière à gérer les évolutions du système et à étendre le référentiel des tests de régression automatisés.Du point de vue de l'exécution, les approches et outils devront supporter l'exécution de tests manuels et automatisés avec une adaptation transparente des premiers aux seconds. L'exécution systématique de l'ensemble des tests manuels n'est pas possible d'où la forte nécessité à automatiser les tests. La mise en place de processus d'automatisation est un point clé dans la réussite des projets, mais cette activité reste complexe et coûteuse. Elle permet de garantir la qualité de l'application à travers les différentes itérations, notamment dans les contextes Agile, ou les livraisons sont régulières et/ou le temps pour tester manuellement croît au fil des sprints. Automatiser un ensemble de cas de test permet d'alléger la charge de test manuel et facilite la détection de régressions.Un autre enjeu des tests logiciel dans la transformation Agile sera de parvenir à maintenir les suites de tests manuels grandissantes au fil des itérations. Ces suites de tests sont généralement décrites en langage naturel et, avec le temps, deviennent désorganisées et plus difficiles à utiliser et à maintenir. Il existe donc un réel défi à proposer des approches et des outils permettant de maintenir ces suites de tests afin de les rendre plus utilisables et plus faciles à maintenir.Pour répondre à ces besoins cette thèse propose une approche nommée ALME (ALME - Agile Lightweight Model-Based Testing for Enterprise IT) qui s'appuie sur les concepts fondamentaux du Model-Based-Testing (MBT, test à partir de modèles) refondés pour répondre aux enjeux du test des grands systèmes d'information dans le contexte d'un cycle de vie de développement logiciel itératif et incrémental. Cette refondation porte en particulier sur l'articulation entre la modélisation de processus métier et la gestion de règles métier pour le test pour la génération des tests fonctionnels.Les contributions de ces travaux de recherche couvrent les phases d'analyse, de conception et d'implémentation des tests fonctionnels et sont les suivantes :-Étendre l'état de l'art scientifique en MBT, sur l'automatisation des tests, le refactoring, le test dans l'Agilité et l'Agilité à l'échelle.-Étendre l'état de l'art sur les pratiques en test dans l'Agilité à l'échelle par une analyse qualitative et quantitative des pratiques actuelles et des solutions aux problèmes rencontrés par les équipes de développement du logiciel.Définir et mettre en application :-l'approche ALME.-une approche de gestion de l'automatisation.-une approche de refactoring des suites de tests manuels.Ces travaux de recherches ont été conduits au sein de l'institut FEMTO-ST,UMR 6174 et de la société Sogeti dans le cadre d'une thèse CIFRE démarrée en novembre 2017.
Author: Elodie Bernard (Docteur en informatique).) Publisher: ISBN: Category : Languages : fr Pages : 229
Book Description
La transformation digitale et Agile des grandes organisations induit un besoin de transformer en profondeur les pratiques du test logiciel. La mise en production des évolutions des systèmes informatiques avec des délais de plus en plus courts, sur des systèmes de plus en plus complexes, remet en cause les pratiques traditionnelles du test fonctionnel fondées sur une forte composante manuelle (analyse, conception et exécution).Les nouvelles approches et les nouveaux outils de test doivent s'adapter aux courtes itérations de l'Agile, ainsi qu'à l'expansion des systèmes développés, composés d'un ensemble de produits dans des contextes d'Agilité à l'échelle, tout en garantissant la qualité des systèmes en production.L'adaptation à l'Agilité signifie que les approches et outils devront être efficaces dans la conception et l'implémentation des tests pour différents objectifs de couverture fonctionnelles. Ils devront permettre de tester un petit ensemble de nouveaux récits utilisateurs tout en maintenant opérationnel le référentiel des tests de bout en bout reprenant les principaux cas d'utilisation des applications. Ceci de manière à gérer les évolutions du système et à étendre le référentiel des tests de régression automatisés.Du point de vue de l'exécution, les approches et outils devront supporter l'exécution de tests manuels et automatisés avec une adaptation transparente des premiers aux seconds. L'exécution systématique de l'ensemble des tests manuels n'est pas possible d'où la forte nécessité à automatiser les tests. La mise en place de processus d'automatisation est un point clé dans la réussite des projets, mais cette activité reste complexe et coûteuse. Elle permet de garantir la qualité de l'application à travers les différentes itérations, notamment dans les contextes Agile, ou les livraisons sont régulières et/ou le temps pour tester manuellement croît au fil des sprints. Automatiser un ensemble de cas de test permet d'alléger la charge de test manuel et facilite la détection de régressions.Un autre enjeu des tests logiciel dans la transformation Agile sera de parvenir à maintenir les suites de tests manuels grandissantes au fil des itérations. Ces suites de tests sont généralement décrites en langage naturel et, avec le temps, deviennent désorganisées et plus difficiles à utiliser et à maintenir. Il existe donc un réel défi à proposer des approches et des outils permettant de maintenir ces suites de tests afin de les rendre plus utilisables et plus faciles à maintenir.Pour répondre à ces besoins cette thèse propose une approche nommée ALME (ALME - Agile Lightweight Model-Based Testing for Enterprise IT) qui s'appuie sur les concepts fondamentaux du Model-Based-Testing (MBT, test à partir de modèles) refondés pour répondre aux enjeux du test des grands systèmes d'information dans le contexte d'un cycle de vie de développement logiciel itératif et incrémental. Cette refondation porte en particulier sur l'articulation entre la modélisation de processus métier et la gestion de règles métier pour le test pour la génération des tests fonctionnels.Les contributions de ces travaux de recherche couvrent les phases d'analyse, de conception et d'implémentation des tests fonctionnels et sont les suivantes :-Étendre l'état de l'art scientifique en MBT, sur l'automatisation des tests, le refactoring, le test dans l'Agilité et l'Agilité à l'échelle.-Étendre l'état de l'art sur les pratiques en test dans l'Agilité à l'échelle par une analyse qualitative et quantitative des pratiques actuelles et des solutions aux problèmes rencontrés par les équipes de développement du logiciel.Définir et mettre en application :-l'approche ALME.-une approche de gestion de l'automatisation.-une approche de refactoring des suites de tests manuels.Ces travaux de recherches ont été conduits au sein de l'institut FEMTO-ST,UMR 6174 et de la société Sogeti dans le cadre d'une thèse CIFRE démarrée en novembre 2017.
Author: Mark Utting Publisher: Morgan Kaufmann ISBN: 9780123725011 Category : Computers Languages : en Pages : 433
Book Description
This book gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics. The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demonstrated on examples and case studies from a variety of software domains, including embedded software and information systems. From this book you will learn: * The basic principles and terminology of model-based testing * How model-based testing differs from other testing processes * How model-based testing fits into typical software lifecycles such as agile methods and the Unified Process * The benefits and limitations of model-based testing, its cost effectiveness and how it can reduce time-to-market * A step-by-step process for applying model-based testing * How to write good models for model-based testing * How to use a variety of test selection criteria to control the tests that are generated from your models * How model-based testing can connect to existing automated test execution platforms such as Mercury Test Director, Java JUnit, and proprietary test execution environments * Presents the basic principles and terminology of model-based testing * Shows how model-based testing fits into the software lifecycle, its cost-effectiveness, and how it can reduce time to market * Offers guidance on how to use different kinds of modeling techniques, useful test generation strategies, how to apply model-based testing techniques to real applications using case studies
Author: Manfred Baumgartner Publisher: Springer Nature ISBN: 3030732096 Category : Computers Languages : en Pages : 257
Book Description
This book is written by testers for testers. In ten chapters, the authors provide answers to key questions in agile projects. They deal with cultural change processes for agile testing, with questions regarding the approach and organization of software testing, with the use of methods, techniques and tools, especially test automation, and with the redefined role of the tester in agile projects. The first chapter describes the cultural change brought about by agile development. In the second chapter, which addresses agile process models such as Scrum and Kanban, the authors focus on the role of quality assurance in agile development projects. The third chapter deals with the agile test organization and the positioning of testing in an agile team. Chapter 4 discusses the question of whether an agile tester should be a generalist or a specialist. In Chapter 5, the authors turn to the methods and techniques of agile testing, emphasizing the differences from traditional, phase-oriented testing. In Chapter 6, they describe which documents testers still need to create in an agile project. Next, Chapter 7 explains the efficient use of test automation, which is particularly important in agile development, as it is the main instrument for project acceleration and is necessary to support state-of-the-art DevOps approaches and Continuous Integration. Chapter 8 then adds examples from test tool practice extending test automation to include test management functionality. Chapter 9 is dedicated to training and its importance, emphasizing the role of employee training in getting started with agile development. Finally, Chapter 10 summarizes the results of the agile journey in general with a special focus on testing. To make the aspects described even more tangible, the specific topics of this book are accompanied by the description of experiences from concrete software development projects of various organizations. The examples demonstrate that different approaches can lead to solutions that meet the specific challenges of agile projects.
Author: Anne Kramer Publisher: John Wiley & Sons ISBN: 1119130018 Category : Computers Languages : en Pages : 298
Book Description
Provides a practical and comprehensive introduction to the key aspects of model-based testing as taught in the ISTQB® Model-Based Tester—Foundation Level Certification Syllabus This book covers the essentials of Model-Based Testing (MBT) needed to pass the ISTQB® Foundation Level Model-Based Tester Certification. The text begins with an introduction to MBT, covering both the benefits and the limitations of MBT. The authors review the various approaches to model-based testing, explaining the fundamental processes in MBT, the different modeling languages used, common good modeling practices, and the typical mistakes and pitfalls. The book explains the specifics of MBT test implementation, the dependencies on modeling and test generation activities, and the steps required to automate the generated test cases. The text discusses the introduction of MBT in a company, presenting metrics to measure success and good practices to apply. Provides case studies illustrating different approaches to Model-Based Testing Includes in-text exercises to encourage readers to practice modeling and test generation activities Contains appendices with solutions to the in-text exercises, a short quiz to test readers, along with additional information Model-Based Testing Essentials – Guide to the ISTQB® Certified Model-Based Tester – Foundation Level is written primarily for participants of the ISTQB® Certification: software engineers, test engineers, software developers, and anybody else involved in software quality assurance. This book can also be used for anyone who wants a deeper understanding of software testing and of the use of models for test generation.
Author: Mark Utting Publisher: ISBN: Category : Languages : en Pages : 0
Book Description
Practical Model-Based Testing gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics. The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demonstrated on examples and case studies from a variety of software domains, including embedded software and information systems. From this book you will learn: The basic principles and terminology of model-based testing How model-based testing differs from other testing processes How model-based testing fits into typical software lifecycles such as agile methods and the Unified Process The benefits and limitations of model-based testing, its cost effectiveness and how it can reduce time-to-market A step-by-step process for applying model-based testing How to write good models for model-based testing How to use a variety of test selection criteria to control the tests that are generated from your models How model-based testing can connect to existing automated test execution platforms such as Mercury Test Director, Java JUnit, and proprietary test execution environments Presents the basic principles and terminology of model-based testing Shows how model-based testing fits into the software lifecycle, its cost-effectiveness, and how it can reduce time to market Offers guidance on how to use different kinds of modeling techniques, useful test generation strategies, how to apply model-based testing techniques to real applications using case studies.
Author: Olli-Pekka Puolitaival Publisher: ISBN: 9789513871192 Category : Agile software development Languages : en Pages : 69
Book Description
This study concentrates on model-based testing in agile software developing context. Model-based testing is a software testing technique in which tests are generated from a model. Test can be executed separately later or in motion during the generation. Special focus is placed on examining the adaptability of model-based testing to agile software developing context. The purposes of this study were to find guidelines for model-based testing tool selection and to evaluate most suitable tool in agile context in case study. First was performed literature survey, where found criteria for model-based testing tools selection. Based on literature survey, was analyzed available tools carefully. Based on literature review and evaluation was made a collection of guidelines for tool selection and selected one tool for case study. The case study aims to evaluate model-based testing suitability for agile developing project. This case study had two purposes: the first goal was to present model-based testing usage in agile process, and the second goal was to evaluate model-based testing suitability in agile context. Based on empirical findings, it was concluded that model-based testing can be performed in agile process.
Book Description
Cette thèse est une contribution à la conception d'une méthode de génération automatique de tests à partir de modèles (ou MBT -Model Based Testing). Le contexte de nos travaux se situe dans la continuité de ceux effectués autour de l'outil BZ- TT (BZ- Testing Tools) qui permet d'engendrer des tests fonctionnels à partir de modèles décrits en langage B. Les critères de sélection de tests implémentés dans l'outil BZ- TT reposent sur la couverture structurelle du modèle du système à valider en prenant en compte les structures de données et de contrôle de celui-ci. Cette approche ne permet pas de générer de tests à partir de propriétés liées au comportement dynamique du système, par exemple en tenant compte de propriétés basées sur des enchaînements d'opérations. Afin de répondre à cette problématique, un certain nombre de travaux proposent des méthodes où l'expertise humaine est exploitée afin de définir des critères de sélection de tests "dynamiques". De tels critères de sélection permettent, à l'ingénieur de définir des stratégies basées sur des propriétés et des aspects du système qu'il souhaite valider. Nos contributions s'inscrivent dans cette voie, tout en visant la complémentarité par rapport à la génération automatique de tests par couverture structurelle du modèle dans un objectif de valorisation des technologies et ressources déployées à cette fin. Notre première contribution est la définition d'un langage de formalisation d'objectifs de tests qui permet d'exprimer des ensembles de scénarios de tests inspirés de propriétés à valider sur le système. Ce langage permet de décrire des schémas de tests à partir d'un formalisme, basé sur celui des expressions régulières, qui permet de décrire des ensembles de scénarios principalement par des enchaînements d'appels d'opération et d'états symboliques. Nous définissons une méthode de génération de tests intégrée à l'outil BZ- TT, afin que celui-ci prenne en compte ce nouveau critère de sélection de tests. Cette méthode permet de réutiliser les technologies d'animation symbolique et de résolution de contraintes de cet outil, ainsi que de conserver les fonctionnalités d'exportation et de concrétisation des tests produits. Dans cette méthode, la seule charge supplémentaire pour l'ingénieur de validation est la définition des schémas de test utilisés comme critère de sélection. Nos dernières contributions, visent à évaluer la complémentarité de notre méthode avec celle de génération automatique de tests par couverture structurelle du modèle. Nous proposons une méthode d'évaluation de la complémentarité entre deux suites de tests. Cette méthode est basée sur le calcul de la couverture d'états et de transitions des suites de tests sur une abstraction du système. Enfin, nous appliquons cette méthode à trois études de cas (deux applications de type carte à puce et un système de gestion de fichiers Posix), et nous montrons la complémentarité qu'elle apporte.
Author: Sven Boermeester Publisher: ISBN: 9781949677072 Category : Languages : en Pages :
Book Description
Innovate Bristol highlights and celebrates those companies and individuals that are actively working at building a better tomorrow for all. Innovation Ecosystems thrive through the involvement and support of companies and individuals from all industries, which is why the Innovate series not only focuses on the innovators but also those people whom the Innovation Ecosystem, would not be able to thrive without.
Author: James Shore Publisher: "O'Reilly Media, Inc." ISBN: 0596527675 Category : Computers Languages : en Pages : 436
Book Description
For those considering Extreme Programming, this book provides no-nonsense advice on agile planning, development, delivery, and management taken from the authors' many years of experience. While plenty of books address the what and why of agile development, very few offer the information users can apply directly.
Author: Eddy Willems Publisher: Springer ISBN: 3030045315 Category : Computers Languages : en Pages : 218
Book Description
This book describes the key cybercrime threats facing individuals, businesses, and organizations in our online world. The author first explains malware and its origins; he describes the extensive underground economy and the various attacks that cybercriminals have developed, including malware, spam, and hacking; he offers constructive advice on countermeasures for individuals and organizations; and he discusses the related topics of cyberespionage, cyberwarfare, hacktivism, and anti-malware organizations, and appropriate roles for the state and the media. The author has worked in the security industry for decades, and he brings a wealth of experience and expertise. In particular he offers insights about the human factor, the people involved on both sides and their styles and motivations. He writes in an accessible, often humorous way about real-world cases in industry, and his collaborations with police and government agencies worldwide, and the text features interviews with leading industry experts. The book is important reading for all professionals engaged with securing information, people, and enterprises. It’s also a valuable introduction for the general reader who wants to learn about cybersecurity.
Author: Elodie Bernard (Docteur en informatique).)
Author: Elodie Bernard (Docteur en informatique).)
Author: Mark Utting
Author: Manfred Baumgartner
Author: Anne Kramer
Author: Mark Utting
Author: Olli-Pekka Puolitaival
Author: Régis Tissot
Author: Sven Boermeester
Author: James Shore
Author: Eddy Willems