AdaCore Labs in categories Testing

  • GNAT Pro 7.0 Upcoming Release

    The next major release of the GNAT Pro Ada Development Environment will provide complete Ada 2012 support as well as new or improved features in several areas.

    Continue Reading »
    Cyrille Comar
    Jan 23rd, 2012
  • GNATtest

    GNATtest

    The new GNATtest tool helps create and maintain a complete unit testing infrastructure for complex projects. Based on AUnit, it captures the simple idea that each visible subprogram should have at least one corresponding unit test. GNATtest takes a project file as input, and produces two outputs:


    Continue Reading »
    Arnaud Charlet
    Jan 23rd, 2012