[IGSTK-Developers] DART client config question

Kevin Gary kgary at asu.edu
Mon Jun 6 15:00:00 EDT 2005


I have a student working on configuring a DART client for the
first time. Is there a public DART server that he can submit stub
tests to in order to confirm he has the client configured properly?
Also, is there a configuration on the IGSTK dashboard page
that needs to be done to add our server? We would like to
add our tests on the state machine model checking once we
have it completed.

Thanks,
K2

-- 
===
Kevin A. Gary, Ph.D.
Assistant Professor
DCST, ASU East       
(480)727-1373
http://kgary2.east.asu.edu
kgary at asu.edu




More information about the IGSTK-Developers mailing list