Nous nous retrouvons dans une configuration similaire au cas précédent. Néanmoins, il n'est pas forcément nécessaire d'exécuter l'opération pourévaluer pourévaluer sa précondition, Comme nous le verrons plus loin, ce dernier point permettra certaines optimisations plus efficaces ,
aucune optimisation n'a ´ eté prévue. C'est-` a-dire que l'outil n'essaie pas de retirer des informations des tests précédemment joués. Ceci se justifie bienévidemment bienévidemment par le fait qu'il n'a, a priori, aucune information sur la structure des tests qu'il doit jouer puisque ceux-ci sont des méthodes pouvant utiliser toute la puissance du langage Java, Tobias, les tests sont nécessairement des séquences. De plus, nous avons vu que les tests générés par Tobias comportaient de nombreuses similitudes, exploitables pour optimiser l'exécution des tests ,
An overview of JML tools and applications JML-Testing-Tools : a symbolic animator for JML specifications using CLP Exploitation d'objectifs de test par ajout d'un langage de contrainte. DEA d'Informatique : Systèmes et Communications Testing against formal specifications : A theoretical view, juin 2005. [BDLU05] F. Bouquet, F. Dadeau, B. Legeard, and M. Utting Procs of the 11th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Tool session (TACAS'05)Bei90] B. Beizer. Software Testing Techniques. Van Nostrand Reinhold TAPSOFTBGM91] Gilles Bernot, Marie Claude Gaudel, and Bruno Marre. Software testing based on formal specifications : a theory and a tool, pp.212-232, 1990. ,
Mda components : Challenges and opportunities, Metamodelling for MDA, 2003. ,
A run-time assertion checker for Java using JML, p.226 ,
Testing Object Oriented Systems -Models, Patterns and Tools, 1999. ,
UniTesK Test Suite Architecture, Proceedings of the International Symposium of Formal Methods Europe on Formal Methods -Getting IT Right, pp.77-88, 2002. ,
DOI : 10.1007/3-540-45614-7_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.5106
Korat : Automated testing based on java predicates, Proceedings of the International Symposium on Software Testing and Analysis, pp.22-24, 2002. ,
Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card Transaction Mechanism Case Study, Proc. of FME'03, Formal Method Europe, pp.778-795, 2003. ,
DOI : 10.1007/978-3-540-45236-2_42
CLPS-B???A Constraint Solver for B, International Conference on Tools and Algorithms for Construction and Analysis of Systems TACAS2002, volume LNCS 2280, pp.188-204, 2002. ,
DOI : 10.1007/3-540-46002-0_14
TOBIAS : un environnement pour la création d'objectifs de testsàtests`testsà partir de schémas de tests, 2001. ,
Les sch´emas de test : une abstraction pour la g´en´eration de tests de conformit´e et pour la mesure de couverture, 2005. ,
Java Applet Correctness: A Developer-Oriented Approach, FME, pp.422-439, 2003. ,
DOI : 10.1007/978-3-540-45236-2_24
Combinatorial test techniques : Table-based automation , test generation and code coverage, Intl. Conf. on Software Testing Analysis & Review, 1998. ,
Test oracles, Dept. of Computer and Information Science, 2001. ,
The AETG system: an approach to testing based on combinatorial design, IEEE Transactions On Software Engineering, pp.7-23, 1997. ,
DOI : 10.1109/32.605761
Application des hypothèses de testàtest`testà une définition de la couverture, 1994. ,
A Runtime Assertion Checker for the Java Modeling Language (JML), International Conference on Software Engineering Research and Practice (SERP '02), pp.322-328, 2002. ,
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, ECOOP 2002 ? Object-Oriented Programming, 16th European Conference, Malaga, Spain, Proceedings , LNCS 2474, pp.231-255, 2002. ,
DOI : 10.1007/3-540-47993-7_10
Hit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services, Jianping Wu, Samuel T. Chanson, and Qiang Gao Conference ProceedingsdBMJ01] L. du Bousquet, H. Martin, and J.-M. Jézéquel. Conformance Testing from UML specifications, Experience Report, pp.41-56, 1999. ,
DOI : 10.1007/978-0-387-35578-8_3
Lutess, Proceedings of the 21st international conference on Software engineering, ICSE '99, 1999. ,
DOI : 10.1145/302405.302634
Test of the ICARE platform fusion mechanism, 12th International Workshop on Design , Specification and Verification of Interactive Systems (DSVIS'05), 2005. ,
Automating the generation and sequencing of test cases from model-based specifications, FME'93 : Industrial-Strength Formal Methods, pp.268-284, 1993. ,
DOI : 10.1007/BFb0024651
Hints on Test Data Selection: Help for the Practicing Programmer, Computer, vol.11, issue.4, pp.34-41, 1978. ,
DOI : 10.1109/C-M.1978.218136
Modelling Systems ? Practical Tools and Techniques in Software Development The Edinburgh Building, 1998. ,
Extended static checking for java, PLDI, pp.234-245, 2002. ,
Formal specifications and test: Correctness and oracle, Recent Trends in Data Type Specification, pp.342-358, 1996. ,
DOI : 10.1007/3-540-61629-2_52
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.625
Testing can be formal, too, Proc. of the Sixth International Joint Conference CAAP/FASE : TAPSOFT'95-Theory and Practice of Software Development, pp.82-96, 1995. ,
Automatic test data generation using constraint solving techniques, Proceedings of ACM SIG- SOFT international symposium on Software testing and analysis, pp.53-62 ,
DOI : 10.1145/271775.271790
Larch : Langages and Tools for Formal Specification, 1993. ,
DOI : 10.1007/978-1-4612-2704-5
Génération automatique de cas de test structurel avec la programmation logique par contraintes, 2000. ,
Automatically Generating Information from a Z Specification to Support the Classification Tree Method, ZB, pp.388-407, 2003. ,
DOI : 10.1007/3-540-44880-2_23
Alain Le Guennec, and Francois Pennaneac'h . UMLAUT : An extendible UML transformation framework, Automated Software Engineering, pp.275-278, 1999. ,
Information Technology, Open System Interconnection, Conformance Testing Methodology and Frameworks. International Standard IS-9646, ISO, 1991. CCITT X, pp.290-294 ,
Formal Method in Conformance Testing, ISO, 1995. ,
Information Technology ? Programming Languages, their environments and system software interfaces ? Vienna Development Method-Specification Language Part 1 : Base language, 1996. ,
Automating first-order relational logic, Proc. 8 th ACM SIG- SOFT Symposium on the Foudations of Software Engineering, 2000. ,
Test Generation Derived from Model-Checking, Computer Aided Verification (CAV), 1999. ,
DOI : 10.1007/3-540-48683-6_12
Alcoa, Proceedings of the 22nd international conference on Software engineering , ICSE '00, 2000. ,
DOI : 10.1145/337180.337616
A micromodularity mechanism, Proc. 9 th ACM SIGSOFT Symposium on the Foudations of Software Engineering, 2001. ,
Vdm++TesK : Testing of VDM++ programs Multi-paradigm Models as Source for Automated Test Construction, 3rd VDM Workshop (at FME2002) Leavens, A.L. Baker, and C. Ruby. JML : A notation for detailed design, 2002. ,
Preliminary design of JML : A behavioral interface specification language for Java, Behavioral Specifications of Businesses and Systems, pp.175-188, 1999. ,
Filtering tobias combinatorial test suites Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS, FASE Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI, pp.281-294, 1991. ,
B-Testing-Tools : génération de tests aux limitesàlimites`limitesà partir de spécifications B. TSI, Techniques et Sciences Informatiques Automated boundary testing from Z and B, Formal Methods ? Getting IT Right, pp.1189-1218, 2001. ,
Test sequences generation from LUSTRE descriptions: GATEL, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, p.229, 2000. ,
DOI : 10.1109/ASE.2000.873667
Une méthodologie de génération automatique de suites de tests pour applets Java-card Eiffel : The language, Tool for Assisting Selection of Test Data Sets from Algebraic Specifications TAPSOFT Object- Oriented Series. [MK01] D. Marinov and S. Khurshid. TestEra : A novel framework for automated testing of Java programs Proc. 16 th IEEE International Conference on Automated Software Engineering (ASE), pp.799-800, 1992. ,
Intégration de TOBIAS et UCAS- TING pour la génération de tests A comparison of some structural testing strategies [Nta98] S. Ntafos. On random and partition testing A semantic model of program faults, 16th International Conference Software and Systems and their applications-ICSSEA Proceedings of ACM SIGSOFT international symposium on Software testing and analysis International Symposium on Software Testing and Analysis (ISSTA), pp.868-874, 1988. ,
Génération de tests aux limitesàlimites`limitesà partir de spécifications B en Programmation Logique avec Contraintes ensemblistes Relations d'implantations et hypothèses de test sur des automatesàmates`matesà entrées et sorties A uml-integrated test description language for component testing Tatibouet. ´ Evaluation de spécifications formelles en programmation logique avec contraintes ensemblistes ? ApplicationàApplication`Applicationà l'animation de spécification B The Z Notation -A Reference Manual Automatic testing with formal methods, PJH + 01] Practical UML-Based Rigorous Development Methods -Countering or Integrating the eXtremists. Workshop of the pUML-Group held together with the UML 2001, volume P-7 of LNI EuroSTAR'99 : 7 th European Int. Conference on Software Testing EuroStar ConferencesTre92] J. Tretmans. A Formal Approach to Conformance Testing, pp.208-223, 1992. ,
Test generation with inputs, outputs, and quiescence, Second Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), pp.127-146, 1996. ,
DOI : 10.1007/3-540-61042-1_42
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.9528
Specification Based Testing with Formal Methods : From Theory via Tools to Applications, Tutorial Notes, vol.10, 2000. ,
Une méthode et un outil pour l'aidè a la génération de jeux de tests de logiciels CASTING : A formally based software test generation method, The 1st Int. Conf. on Formal Engineering Methods, p.97, 1997. ,
UML-CASTING : Test synthesis from UML models, Proc of AFADL'2003, Approches Formelles dans l'Assistance au Développement de Logiciels, 2003. ,