1. Forum
  2. Usenet
  3. COMP.LANG.ADA

  • Looking for Ada source code

    From Christophe Meudec@21:1/5 to All on Wed Jan 25 06:00:26 2023
    Hi all,
    [crossposted from LinkedIn Ada group]
    I am looking for Ada source code (open source or NDA protected) to test my automatic test data generator for Ada (available at www.midoan.com) for regression purposes.

    The source code should not contain pointers and be self-contained (no OS calls, no external libraries). Ada for existing embedded system would be best.

    I started to look at GitHub repositories but without success.

    Any 'pointers'?

    Many thanks,
    Chris

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jeffrey R.Carter@21:1/5 to Christophe Meudec on Wed Jan 25 16:58:29 2023
    On 2023-01-25 15:00, Christophe Meudec wrote:

    The source code should not contain pointers and be self-contained (no OS calls, no external libraries). Ada for existing embedded system would be best.

    Do you include anonymous access-to-subprogram parameters among pointers?

    At https://github.com/jrcarter/PragmARC you can find a collection of Ada components that are compiler and OS independent. You will want to exclude

    * PragmARC.Data_Structures.Skip_Lists.Unbounded
    * PragmARC.Job_Pools
    * PragmARC.REM_NN_Wrapper
    * PragmARC.Safety.Pointers
    * PragmARC.Safety.Semaphores
    * PragmARC.Safety.Suspension_Objects

    as they declare access-to-object types.

    Some of the remaining use anonymous access-to-subprogram parameters, if that is a problem, but there should still be about 140 source files.

    There is additional Ada code in other https://github.com/jrcarter repositories.

    --
    Jeff Carter
    “Bug rates in C++ are running higher even than C ...”
    Stephen F. Zeigler
    216

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Stephen Leake@21:1/5 to echan...@gmail.com on Wed Jan 25 09:33:15 2023
    On Wednesday, January 25, 2023 at 6:00:28 AM UTC-8, echan...@gmail.com wrote:
    Hi all,
    [crossposted from LinkedIn Ada group]
    I am looking for Ada source code (open source or NDA protected) to test my automatic test data generator for Ada (available at www.midoan.com) for regression purposes.

    The source code should not contain pointers and be self-contained (no OS calls, no external libraries). Ada for existing embedded system would be best.

    Some of the packages in SAL meet these criteria, and have tests I wrote as well. Available as Alire crate stephes_ada_library, or at https://savannah.nongnu.org/git/?group=ada-mode, branch org.stephe_leake.sal.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Niklas Holsti@21:1/5 to Christophe Meudec on Wed Jan 25 21:25:21 2023
    On 2023-01-25 16:00, Christophe Meudec wrote:
    Hi all, [crossposted from LinkedIn Ada group]

    I am looking for Ada source code (open source or NDA protected) to
    test my automatic test data generator for Ada (available at
    www.midoan.com) for regression purposes.

    The source code should not contain pointers and be self-contained (no
    OS calls, no external libraries). Ada for existing embedded system
    would be best.

    I started to look at GitHub repositories but without success.

    Any 'pointers'?

    I could provide an Ada translation of an embedded application,
    originally coded in C for an 8-bit processor (Intel MCS51 architecture).
    It's about 8600 lines. There are two variants: one that cannot be
    executed, because all HW and RTOS usage is replaced by null stubs, and
    one that includes a built-in set of tests and can be executed on any
    standard Ada system, with no input and only text output.

    There are a very few uses of pointers, but they would be easy to remove
    if you don't care about the success of the built-in tests.

    There are some non-standard pragmas that can also be removed easily.

    If you are interested in this code, I can send you a zip. My e-mail is
    the same as the "From" address of this post, with "invalid" replaced by
    "fi".

    Niklas

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)