Génération automatique de cas de test guidée par les propriétés de sûreté 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 Génération automatique de cas de test guidée par les propriétés de sûreté PDF full book. Access full book title Génération automatique de cas de test guidée par les propriétés de sûreté by Jérôme Vassy. Download full books in PDF and EPUB format.
Book Description
Ce travail porte sur le problème de la validation des logiciels réactifs synchrones par rapport à des propriétés de sûreté. Les propriétés de sûreté permettent de spécifier les comportements sûrs d'un logiciel. D'une manière générale, notre approche aborde la validation par le test. Dans ce cadre, nous avons défini une technique qui permet de déterminer, à partir des propriétés de sûreté seulement, toutes les données de test favorisant l'observation d'une violation de ces propriétés. Cette technique permet d'anticiper une violation future. Différentes heuristiques ont été implantées pour sélectionner les données de test de façon efficace. Notre proposition a été intégrée à l'outil Lutess. Ce dernier est capable de générer automatiquement et dynamiquement des données de test en s'appuyant sur divers guides. La capacité de nos heuristiques à guider le test vers des situations où la propriété de sûreté peut être violée a été évaluée sur une étude de cas significative proposée par un consortium d'industriels du secteur des télécommunications.
Book Description
Ce travail porte sur le problème de la validation des logiciels réactifs synchrones par rapport à des propriétés de sûreté. Les propriétés de sûreté permettent de spécifier les comportements sûrs d'un logiciel. D'une manière générale, notre approche aborde la validation par le test. Dans ce cadre, nous avons défini une technique qui permet de déterminer, à partir des propriétés de sûreté seulement, toutes les données de test favorisant l'observation d'une violation de ces propriétés. Cette technique permet d'anticiper une violation future. Différentes heuristiques ont été implantées pour sélectionner les données de test de façon efficace. Notre proposition a été intégrée à l'outil Lutess. Ce dernier est capable de générer automatiquement et dynamiquement des données de test en s'appuyant sur divers guides. La capacité de nos heuristiques à guider le test vers des situations où la propriété de sûreté peut être violée a été évaluée sur une étude de cas significative proposée par un consortium d'industriels du secteur des télécommunications.
Author: Jean-Louis Boulanger Publisher: John Wiley & Sons ISBN: 1119122481 Category : Technology & Engineering Languages : en Pages : 376
Book Description
CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be implemented. This is a guide to its implementation, in order to understand the foundations of the standard and how it impacts on the activities to be undertaken, helping towards better a preparation for the independent evaluation phase, which is mandatory.
Author: North Atlantic Treaty Organization Publisher: CreateSpace ISBN: 9781482679441 Category : Reference Languages : en Pages : 450
Book Description
NATO Glossary of terms and definitions (English and French). Listing terms of military significance and their definitions for use in NATO.
Author: D. C. Allport Publisher: John Wiley & Sons ISBN: 9780471958123 Category : Science Languages : en Pages : 470
Book Description
- MDI und TDI sind Diisocyanate, die industriell als Bausteine für Polymere verwendet werden, aber für die Gesundheit und die Umwelt nicht unbedenklich sind - erstmals werden hier Gesundheits- und Umweltrisiken von TDI und MDI gezielt in einem Band angesprochen - mit zahlreichen Photos, Spektren, Tabellen und Diagrammen - Beiträge von Experten aus Forschung, Industrie und Behörden
Author: Jean-Louis Boulanger Publisher: John Wiley & Sons ISBN: 1119002923 Category : Computers Languages : en Pages : 342
Book Description
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).
Author: Publisher: IUCN ISBN: 283170684X Category : Convention on International Trade in Endangered Species of Wild Fauna and Flora Languages : en Pages : 12
Book Description
Use of and trade in wildlife is a fact of life for human society around the globe. Article IV of the CITES Convention requires that exporting countries restrict trade in Appendix II species to levels that are not detrimental either to species? survival, or to their role within the ecosystems in which they occur (known as the ?non-detriment finding?). Based on two workshops convened by IUCN to develop some pragmatic assistance for Scientific Authorities, this publication presents the background to the development of the non-detriment finding checklist and explains how the checklist itself is designed to work, in the hope that Scientific Authority staff will take and develop the parts of the approach that they find useful.
Author: Food and Agriculture Organization of the United Nations Publisher: Food & Agriculture Org. ISBN: 9251312362 Category : Medical Languages : en Pages : 166
Book Description
The 2018 FAO-OIE-WHO (Tripartite) zoonoses guide, “Taking A Multisectoral, One Health Approach: A Tripartite Guide to Addressing Zoonotic Diseases in Countries” (2018 TZG) is being jointly developed to provide member countries with practical guidance on OH approaches to build national mechanisms for multisectoral coordination, communication, and collaboration to address zoonotic disease threats at the animal-human-environment interface. The 2018 TZG updates and expands on the guidance in the one previous jointly-developed, zoonoses-specific guidance document: the 2008 Tripartite “Zoonotic Diseases: A Guide to Establishing Collaboration between Animal and Human Health Sectors at the Country Level”, developed in WHO South-East Asia Region and Western Pacific Region. The 2018 TZG supports building by countries of the resilience and capacity to address emerging and endemic zoonotic diseases such as avian influenza, rabies, Ebola, and Rift Valley fever, as well as food-borne diseases and antimicrobial resistance, and to minimize their impacts on health, livelihoods, and economies. It additionally supports country efforts to implement WHO International Health Regulations (2005) and OIE international standards, to address gaps identified through external and internal health system evaluations, and to achieve targets of the Sustainable Development Goals. The 2018 TZG provides relevant country ministries and agencies with lessons learned and good practices identified from country-level experiences in taking OH approaches for preparedness, prevention, detection and response to zoonotic disease threats, and provides guidance on multisectoral communication, coordination, and collaboration. It informs on regional and country-level OH activities and relevant unisectoral and multisectoral tools available for countries to use.
Author: C. Melber Publisher: WHO ISBN: Category : Medical Languages : en Pages : 154
Book Description
On cover: IPCS International Programme on Chemical Safety. Published under the joint sponsorship of the United Nations Environment Programme, the International Labour Organization and the World Health Organization, and produced within the framework of the Inter-organization Programme for the Sound Management of Chemicals (IOMC)
Author: Jérôme Vassy
Author: Jérôme Vassy
Author: Jean-Louis Boulanger
Author: North Atlantic Treaty Organization
Author: D. C. Allport
Author: Jean-Louis Boulanger
Author: 
Author: Food and Agriculture Organization of the United Nations
Author: C. Melber
Author: D. Bjorner
Author: Charles Antony Richard Hoare