r9 - 17 Feb 2010 - 08:33:45 - KennethLausdahlYou are here: Overture >  Main Web  > OvertureDevelopment

Overture Tool Development

Development Environment

To use or contribute to the Overture Tool project the build invironment must be setup with the required tools. The projects is based on Java with Maven2 which enable development on most platforms.

See the DevelopmentEnvironmentSetup for a full description. Quick links:

Overture Tool Project structure

The Overture Tool Project is build around a set of core artifacts such as an AST, Parser, Interpreter, etc. Additionally to the core artifacts a set of Eclipse Plug-in projects exists which provides an IDE for Overture. The core artifacts are then integrated in the IDE as plugins.

To contribute to the Overture project we provide a guide for contribution to the core artifacts and a guide + script for contribution ti the IDE development.

Project overview and documentation

The documentation of the Overture project can be found at our Source Forge site together with specific information on how to check out a single artifact and how to use the tools made to aide the development.

Maven contribution instructions

Instruction on how to add a new artifact to the maven repository etc. DeveloperInstructions

Test procedure

Before a Release Candidate is released a number of tests must be performed. On the ReleaseProcedure side a number of none automatic tests is listed which needs to be completed prior to a release to insure a higher level of stability. This procedure is an extra test layer after the automatic tests.

-- KennethLausdahl - 17 Feb 2010

Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r9 < r8 < r7 < r6 < r5 | More topic actions
 
Overture Open-Source Formal Method Tools
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Overture? Send feedback