Log in

Relevant bibliographies by topics / Test de logiciels

Contents

Journal articles
Dissertations / Theses
Books
Book chapters

Academic literature on the topic 'Test de logiciels'

Author: Grafiati

Published: 4 June 2021

Last updated: 4 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Test de logiciels.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Test de logiciels"

1

Béland, Sébastien, David Magis, and Gilles Raîche. "Estimation des paramètres d’item et de sujet à partir du modèle de Rasch." Mesure et évaluation en éducation 36, no. 1 (April 22, 2014): 83–110. http://dx.doi.org/10.7202/1024466ar.

Full text

Abstract:

La Théorie de la réponse aux items (TRI) est une classe de modèles de mesure très utilisée en éducation. À ce jour, de nombreux logiciels, tel BILOG-MG, sont disponibles afin de procéder à l’estimation des paramètres d’item et de sujet. Parmi ces logiciels, il ne faut pas négliger ICL et R qui sont gratuits et qui peuvent permettre de produire des analyses diversifiées. Cette étude a pour objectif de comparer la qualité d’estimation des paramètres selon une des modélisations issues de la TRI : le modèle de Rasch. Pour ce faire, nous comparons les estimateurs du paramètre de difficulté et de sujet selon trois logiciels : BILOG-MG, ICL et la librairie ltm, disponible sous le logiciel R. Nous procédons à une analyse par simulation informatique et, dans un second temps, nous analysons un test de classement en anglais, langue seconde. Les résultats démontrent que les logiciels étudiés permettent d’obtenir des estimateurs des paramètres similaires, la différence principale entre ces logiciels étant leur temps d’exécution des procédures d’estimation.

APA, Harvard, Vancouver, ISO, and other styles

2

Belloir, Nicolas, Jean-Michel Bruel, and Franck Barbier. "Test intégré dans les composants logiciels." L'objet 10, no. 1 (March 30, 2004): 89–102. http://dx.doi.org/10.3166/objet.10.1.89-102.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Groz, Roland, Muzammil Shahbaz, and Kegin Li. "Extraction de modèles paramétrés au cours du test de composants logiciels." Techniques et sciences informatiques 27, no. 8 (October 30, 2008): 977–1006. http://dx.doi.org/10.3166/tsi.27.977-1006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Béland, Sébastien, and Denis Cousineau. "Adieu coefficient alpha de Cronbach! J’ai trouvé plus fidèle que toi…" Revue de psychoéducation 47, no. 2 (November 27, 2018): 449–60. http://dx.doi.org/10.7202/1054068ar.

Full text

Abstract:

De nombreux chercheurs en psychométrie soutiennent que le coefficient alpha de Cronbach (1951) n’est pas une mesure adéquate de la fidélité (reliability) d’un test. C’est dans l’optique d’améliorer les pratiques d’analyse de données que ce court article va présenter les fondements théoriques de la fidélité, synthétiser les principales limites de l’alpha en plus de présenter de façon concise deux alternatives très prometteuses: le great lower bound et l’omega. Des logiciels gratuits et en téléchargement libre sont mentionnés pour obtenir un estimé de ces coefficients.

APA, Harvard, Vancouver, ISO, and other styles

5

Amanfu, William, S. Sediadie, K. V. Masupu, A. Benkirane, R. Geiger, and François Thiaucourt. "Validation de terrain d'un test ELISA de compétition pour la détection de la péripneumonie contagieuse des bovins au Botswana." Revue d’élevage et de médecine vétérinaire des pays tropicaux 51, no. 3 (March 1, 1998): 189–93. http://dx.doi.org/10.19182/remvt.9620.

Full text

Abstract:

Le test ELISA de compétition, récemment décrit pour détecter la présence de la péripneumonie, a été utilisé au Laboratoire national vétérinaire du Botswana à Gaborone. L'échantillonnage de sérums a compris un nombre significatif de sérums récoltés durant l'épizootie de 1995 et ensuite en 1998 après que la totalité du cheptel bovin de la zone infectée ait été abattue. Les résultats obtenus ont montré l'excellente spécificité du test avec un seul sérum négatif, sur 895, ayant un titre légèrement supérieur au seuil de positivité. La comparaison avec deux autres tests, la fixation du complément et l'agglutination sur lame, avec des sérums récoltés durant l'épizootie de péripneumonie en 1995 a montré que ces trois tests avaient des sensibilités équivalentes. Les principaux avantages de l'ELISA de compétition sont sa spécificité, sa reproductibilité et la possibilité qu'il offre de pouvoir effectuer un contrôle de qualité fiable en étant utilisé avec des logiciels développés au niveau international comme l'ELISA Data Interchange (EDI).

APA, Harvard, Vancouver, ISO, and other styles

6

Masengo, C. A., and K. N. Ngbolua. "Enquête socio-économique et activité antifalcémiante de thé de Gambie (Lippia multiflora Moldenke, Verbenaceae) à l’Ouest de la République Démocratique du Congo." Revue Congolaise des Sciences & Technologies 01, no. 01 (June 20, 2022): 24–34. http://dx.doi.org/10.59228/rcst.022.v1.i1.03.

Full text

Abstract:

Le but de ce travail était d’évaluer le potentiel économique des feuilles de Lippia multiflora dans la partie Ouest de la République démocratique du Congo depuis la cueillette jusqu’à la vente, d’une part et d’autre part d’en évaluer l’activité antifalcémiante in vitro de l’extrait aqueux. Pour ce faire, une enquête a été réalisée auprès de la population composée des paysans et des vendeurs impliqués respectivement dans la cueillette et la vente de L. multiflora, en utilisant la technique d’échantillonnage par boule de neige. Les logiciels Microsoft Excel version 2010, SPSS version 20 et Origin version 8.5 Pro ont été utilisés pour le traitement et l’analyse des données. L’évaluation de l’activité anti-drépanocytaire in vitro a été réalisée en utilisant le test d’Emmel. Les résultats ont montré que L. multiflora constitue une source de revenu pour la population tant rurale qu’urbaine avec un revenu de plus de 300.000 CDF (150 USD) qui est affecté à l’éducation et à la santé. Les expériences in vitro ont indiqué un taux de normalisation élevé de drépanocytes. Au regard de ces résultats, la domestication de cette plante dans quelques régions agro-écologiques de la République démocratique du Congo est vivement souhaitée. En outre, il serait également souhaitable que les industries agro-alimentaires et pharmaceutiques s’intéressent à cette filière. Mots clés: Lippia multiflora, produits forestiers non ligneux, thé de Gambie, Drépanocytose, République Démocratique du Congo.

APA, Harvard, Vancouver, ISO, and other styles

7

Sacko, I., and Et Al. "Prévalence de l’Hépatite Virale B chez les Travailleurs d’une Industrie de Tabac et d’Allumettes du Mali." Revue Malienne d'Infectiologie et de Microbiologie 18, no. 1 (June 23, 2023): 38–42. http://dx.doi.org/10.53597/remim.v18i1.2626.

Full text

Abstract:

Introduction. L’objectif de notre étude était de déterminer la prévalence de l’hépatite virale B chez les travailleurs d’une entreprise d’Industrie de Tabac et d’Allumettes à Bamako au Mali. Matériels et méthodes. Il s’agissait d’une étude descriptive transversale qui s’est déroulée du 07 au 24 Novembre 2022. Elle a inclus tous les travailleurs de la société de Tabac et d’Allumettes à Bamako au Mali, qui ont pris part à la visite médicale périodique de l’entreprise. En dehors des constantes biométriques et physiologique en relation avec leur emploi, nous avons effectué un test de dépistage qualitatif par l’antigène anti-hépatite B. Les données recueillies sur un questionnaire ont été traitées par les logiciels : SPSS (version 20.0) et EXCEL (version 17) et le traitement des textes ont été effectué sur Microsoft Word. Résultats. : au total 149 travailleurs ont été inclus dans notre étude. Le taux de participation était de 100%. L’âge moyen des travailleurs retrouvé était de 38,66 ans avec des extrêmes allant de 20 à 60 ans. Notre échantillon était constitué de 07 Femmes soit 13,9 % et 142 Hommes soit 86,1 %, avec une nette prédominance masculine et un sex-ratio à 20,28 %. L’ancienneté à plus de 5ans de service était de 53,7% chez les travailleurs. Notre étude a noté une prévalence de l’hépatite virale B de 16,77%. Les travailleurs ayant un AgHBs positif étaient des hommes (100%). Aucun mode de contamination réel n’a été retrouvé dans cette entreprise. Mais de fort soupçon sur les modes d’hygiène de vie a été pointé du doigt. Conclusion : En milieu de travail, l’hépatite virale B peut affecter durablement la santé des travailleurs et entrainer une baisse de la production surtout au stade de complication. Il faudrait également inciter les employeurs à la sensibilisation et à la vaccination de masse de leur personnel contre l’hépatite virale B.

APA, Harvard, Vancouver, ISO, and other styles

8

Aïfa, Adam, Oliver Sorel, and Morgane Pierre-Jean. "Évaluation de la précision des analyses céphalométriques automatisées et semi-automatisées sur téléradiographies de profil." Revue d'Orthopédie Dento-Faciale 56, no. 4 (December 2022): 329–40. http://dx.doi.org/10.1051/odf/2022038.

Full text

Abstract:

Objectifs : cette étude consiste à évaluer la capacité des logiciels Webceph, Vatech, et Logos à repérer automatiquement les points céphalométriques et à établir des mesures fiables. La précision des mesures céphalométriques automatique (A) et semi-automatique (SA) est établie, par rapport à la référence manuelle (M) Geogebra. Matériels et méthodes : 70 téléradiographies de profil sont sélectionnées aléatoirement et analysées par les 3 méthodes (A, SA, M). Sur chaque cliché, 13 points céphalométriques sont repérés pour la réalisation de 16 mesures squelettiques et dento-alvéolaires (13 angulaires et 3 linaires). Un test t de student (ou de Wilcoxon en cas de distribution anormale des données) a été réalisé pour mesurer les biais systématiques. Le coefficient de corrélation de Lin (CCC) complété par les plots de Bland-Altman est utilisé pour évaluer la concordance entre les méthodes. Résultats : les mesures sont reproductibles dans toutes les méthodes. Avec les méthodes A, le test t apparié a montré des différences statistiquement et cliniquement significatives dépassant les 2 unités pour 5 mesures sur EzOrtho, et 6 mesures sur Webceph. En revanche, avec les méthodes SA, les différences ne sont pas statistiquement significatives pour la plupart des paramètres ou statistiquement significatives, de très faibles étendues mais cliniquement acceptables. Le CCC révèle une concordance passable à excellente entre les méthodes A et M (de 0,67 à 0,92 pour Webceph, et de 0,82 à 0,96 pour EzOrtho), et plutôt très bonne à excellente entre les méthodes SA et la référence M (0,93 à 1 sur Webceph, 0,96 à 1 sur EzOrtho et 0,91 à 1 sur Logos). Les diagrammes de Bland-Altman ont montré que la taille de l'erreur était dans la plage acceptable avec les méthodes SA contrairement aux méthodes A. Le biais systématique et le niveau d'accord étaient meilleurs avec les méthodes SA. Conclusion : la méthode SA est aussi précise et reproductible que la méthode M, contrairement à la méthode A. La reconnaissance automatique des structures (A) qui utilise l'IA reste aujourd'hui un outil prometteur en céphalométrie, qui doit être utilisé avec circonspection. Elle ne peut pas encore remplacer le jugement humain dans le repérage et mesures céphalométriques. Cela reste aujourd'hui une aide efficiente pour le praticien.

APA, Harvard, Vancouver, ISO, and other styles

9

Umutoni, C., and I. Ngaruye. "Prediction of Tea Production in Rwanda Using Data Mining Techniques." Agricultural and Food Science Journal of Ghana 15, no. 1 (March 22, 2023): 1631–40. http://dx.doi.org/10.4314/afsjg.v15i1.10.

Full text

Abstract:

Rwanda's main economic activity is agriculture, and tea is the country's most important cash crop. There has been extensive research on prediction of tea production in Rwanda but most of the methods applied were the traditional statistical analyzes with limited prediction capability. Data mining algorithm models, linear regression, K-Nearest Neighbor (KNN), Random Forest Regression, and Extremely Randomized Trees are discussed in this study to identify critical features in different domains to facilitate accurate prediction of tea production in Rwanda. In this study also, an identification of different factors which are strongly associated with tea production and developed data mining models for predicting tea production using training and test data from National Agricultural Export Development Board (NAEB) 2010-2019 is performed and PYTHON, R, and SPSS Version 25 softwares used in this study. The findings reveal that extra tree and random forest are the best model among the others to predict tea production in Rwanda. French title: Prévision de la production de thé au Rwanda à l'aide de techniques d'exploration de données La principale activité économique du Rwanda est l'agriculture, et le thé est la culture de rente la plus importante du pays. De nombreuses recherches ont été menées sur la prédiction de la production de thé au Rwanda, mais la plupart des méthodes appliquées étaient des analyses statistiques traditionnelles avec une capacité de prédiction limitée. Les modèles d'algorithmes d'exploration de données, la régression linéaire, le K-Nearest Neighbor (KNN), la régression Random Forest et les arbres extrêmement randomisés sont discutés dans cette étude pour identifier les caractéristiques critiques dans différents domaines afin de faciliter la prédiction précise de la production de thé au Rwanda. Dans cette étude également, une identification des différents facteurs qui sont fortement associés à la production de thé et des modèles d'exploration de données développés pour prédire la production de thé en utilisant des données d'entraînement et de test du National Agricultural Export Development Board (NAEB) 2010-2019 est effectuée et les logiciels PYTHON, R, et SPSS Version 25 sont utilisés dans cette étude. Les résultats révèlent que l'arbre supplémentaire et la forêt aléatoire sont les meilleurs modèles parmi les autres pour prédire la production de thé au Rwanda.

APA, Harvard, Vancouver, ISO, and other styles

10

Marie-Claude Gaudel. "Le test de logiciel : pourquoi et comment." Bulletin 1024, no. 3 (May 2014): 25–35. http://dx.doi.org/10.48556/sif.1024.3.25.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Test de logiciels"

1

Bailly, Arnaud Clerbout Mireille Ryl Isabelle. "Test & validation de composants logiciels." Villeneuve d'Ascq : Université des sciences et technologies de Lille, 2007. https://iris.univ-lille1.fr/dspace/handle/1908/515.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Bailly, Arnaud. "Test & validation de composants logiciels." Lille 1, 2005. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2005/50376-2005-Bailly.pdf.

Full text

Abstract:

Les producteurs de logiciels et plus particulièrement les prestataires de services doivent faire face aux exigences de plus en plus fortes des utilisateurs pour obtenir des logiciels de meilleure qualité qui remplissent un nombre de fonctions de plus en plus grande, à un coût réduit. Cette thèse se propose de contribuer à la résolution de cette équation en soulignant l'importance de structurer les applications dans une architecture à base de composants et d'industrialiser le processus de développement. Pour ce faire, nous proposons un modèle de composants permettant l'expression de contrats comportementaux, modèle doté d'une sémantique formelle sous la forme de langages de traces liés à une catégorie particulière d'automates, intitulé FIDL. Ce modèle nous permet de définir des outils théoriquement bien fondés pour la validation et la vérification de composants concrets. En particulier, nous détaillons la mise en oeuvre d'une méthode de test de conformité compositionnelle pour la validation de composants.

APA, Harvard, Vancouver, ISO, and other styles

3

Mouy, Patricia. "Automatisation du test de tous-les-chemins en présence d'appels de fonction." Evry-Val d'Essonne, 2007. http://www.biblio.univ-evry.fr/theses/2007/2007EVRY0033.pdf.

Full text

Abstract:

Le test structurel est d'habitude limité aux tests unitaires et est basé sur une définition précise de la couverture du code source. Le critère tous-les-chemins est reconnu comme offrant un haut niveau de confiance. Pour limiter l'explosion combinatoire des chemins, nous abstrayons les fonctions appelées par leur spécification. Nous incorporons les informations fonctionnelles des fonctions appelées dans les informations structurelles de la fonction sous test données par le CFG. Cette représentation combinant des descriptions fonctionnelles et structurelles nous permet de caractériser des critères de sélection de test assurant la couverture du code source de la fonction sous test. On propose deux nouveaux critères. Le premier correspond à la couverture de tous les chemins de cette nouvelle représentation, y compris des chemins résultant de la description fonctionnelle des fonctions appelées. Le deuxième couvre uniquement tous les chemins faisables de la fonction sous test
Structural testing is usually restricted to unit tests and based on some clear definition of source code coverage. In particular, the all-paths criterion is recognised as offering a high level of software reliability. To limit the combinatorial explosion in the number of paths, we choose to abstract the called functions by their specification. We incorporate the functional information on the called functions within the structural information on the function under test, given as a CFG. This representation combining functional and structural descriptions allows us to characterise test selection criteria ensuring the coverage of the source code of the function under test. Two new criteria are proposed. The first one corresponds to the coverage of all the paths of this new representation, including all the paths arising from the functional description of the called functions. The second one covers all the feasible paths of the function under test only

APA, Harvard, Vancouver, ISO, and other styles

4

Awedikian, Roy Yannou Bernard. "Qualité de la conception de tests logiciels plate-forme de conception et processus de test /." S. l. : Ecole centrale de Paris, 2009. http://theses.abes.fr/2009ECAP0007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Mottu, Jean-Marie Le Traon Yves. "Oracles et qualification du test de transformations de modèles." Rennes : [s.n.], 2008. ftp://ftp.irisa.fr/techreports/theses/2008/mottu.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Pickin, Simon. "Test des composants logiciels pour les télécommunications." Rennes 1, 2003. http://www.theses.fr/2003REN10034.

Full text

Abstract:

Nous affirmons le besoin d'un langage intégré dans UML pour décrire des test fonctionnels de composants, et nous proposons un tel langage, TeLa, fondé sur les diagrammes de séquence UML, où l'architecture de test se décrit avec des diagrammes de composant UML. Nous formalisons la base de la sémantique non entrelacée de TeLa, et les notions de déterminisme / contrôlabilité, complétude en entrée, verdicts implicite / explicite et alternative par défaut. La sémantique par projection sur les événements du testeur permet l'usage d'une syntaxe avec lignes de vie pour le SUT. Lárchitecture de test fournit un cadre pour définir la décomposition des lignes de vie et des propriétés de composant telles que la sémantique de communication et le schéma de flôt de contrôle. Nous définissons les concepts d'une description de test bien fondée, d'un cas de test centralisable et de trois types de cas de test parallèles. Nous expérimentons l'utilisation de TeLa dans la synthèse de test avec Umlaut/TGV.

APA, Harvard, Vancouver, ISO, and other styles

7

Awedikian, Roy. "Qualité de la conception de tests logiciels : plate-forme de conception et processus de test." Phd thesis, Ecole Centrale Paris, 2009. http://tel.archives-ouvertes.fr/tel-00393847.

Full text

Abstract:

L'électronique dans les voitures devient de plus en plus complexe et représente plus de 30% du coût global d'une voiture. Par exemple, dans une BMW série 5 modèle 2008, on peut trouver jusqu'à 80 calculateurs électroniques communiquant ensemble et représentant aux alentours de 10 millions de lignes de code logiciel. Face à cette montée en complexité, les constructeurs et équipementiers électroniques de l'automobile s'intéressent de plus en plus à des méthodes efficaces de développement, vérification et validation de modules électroniques. Plus précisément, ils focalisent leurs efforts sur la partie logicielle de ces modules puisqu'elle est à l'origine de plus de 80% des problèmes détectés sur ces produits. Dans ce contexte, nous avons mené un travail de recherche dont l'objectif est de proposer une approche globale d'amélioration de la qualité des logiciels embarqués dans les véhicules. Notre recherche part d'un audit des processus et outils actuellement utilisés dans l'industrie électronique automobile. Cet audit a permis d'identifier des leviers potentiels d'amélioration de la qualité logicielle. En se basant sur les résultats de l'audit et en tenant compte de la littérature dans le domaine de la qualité logicielle, nous avons proposé une approche globale de conception de cas de test pour les produits logiciels. En effet, nous avons développé une plateforme de génération automatique de tests pour un produit logiciel. Cette plateforme consiste à modéliser les spécifications du produit logiciel pour le simuler lors de tests, à se focaliser sur les tests critiques (ayant une forte probabilité de détecter des défauts) et à piloter la génération automatique des tests par des critères de qualité ; telles que la couverture du code et de la spécification mais aussi le coût des tests. La génération de tests critiques est rendue possible par la définition de profils d'utilisation réelle par produit logiciel, ainsi que par la réutilisation des défauts et des tests capitalisés sur des anciens projets. En plus des aspects algorithmiques du test logiciel, notre approche prend en compte des aspects organisationnels tels que la gestion des connaissances et des compétences et la gestion de projet logiciel. Notre approche a été mise en œuvre sur deux cas d'étude réels d'un équipementier électronique automobile, disposant de données de tests historiques. Les résultats de nos expérimentations révèlent des gains de qualité significatifs : plus de défauts sont trouvés plus tôt et en moins de temps.

APA, Harvard, Vancouver, ISO, and other styles

8

Parissis, Ioannis. "Test de logiciels synchrones spécifiés en Lustre." Phd thesis, Université Joseph Fourier (Grenoble), 1996. http://tel.archives-ouvertes.fr/tel-00005010.

Full text

Abstract:

Ce travail s'inscrit dans le cadre des méthodes formelles et des outils pour la spécification, la programmation, la vérification et la validation des logiciels réactifs à l'aide du langage synchrone Lustre. Nous avons étendu l'environnement de développement actuel de ces logiciels en lui adjoignant des outils de validation de spécifications et de test de programmes. Nous proposons une technique de construction automatique d'un simulateur aléatoire de l'environnement externe du logiciel ainsi que d'un simulateur des comportements sûrs de ce dernier. Exécutés conjointement, ces deux simulateurs permettent, par observation, la validation des spécifications de l'environnement et des propriétés de sûreté. La simulation de l'environnement constitue également un moyen de test aléatoire du logiciel. Une variante de cette technique est le test des propriétés de sûreté. Ce type de test favorise l'exécution des comportements de l'environnement du logiciel qui peuvent mettre en évidence avec une plus grande probabilité des violations des propriétés de sûreté. Enfin, nous définissons des critères de couverture pour le test structurel en s'appuyant sur le réseau d'opérateurs associé à un programme Lustre. Les conditions d'exécution des composants du réseau satisfaisant les critères sont calculées automatiquement ce qui permet la génération automatique de données de test ainsi que la mesure du taux de couverture obtenu. Toutes ces techniques sont formellement définies. Une illustration de leur application sur un exemple de logiciel synchrone que nous avons développé à cet effet complète notre étude.

APA, Harvard, Vancouver, ISO, and other styles

9

Le, Traon Yves. "Contribution au test de logiciels orientés-objet." [S.l.] : [s.n.], 2004. http://www.irisa.fr/centredoc/publis/HDR/2004/irisapublication.2005-08-03.6913694729.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Seljimi, Besnik. "Test de logiciels synchrones avec la PLC." Phd thesis, Université Joseph Fourier (Grenoble), 2009. http://tel.archives-ouvertes.fr/tel-00408225.

Full text

Abstract:

Ce travail porte sur le test fonctionnel, basé sur les spécifications et complètement automatisé des logiciels synchrones. Nous proposons une extension des techniques de test proposées par l'outil Lutess afin de prendre en compte des logiciels qui comportent des entrées/sorties numériques. La génération de données de test est abordée en s'appuyant sur les techniques de programmation par contraintes.

Nous avons redéfini les méthodes de guidage de la génération afin de les adapter à ce nouveau contexte numérique. Ainsi, nous proposons, en plus de la génération aléatoire respectant les propriétés invariantes de l'environnement, le guidage du test basé sur des probabilités conditionnelles ou sur des propriétés de sûreté. Des connaissances partielles sur le logiciel, que nous appelons hypothèses de test, peuvent être intégrées dans le processus de génération et contribuer à l'amélioration du pouvoir de détection de fautes du guidage par propriétés de sûreté. Enfin, nous permettons l'utilisation conjointe de plusieurs techniques de guidage dans une même spécification.

Une implémentation de ces méthodes de test a été réalisée dans une nouvelle version de l'outil, que nous appelons Lutess V2. L'applicabilité de ces méthodes dans un contexte plus réaliste a été évaluée sur une étude de cas significative d'un contrôleur de niveau d'eau dans une chaudière.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Test de logiciels"

1

Test logiciel: Applications orientées objet, client-serveur, web intranet, progiciels, an 2000, euro. Paris: Eyrolles, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Perry, William E. How to test software packages: A step-by-step guide to assuring they do what you want. New York: Wiley, 1986.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Lakshmikanth, Raghavan, ed. Secure and resilient software: Requirements, test cases, and testing methods. Boca Raton, FL: CRC Press, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Grenning, James W. Test-driven development for embedded C. Raleigh, N.C: Pragmatic Bookshelf, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

An integrated approach to software engineering. New York: Springer-Verlag, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Jalote, P. An integrated approach to software engineering. 2nd ed. New York: Springer, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Writing solid code: Microsoft's techniques for developing bug-free C programs. Redmond, Wash: Microsoft Press, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Specifying and diagnostically testing econometric models. 2nd ed. Westport, Conn: Quorum Books, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Specifying and diagnostically testing econometric models. New York: Quorum Books, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Buckley, Fletcher J. Implementing software engineering practices. New York: Wiley, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Test de logiciels"

1

de Micheaux, Pierre Lafaye, Rémy Drouilhet, and Benoît Liquet. "Intervalles de confiance et tests d’hypothéses." In Le logiciel R, 335–74. Paris: Springer Paris, 2011. http://dx.doi.org/10.1007/978-2-8178-0115-5_13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

de Micheaux, Pierre Lafaye, Rémy Drouilhet, and Benoît Liquet. "Intervalles de confiance et tests d’hypothèses." In Le logiciel R, 449–88. Paris: Springer Paris, 2014. http://dx.doi.org/10.1007/978-2-8178-0535-1_13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

"Bibliographie." In Pratique des tests logiciels, 241–42. Dunod, 2021. http://dx.doi.org/10.3917/dunod.prada.2021.01.0241.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Pradat-Peyre, Jean-François, and Jacques Printz. "11. Les tests, une nouvelle mesure de complexité." In Pratique des tests logiciels, 197–218. Dunod, 2021. http://dx.doi.org/10.3917/dunod.prada.2021.01.0197.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Kaiser, Claude. "Postface." In Pratique des tests logiciels, 219–27. Dunod, 2021. http://dx.doi.org/10.3917/dunod.prada.2021.01.0219.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Ashworth, E. Jennifer. "Logic Teaching at the University of Prague around 1400 A.D." In History of Universities, 211–21. Oxford University PressOxford, 2006. http://dx.doi.org/10.1093/oso/9780199297382.003.0006.

Full text

Abstract:

Abstract This book is largely (45–432) an edition of a Sophistria text that represents logic teaching at the University of Prague around 1400 A.D. While the anonymous author shows few signs of intellectual distinction, both the topics chosen for discussion and the large number of direct references to other logicians make the work a valuable source for those interested in the undergraduate curriculum of the late middle ages. The editor, E.P. Bos, has done an excellent job of presenting the Latin text in as perspicuous a fashion as possible, and has provided the reader with an analysis (8–10) of the somewhat haphazard way in which the Prague master presented his sequences of arguments. However, in order to understand the text, or to glean from it anything about university teaching, one needs a good deal more than that.

APA, Harvard, Vancouver, ISO, and other styles

7

Wright, Samuel. "Space." In A Time of Novelty, 163–94. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780197568163.003.0006.

Full text

Abstract:

Chapter 5 recovers the contours of the manuscript economy in early modern India for texts in Sanskrit logic. It identifies the “reading community” as the primary unit of this economy. Then, it studies how these reading communities forge values and consumption priorities within themselves and across space; and stresses that the category of the court or polity is not useful in thinking through these issues. Instead, it argues that this space functioned and was sustained not by the court but on the basis of both intellectual and emotional relations between Sanskrit logicians and “the text” as these scholars responded to novelty in philosophical arguments. The arguments in this chapter are based on a survey of approximate 4,800 manuscripts listed in a number of manuscript surveys and catalogs.

APA, Harvard, Vancouver, ISO, and other styles

8

Kraemer, Joel L. "Maimonides on the Philosophic Sciences in his Treatise on the Art of Logic." In Perspectives on Maimonides, 77–104. Liverpool University Press, 1991. http://dx.doi.org/10.3828/liverpool/9780197100714.003.0005.

Full text

Abstract:

This chapter examines Maimonides’ Treatise on the Art of Logic, which was written in his youth and may be considered to be his only purely philosophic work. The treatise was not written for a philosopher, nor was it composed to clarify philosophic issues, but rather to explain the terminology used by logicians. In the course of his résumé in the final chapter of the treatise, Maimonides moves from a treatment of logical terms to a brief survey of the philosophic sciences. He gets into this by way of defining the term falsafa, or ‘philosophy’. This brief survey of the sciences includes Maimonides’ well-known ‘statement on political science’. The chapter then studies Chapter 14 of the Treatise on the Art of Logic, focusing on the section on political science. It also considers the implications of this reading of the text for understanding Maimonides’ conception of the civil and religious law and the question of the allegedly political function of the latter.

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!