Exemplo n.º 1
0
 public RegressionTest(RegressionParameters p)
 {
     _parameters = p;
     _db_con     = String.Format("URI=file:{0},version=3", p.Output);
     InitializeDatabase();
     SetupResultTable();
 }
Exemplo n.º 2
0
        public static int Main(string [] args)
        {
            RegressionParameters p = new RegressionParameters("RegressionTest", "RegressionTest - Tests for discovering regressions in Brunet");

            if (p.Parse(args) != 0)
            {
                Console.WriteLine(p.ErrorMessage);
                p.ShowHelp();
                return(-1);
            }
            else if (p.Help)
            {
                p.ShowHelp();
                return(-1);
            }

            RegressionTest test = null;

            switch (p.Test.ToLower())
            {
            case "system":
                test = new SystemTest(p);
                break;

            case "nat":
                test = new NatTest(p);
                break;

            default:
                Console.WriteLine("Invalid test: " + p.Test);
                p.ShowHelp();
                return(-1);
            }

            test.Start();
            return(0);
        }
Exemplo n.º 3
0
 public SystemTest(RegressionParameters p) : base(p)
 {
     _tests = new Test[] { Normal };
 }
Exemplo n.º 4
0
 /// <summary>Copy constructor.</summary>
 public RegressionParameters(RegressionParameters copy) : base(copy)
 {
     _iterations = copy.Iterations;
     _test       = copy.Test;
 }
Exemplo n.º 5
0
 public NatTest(RegressionParameters p) : base(p)
 {
     _tests = new Test[] { SymToRstAndAndOutOnlyToPublic, SymToRstAndAndOutOnlyToOutOnly, Restricted, Public, Cone };
 }