Publication

ASIStint: An Interactive ASIS Interpreter

Alfred Strohmeier
1997
Conference Papers

Résumé

ASIStint is an interactive ASIS interpreter with scripting facilities. It may be used for learning ASIS, i.e. the user may interactively try out the effects of the various ASIS queries. It might also be used as an assistant (sic!) when experimenting with ASIS queries, e.g. in order to discover a way of implementing a part of an ASIS application, or to correct it. Yet another use is debugging and testing an ASIS implementation. Input-output of a session may be recorded, and then be replayed. Keywords: Ada, ASIS, Interpreter. Contents: 1. Introduction 2. Example of an ASIStint script 3. ASIStint language description 4. The ASIStint execution environment 5. Implementation approach and limitations 6. Uses and benefits of ASIStint 6.1 Learning ASIS and experimenting with it 6.2. Testing an ASIS implementation 7. Conclusions 8. References

Source officielle

https://infoscience.epfl.ch/entities/publication/299f45d6-c550-4309-985e-97f597358a69

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Alfred Strohmeier
1997
Conference Papers

Résumé

Source officielle

https://infoscience.epfl.ch/entities/publication/299f45d6-c550-4309-985e-97f597358a69

À propos de ce résultat

Concepts associés (31)

Test (informatique)

vignette|Une programmeuse écrivant du code Java avec JUnit. En informatique, un test désigne une procédure de vérification partielle d'un système. Son objectif principal est d'identifier un nombre maximal de comportements problématiques du logiciel. Il permet ainsi, dès lors que les problèmes identifiés seront corrigés, d'en augmenter la qualité. D'une manière plus générale, le test désigne toutes les activités qui consistent à rechercher des informations quant à la qualité du système afin de permettre la prise de décisions.

Test unitaire

En programmation informatique, le test unitaire (ou « T.U. », ou « U.T. » en anglais) est une procédure permettant de vérifier le bon fonctionnement d'une partie précise d'un logiciel ou d'une portion d'un programme (appelée « unité » ou « module »). Dans les applications non critiques, l'écriture des tests unitaires a longtemps été considérée comme une tâche secondaire. Cependant, les méthodes Extreme programming (XP) ou Test Driven Development (TDD) ont remis les tests unitaires, appelés « tests du programmeur », au centre de l'activité de programmation.

Test de validation

Un test de validation est un type de test informatique qui permet de vérifier si toutes les exigences client, décrites dans le document de spécification du logiciel, sont respectées. Les tests de validation se décomposent généralement en plusieurs phases : Validation fonctionnelle : les tests fonctionnels assurent que les différents modules ou composants implémentent correctement les exigences client. Ces tests peuvent être de type valide, invalide, inopportuns, etc.

Afficher plus

Publications associées (16)

Afficher plus

ASIStint: An Interactive ASIS Interpreter

Chattez avec Graph Search

Workshop "From Cooperative Neighborhoods to Transition Governance"

Implementation of an Electrostatic Device for Investigation of Electric Fields on Cells

Teaching Architecture - A dialogue