Tash and scripted_testing (#737)

* New release tash-8.7.1. The main change in this release is replacing options.gpr, which was not distinguished enough and could conflict with other crates. It was never intended to be used outside this crate, and the function is replaced by tcl_tk_options.gpr. * New crate scripted_testing-2.0.0. This crate supports scriptable integration testing, where the mocked environment of the software being tested can be scripted. The supported scripting language is Tcl. It's intended to add some automation to the development of mocking support, probably using libadalang to generate stubs.
2023-02-07 17:36:07 +00:00
parent 8e1880d107
commit 35b3ea29cb
2 changed files with 96 additions and 0 deletions
@@ -0,0 +1,47 @@
+name = "scripted_testing"
+description = "Integration testing"
+long-description = """
+To set the scene, the Ada software under test (SUT) forms part of a system. Generally, the system will be constructed using a layered approach, and the other parts of the system that interact with the SUT are higher-level (which can call interface subprograms presented by the SUT) or lower-level (whose interfaces can be called by the SUT, or which can provide callbacks to the SUT).
+
+This package is intended for testing at a level between unit testing (using, for example, [AUnit](https://github.com/AdaCore/aunit)) and integration testing (using real hardware). Unit testing tends to be fragile, requiring a lot of rework for even minor functional changes in the requirements.
+
+The scripting language supported is [Tcl](http://www.tcl.tk), and specifically the Ada binding [Tash](https://github.com/simonjwright/tcladashell). The reason for choosing Tcl rather than Python or Lua is that Tcl's interface is entirely string-based; this is important, considering the need to specify values of enumerated types.
+
+The package provides facilities to write new commands in Tcl to
+
+* call the interface subprograms presented by the SUT,
+
+* set up values to be returned by calls the SUT makes to lower-level system components,
+
+* call callbacks provided by lower-level system components,
+
+* delay for appropriate periods, and
+
+* check that the proper calls have been made to lower-level system components, with the required values.
+
+It's assumed that the interface subprograms of the lower-level subsystems are stubbed so that:
+
+* `in` and `in out` parameters can be recorded for later checking,
+
+* `out` (and `in out`) parameter values and function `return` values can be provided to be returned to the SUT,
+
+* exceptions can be raised when required,
+
+* the number of calls to the subprogram can be checked.
+"""
+licenses = "GPL-3.0-or-later"
+website = "https://github.com/simonjwright/scripted_testing.git"
+tags = ["testing", "integration", "scripting"]
+version = "2.0.0"
+
+authors = ["Simon Wright"]
+maintainers = ["Simon Wright <simon@pushface.org>"]
+maintainers-logins = ["simonjwright"]
+
+[[depends-on]]
+tash = "^8.7.0"
+
+[origin]
+commit = "6720b9250e31c58d150d52c554193e22767a0704"
+url = "git+https://github.com/simonjwright/scripted_testing.git"
+
@@ -0,0 +1,49 @@
+name = "tash"
+description = "Binding to Tcl/Tk"
+long-description = """
+Tash (previously known as Tcl Ada Shell) is an Ada binding to Tcl/Tk.
+
+Its purpose is to
+
+* allow a Tcl program to use Ada in place of C to implement Tcl
+  commands where additional execution speed, more complex data
+  structures, or better name space management is needed, and
+
+* support the rapid development of Platform-Independent Graphical User
+  Interfaces via Tk.
+
+Please note that, on macOS, tash assumes that Tcl/Tk is provided via
+[Homebrew](https://brew.sh).
+"""
+website = "https://github.com/simonjwright/tcladashell"
+version = "8.7.1"
+licenses = "GPL-2.0-or-later WITH GCC-exception-2.0"
+
+authors = ["Simon Wright"]
+maintainers = ["Simon Wright <simon@pushface.org>"]
+maintainers-logins = ["simonjwright"]
+
+project-files = ["tash.gpr"]
+
+tags = ["scripting", "tcl", "tk"]
+
+[gpr-externals]
+TASH_LIBRARY_TYPE = ["static", "relocatable"]
+
+[[depends-on]]
+  "libtcl" = "~8.6.0"
+  "libtk" = "~8.6.0"
+
+[gpr-set-externals.'case(os)']
+windows = { TASH_PLATFORM = "windows" }
+linux = { TASH_PLATFORM = "linux" }
+macos = { TASH_PLATFORM = "macos" }
+
+[[actions]]
+type = "post-fetch"
+command = ["make", "-C", "src", "tcl_record_sizes.ads"]
+
+[origin]
+commit = "0d961b35bb94f9abc64b141639da48920ec01cc5"
+url = "git+https://github.com/simonjwright/tcladashell.git"
+