Ada

Migrating legacy AdaTEST projects

Learn the benefits of upgrading AdaTEST projects to RapiTest.
Read More

Automating test generation with AUTOSAC

Find out how automated test generation from SPARK Ada pre and post-conditions can cut the effort needed to run test projects. 
Read More

Highlights from Ada Europe 2016

I write this on the plane home from the Ada Europe 2016 conference in sunny Pisa, Italy. It's been a good week. Here are a few highlights. Ada Firstly, it was good to see the key industrial sponsors like AdaCore pushing and supporting the Ada language itself. PCT, Ansys and others seem to have stepped up their Ada support too. 
Read More

Ada enumerations are sometimes functions

In Ada, you declare a new enumeration type by providing a list of literals: type Position is ( Left, Middle, Right );Ada also lets you use character literals in an enumeration: type Calc_Op is ( '*', '/', '+', '-' );or even: type DNACode is ( 'A', 'C', 'G', 'T', Unknown );Once you have an enumeration type, you can use these literals just as you would other literals:
Read More

What's next for Ada?

While the dust settles around the introduction of Ada 2012, it's interesting to see that people are looking forward to what the next version of Ada might bring. At the Ada Europe conference last week, a number of presentations looked at areas that are not currently in the Ada language, which might be worthy candidates for including in the future. Given our own interests in embedded, real-time systems, we naturally focus upon the ones relevant to this area.
Read More

Pages