Esempio n. 1
0
 public static void GenerateRandomTests(string topDir, int numOfTests)
 {
     foreach (string taskDir in Directory.GetDirectories(topDir))
     {
         MethodInfo method = null;
         foreach (var studentDir in Directory.GetDirectories(taskDir))
         {
             if (studentDir.EndsWith("secret_project"))
             {
                 string assemblyFile = FileModifier.GetAssemblyFileOfProject(studentDir);
                 method = RunTest.GetMethodDefinition(assemblyFile, "Program", "Puzzle");
                 List <Test> tests    = GenerateTestsForProject(method, numOfTests);
                 string      fileName = studentDir + @"\RandomTests.xml";
                 Serializer.SerializeTests(tests, fileName);
                 break;
             }
         }
     }
 }
Esempio n. 2
0
 public static void ExtractPexTests(string topDir)
 {
     foreach (string taskDir in Directory.GetDirectories(topDir))
     {
         MethodInfo method = null;
         foreach (var studentDir in Directory.GetDirectories(taskDir))
         {
             if (studentDir.EndsWith("secret_project"))
             {
                 string assemblyFile = FileModifier.GetAssemblyFileOfProject(studentDir);
                 method = RunTest.GetMethodDefinition(assemblyFile, "Program", "Puzzle");
                 List <Test> tests = ExtractTestsForProject(studentDir, method);
                 if (tests != null)
                 {
                     string fileName = studentDir + @"\PexTests.xml";
                     Serializer.SerializeTests(tests, fileName);
                 }
                 break;
             }
         }
         foreach (var studentDir in Directory.GetDirectories(taskDir))
         {
             if (studentDir.EndsWith("secret_project"))
             {
                 continue;
             }
             foreach (var projectDir in Directory.GetDirectories(studentDir))
             {
                 List <Test> tests = ExtractTestsForProject(projectDir, method);
                 if (tests != null)
                 {
                     string fileName = projectDir + @"\PexTests.xml";
                     Serializer.SerializeTests(tests, fileName);
                 }
             }
         }
     }
 }