Automatic bug fixingAutomatic bug-fixing is the automatic repair of software bugs without the intervention of a human programmer. It is also commonly referred to as automatic patch generation, automatic bug repair, or automatic program repair. The typical goal of such techniques is to automatically generate correct patches to eliminate bugs in software programs without causing software regression. Automatic bug fixing is made according to a specification of the expected behavior which can be for instance a formal specification or a test suite.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Test de RorschachLe test de Rorschach ou psychodiagnostic de Rorschach est un outil de l'évaluation psychologique de type projectif élaboré par le psychanalyste Hermann Rorschach en 1921. Il consiste en une série de planches graphiques présentant des taches symétriques a priori non figuratives qui sont proposées à la libre interprétation de la personne évaluée. Analysées par la personne administrant le test, les réponses fournies servent à évaluer la personnalité du sujet.
Produit informatique standardUn produit informatique standard ou produit informatique COTS (sigle emprunté à l'expression d'origine anglaise « commercial off-the-shelf » qui signifie : vendu sur étagère) désigne tout produit informatique fabriqué en série et disponible dans le commerce, non réalisé pour un projet en particulier. Ces produits informatiques (logiciel ou matériel) sont de plus en plus utilisés dans des projets qui ont pour but de réduire les coûts de conception, de fabrication et de maintenance.
Test projectifUn test projectif est un outil d'évaluation psychologique précis qui exploite les réponses spontanées produites par la personne soumise à des stimuli, le principe étant que ces réponses indiquent tel ou tel mécanisme inconscient ou certains traits de personnalité du sujet. Cette technique permet de passer la barrière du cortex cérébral (le nouveau cerveau : analytique, rationnel, mathématique, logique) afin d'atteindre des parties du cerveau plus profondes (système limbique) afin d'avoir une idée plus précise de la vraie personnalité du patient.
