Re: [Qemu-devel] [RFC] ARM test generator

[Laurent Desnogues]

On Tue, Jul 8, 2008 at 3:26 PM, Paul Brook <address@hidden> wrote:
> I'm unconvinced how much value this actually adds unless you can get fairly
> extensive coverage.  i.e. the interesting bit is how you generate
> test-arm.txt and test-ref.txt.

Of course the problem is the data coverage (as opposed to code
coverage) for which no tool will tell us how close we are to 100%.

For test-ref.txt generation, the solution is trivial:  use real hardware.
As long as you are not testing unpredictable or implementation
defined behaviours, that can be considered as a reference that
qemu should match.

> You should also cover different combinations
> of overlapping source/destination operands.

That's a good point.

Anyway, the aim of my generator is not to fully validate qemu ARM
implementation.  I just wanted some simple stuff to provide
demonstrable evidence of a problem when words are not enough :)


Laurent