Verification of all system calls() ?

[freqmax]

Is there any existing software to verify the correct functionality of the kickstart ROMs and libraries? ie that calls to them will actually produce the correct output.

Can be kind of useful for AROS m68k ROMs. (distfiles/aros-amiga-m68k-rom.bin)
For starters focus could be on the essential calls.

[freqmax]

If the scope is narrowed to application level test. And in particular the calls mostly used. So things like loading a sector from hard-disc actually returns 512 bytes and not 511 bytes or open a window with intuition actually does so etc..
I don't think automated test for OS internals will be needed. Though it doesn't hurt. Not many Amiga CPUs does threads nor does the OS implement privileges.