From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA06651 for caml-redistribution; Fri, 9 Apr 1999 16:17:16 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA12014 for ; Fri, 9 Apr 1999 10:11:43 +0200 (MET DST) Received: from front6.grolier.fr (front6.grolier.fr [194.158.96.56]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id KAA15394 for ; Fri, 9 Apr 1999 10:11:42 +0200 (MET DST) Received: from club-internet.fr (ppp-162-11.villette.club-internet.fr [195.36.162.11]) by front6.grolier.fr (8.9.3/No_Relay+No_Spam_MGC990224) with ESMTP id KAA01205 for ; Fri, 9 Apr 1999 10:11:40 +0200 (MET DST) Message-ID: <370DB794.E2366C76@club-internet.fr> Date: Fri, 09 Apr 1999 10:17:24 +0200 From: SURLOG Reply-To: surlog@club-internet.fr X-Mailer: Mozilla 4.04 [en] (Win95; I) MIME-Version: 1.0 To: Caml List Subject: Testing caml programs Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis Bonjour Nous avons developpe des outils en ocaml. Nous souhaiterions savoir s'il existe des recherches et/ou des outils sur les tests de tels programmes (tests unitaires, d'integration et de validation). Par exemple : - quelles sont les couvertures de tests definissables - le systeme de typage permet-il de ne pas effectuer certains tests - comment tester des programmes avec des references - comment tester des programmes recursifs - ... Merci d'avance Maxence Guesdon - Philippe Ayrault ---------------------------------------- English version Hello We developped tools in ocaml. We'd like to know if there are researches and/or tools on testing such programs (unit tests, integration tests, validation tests). For example: - What test case coverage is necessary - does the typing system allow not realise some tests - how to test programs with references - how to test recursive programs - ... Best regards Maxence Guesdon - Philippe Ayrault -- Surlog S.A. Velizy Plus, Bat. E 1 bis, Rue du Petit Clamart 78140 VELIZY-VILLACOUBLAY Tel: 01-40-83-00-00 Fax: 01-40-83-18-18