virtual machine tests

virtual machine tests

[Tom Tromey]

I've been doing some surgery on the VM parts of libgcj, and it occurs
to me that there isn't really a comprehensive test suite for this.  I
think it is time to set one up.

My current plan is to make a new Mauve module called "vm", and put
tests there.  Of the many test frameworks we have at the moment, I
find jacks is the easiest to work with (and most appropriate for this
kind of testing), so I think I will just copy that framework and use
it.  Eventually I'd like to move the verifier tests here as well.

It will be a little while before I set this up for real.  Send email
if you have an objection or comment.

Tom

Re: virtual machine tests

[Dalibor Topic]

Tom Tromey wrote:
> I've been doing some surgery on the VM parts of libgcj, and it occurs
> to me that there isn't really a comprehensive test suite for this.  I
> think it is time to set one up.
> 
> My current plan is to make a new Mauve module called "vm", and put
> tests there.  Of the many test frameworks we have at the moment, I
> find jacks is the easiest to work with (and most appropriate for this
> kind of testing), so I think I will just copy that framework and use
> it.  Eventually I'd like to move the verifier tests here as well.
> 
> It will be a little while before I set this up for real.  Send email
> if you have an objection or comment.

Sounds cool. I guess we could mirror the JVMS hierarchy in the tests 
like jacks does for JLS.

All I've found last time around when I looked for VM tests was the tests 
in Jcon [1].

cheers,
dalibor topic

[1] http://www.cs.arizona.edu/icon/jcon/

Re: virtual machine tests

[Chris Abbey]

Today, Tom Tromey wrote:
> My current plan is to make a new Mauve module called "vm", and put
> tests there.  Of the many test frameworks we have at the moment, I
> find jacks is the easiest to work with (and most appropriate for this
> kind of testing), so I think I will just copy that framework and use
> it.  Eventually I'd like to move the verifier tests here as well.

There are a handfull of tests in Jacks now that could probably move
over to this new section. (look for the jvm constraint for the ones I'm
thinking of.)

-- 
Never make a technical decision based upon the politics of the situation.
Never make a political decision based upon technical issues.
The only place these realms meet is in the mind of the unenlightened.
			-- Geoffrey James, The Zen of Programming