|Date||2016-01-10 13:00 CET|
|Participants||AA, BB, …, CC. Minutes by DD.|
It was unanimously agreed to extend the number of voting members to nine. The first LB meeting this year will be on Jan 31, 11:00 CEST.
SCSK and Sony are still negotiating this.
Some updates committed to the VDMJ (command line) GitHub repo to enable combinatorial test expansion to be done iteratively, which enables far greater numbers of tests to be expanded and executed. Bug #490 fixed.
Recently I (PJ) have been doing more work on code generating VDM-SL traces. By generating, or annotating, the generated Java code with JML annotations it is now possible to give verdicts to the code generated trace tests. This new feature is useful for testing the generated code more exhaustively, but it also is useful for executing trace tests much faster. Unfortunaly I don’t have any performance metrics for the code generated traces yet, but I hope to have some soon.
For the past few days I’ve been working on updating the code generated traces to also include detailed information about trace variables. This should make it possible to derive test stems similar to those used internally by the VDM trace interpreter. These stems can be used for filtering large collections of tests statistically based on the “shapes” of the tests. This part does, however, need more development work and testing.
A new project has been started on code generating VDM-RT to C. See https://github.com/overturetool/vdm2c
VDMPad is now a part of ViennaTalk, distributed at https://github.com/tomooda/ViennaTalk-doc/releases.
Documentations are https://github.com/tomooda/ViennaTalk-doc/blob/master/README.md
No release plans yet.
See download stats on the downloads page
We’re up to 739 downloads, which makes Overture 2.3.0 the most downloaded version of Overture!
A draft application for this is attached to the email announcing this Overture Core NM
The workshop page is available at http://overturetool.org/workshops/14th-Overture-Workshop.html
See see http://overturetool.org/publications/PlannedPublications.html