From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id B4DC77F7AF for ; Fri, 9 Oct 2015 14:29:20 +0200 (CEST) IronPort-PHdr: 9a23:EqvVNhScPqRTU9WLepyYSsdZxdpsv+yvbD5Q0YIujvd0So/mwa64ZxGN2/xhgRfzUJnB7Loc0qyN4/ymBDRIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/ni6bvo9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqz/e+E8TKdEJDUgKWE8osPx5jfZSg7arEEdWWUfiBYAPE7gqlnYWZH8qWGy4vB80ymyNMvwQKA1UHKl9ag9G0ygszsOKzNsqDKfscd3lq8O+B8= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rich@annexia.org; spf=Pass smtp.mailfrom=rich@annexia.org; spf=None smtp.helo=postmaster@furbychan.cocan.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of rich@annexia.org) identity=pra; client-ip=80.68.91.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of rich@annexia.org designates 80.68.91.176 as permitted sender) identity=mailfrom; client-ip=80.68.91.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@furbychan.cocan.org) identity=helo; client-ip=80.68.91.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="postmaster@furbychan.cocan.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B3CADdsRdW/7BbRFBeg0U1SiSNDpt2BQGBDZUyI4Jwggo1SgKCBRABAQEBAQEBAYEJgh+CCAEBBDIBVgsYCSUPBSiIZgEIwyoBCwEfhiw+hQeFFBeDA4EUBZJUgz4BhRiHeZwHOCuEAz0zAYdpAQEB X-IPAS-Result: A0B3CADdsRdW/7BbRFBeg0U1SiSNDpt2BQGBDZUyI4Jwggo1SgKCBRABAQEBAQEBAYEJgh+CCAEBBDIBVgsYCSUPBSiIZgEIwyoBCwEfhiw+hQeFFBeDA4EUBZJUgz4BhRiHeZwHOCuEAz0zAYdpAQEB X-IronPort-AV: E=Sophos;i="5.17,657,1437429600"; d="scan'208";a="150082577" Received: from annexia.org (HELO furbychan.cocan.org) ([80.68.91.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Oct 2015 14:29:19 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.84) (envelope-from ) id 1ZkWnW-0005bb-08 for caml-list@inria.fr; Fri, 09 Oct 2015 13:29:17 +0100 Date: Fri, 9 Oct 2015 13:29:17 +0100 From: "Richard W.M. Jones" To: caml-list@inria.fr Message-ID: <20151009122917.GF20503@annexia.org> References: <20151008074315.GA1466@pl-59055.rocqadm.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20151008074315.GA1466@pl-59055.rocqadm.inria.fr> User-Agent: Mutt/1.5.23 (2014-03-12) Subject: Re: [Caml-list] OCaml projects with tests On Thu, Oct 08, 2015 at 09:43:15AM +0200, Sébastien Hinderer wrote: > Dear all, > > Recently the topic was discussed here and several testing frameworks were > mentionned. > > I am wondering whether there are well established projects that actually > use tests (unit tests and others) and that could be used as sources of > inspiration? libguestfs tools have extensive tests. We have a few unit tests, using OUnit2. An example: https://github.com/libguestfs/libguestfs/blob/master/v2v/v2v_unit_tests.ml But the vast majority of the upstream tests use automake's (terrible) test framework, eg: https://github.com/libguestfs/libguestfs/blob/master/v2v/Makefile.am#L239 https://github.com/libguestfs/libguestfs/blob/master/builder/Makefile.am#L224 https://github.com/libguestfs/libguestfs/blob/master/resize/Makefile.am#L130 We also have external tests that are non-free so can't be distributed with the upstream sources: http://git.annexia.org/?p=virt-v2v-test-cases-nonfree.git;a=summary We also have a public CI system: https://ci.centos.org/view/libguestfs/ And finally, we use some proprietary software called Polarion to track a massive set of tests (many run manually) that control what gets into RHEL. Those tests aren't published at all. Rich. -- Richard Jones Red Hat