示例#1
0
def test_dfa(): 
	dfsa = deterministic_finite_state_automaton("test"); 
	desc1 = DFADSC.form_desc1();
	err_desc1 = DFADSC.form_err_desc1();
	err_desc2 = DFADSC.form_err_desc2(); 

	dfsa.unset_notification(); 
	dfsa.import_desc(err_desc2); 
	dfsa.check_desc_isDFA();   

	#print dfsa.symbol_sets(4); 
	dfsa.check_desc_DFA_nontrivial(); 
	dfsa.show_log(); 
示例#2
0
def test2(): 
	desc1 = DFADSC.form_desc1();
	desc2 = DFADSC.form_desc2(); 
	err_desc1 = DFADSC.form_err_desc1();
	err_desc2 = DFADSC.form_err_desc2(); 

	dfsa_1 = deterministic_finite_state_automaton("test1"); 
	dfsa_1.unset_notification(); 
	dfsa_1.import_desc(desc1); 
	dfsa_1.check_desc_isDFA();   
	dfsa_1.check_desc_DFA_nontrivial(); 

	dfsa_2 = deterministic_finite_state_automaton("test2"); 
	dfsa_2.unset_notification(); 
	dfsa_2.import_desc(desc2); 
	dfsa_2.check_desc_isDFA();   
	dfsa_2.check_desc_DFA_nontrivial(); 

	return (dfsa_1, dfsa_2); 
示例#3
0
文件: run.py 项目: hardball/automata
def main(student_id, whether_continuous, continuous_type, \
solutions_dir, tests_dir, randomization): 
	runtestx = run_test(student_id); 
	runtestx.initialize_dfa_verif( \
		student_id, solutions_dir, tests_dir); 
	runtestx.change_verif_type(whether_continuous, continuous_type); 
	if (randomization): 
		runtestx.parameterize_randgen(20, 0, 10, 1.0); 
	runtestx.initialize_testing(randomization); 
	runtestx.specify_bench_names(); 
	if (student_id == "course_staff"): 
		desc1 = DFADSC.form_desc1();
		desc2 = DFADSC.form_desc2(); 
		err_desc1 = DFADSC.form_err_desc1();
		err_desc2 = DFADSC.form_err_desc2(); 	
		
		new_dsc_tbl = {"DFA001":desc1, "DFA1010":desc2, \
			"DFA0101":err_desc1, "DFA0011":err_desc2}; 
		runtestx.import_curr_test_dsctable(new_dsc_tbl); 
		runtestx.specify_bench_names(); 
		runtestx.execute_tests(); 
	return runtestx; 
示例#4
0
文件: run.py 项目: hardball/automata
def test_run(): 
	newrt = run_test("course_staff"); 
	newrt.initialize_dfa_verif( "dfaver1", "./test_cases/"); 
	newrt.initialize_testing(0); 

	desc1 = DFADSC.form_desc1();
	err_desc1 = DFADSC.form_err_desc1();
	err_desc2 = DFADSC.form_err_desc2(); 	

	newrt.sample_descriptions(); 
	newrt.specify_bench_name('sandy bridge'); 
	newrt.specify_bench_names(); 
	#newrt.test1_verification(); 
	#newrt.test2_verification(); 

	newrt.import_curr_test_dsc(desc1); 
	newrt.specify_bench_name('ivy bridge'); 
	newrt.execute_one(); 

	print '-|'*36;
	new_dsc_tbl = {"sandy bridge":err_desc1, "ivy bridge":err_desc2}; 
	newrt.import_curr_test_dsctable(new_dsc_tbl); 
	newrt.specify_bench_names(); 
	newrt.execute_tests(); 
示例#5
0
文件: run.py 项目: hardball/automata
	def sample_descriptions(self):  
		self.desc1 = DFADSC.form_desc1();
		self.err_desc1 = DFADSC.form_err_desc1();
		self.err_desc2 = DFADSC.form_err_desc2();