Re: Parsing Ada?

[Simon Wright <simon@pushface.org>]

Jacob Sparre Andersen <sparre@nbi.dk> writes:

>   - The functions to call for converting the formal parameter type to
>     and from type String.

This is going to be tricky to automate!

It's not directly related, but you might be interested in my Scripted
Testing package[1]. It's really aimed at a design involving code
generation, at least of frameworks[2], where the software under test is
built on lower-level "domains", which can be automatically generated as
stubs, and results in a Tcl interpreter which extends the Tcl language
with application-related commands. As an example of a script (much more
verbose than would be usual!) see [3].

I can thoroughly recommend a scripted approach to testing, at the point
where you're doing black-box testing of functionality; it's very easy to
generate a test case that demonstrates a reported failure and can then
be used to confirm the correction.

[1] https://sourceforge.net/projects/scriptedtesting.coldframe.p/
[2] http://coldframe.sourceforge.net/coldframe/stubs.html
[3] https://sourceforge.net/p/coldframe/code/ci/default/tree/examples/h.tcl