001    package ps4.test;
002    
003    import junit.framework.Test;
004    import junit.framework.TestCase;
005    import junit.framework.TestSuite;
006    
007    /*
008     * SpecificationTests is a test suite containing your black
009     * box (specification-based) tests.
010     */
011    public final class SpecificationTests extends TestSuite
012    {
013        public static Test suite() { return new SpecificationTests(); }
014        public SpecificationTests() { this("Problem Set 4 SpecificationTests"); }
015        public SpecificationTests(String s)
016        {
017            super(s);
018            addTest(ScriptFileTests.suite());
019    
020            // add JUnit tests here for StreetNumberSet and StreetSegment
021        }
022    }