def setUp(self): # import the generated Code import TurnstileHandler_generated import TurnstileStepper_generated self.stepper = TurnstileStepper_generated.Stepper() self.input = json.load(open("../sample_input.json")) self.fsm = parseFSM("../sample.fsml")
def testOneFile(self): self.shortDescription() fsm = parseFSM(self.fsmlFile) with open(self.inputFile) as inputFile, open( self.correctOutputFile) as outFile: correctInputJson = json.load(inputFile) # (1) this is the correct output which is created together with the input correctJsonOutput = json.load(outFile) # (2) this is the output of the Simulator.py module of assignment 2 simulatedJsonOutput = simulateFSM(fsm, list(correctInputJson)) # (3) what follows is the output of the dynamically generated TurnstileStepper modules generateCode(fsm) # generate Stepper and Handler import TurnstileHandler_generated # import the newly generated modules (& update their reference) reload(TurnstileHandler_generated) import TurnstileStepper_generated reload(TurnstileStepper_generated) stepper = TurnstileStepper_generated.Stepper() generatedJsonOutput = stepper.simulateFSM_generated( list(correctInputJson)) try: os.remove('./TurnstileStepper_generated.pyc') os.remove('./TurnstileHandler_generated.pyc') except OSError: pass # assert all 3 are equal self.assertEqual(correctJsonOutput, simulatedJsonOutput) self.assertEqual(correctJsonOutput, generatedJsonOutput)
def testOneFile(self): self.shortDescription() fsm = parseFSM(self.fsmlFile) with open(self.inputFile) as inputFile, open(self.correctOutputFile) as outFile: correctInputJson = json.load(inputFile) # (1) this is the correct output which is created together with the input correctJsonOutput = json.load(outFile) # (2) this is the output of the Simulator.py module of assignment 2 simulatedJsonOutput = simulateFSM(fsm, list(correctInputJson)) # (3) what follows is the output of the dynamically generated TurnstileStepper modules generateCode(fsm) # generate Stepper and Handler import TurnstileHandler_generated # import the newly generated modules (& update their reference) reload(TurnstileHandler_generated) import TurnstileStepper_generated reload(TurnstileStepper_generated) stepper = TurnstileStepper_generated.Stepper() generatedJsonOutput = stepper.simulateFSM_generated(list(correctInputJson)) try: os.remove('./TurnstileStepper_generated.pyc') os.remove('./TurnstileHandler_generated.pyc') except OSError: pass # assert all 3 are equal self.assertEqual(correctJsonOutput, simulatedJsonOutput) self.assertEqual(correctJsonOutput, generatedJsonOutput)
def testOneFile(self): fsm = parseFSM(self.fsmlFile) self.assertRaises(SingleInitialException, ok, fsm)
def testOneFile(self): fsm = parseFSM(self.fsmlFile) with open(self.inputFile) as inputFile: self.assertRaises(IllegalSymbolException, simulateFSM, fsm, json.load(inputFile))
def testOneFile(self): fsm = parseFSM(self.fsmlFile) self.assertRaises(ResolvableException, ok, fsm)
def testOneFile(self): fsm = parseFSM(self.fsmlFile) self.assertRaises(DistinctIdsException, ok, fsm)
def testOneFile(self): fsm = parseFSM(self.fsmlFile) self.assertRaises(DeterministicException, ok, fsm)
def setUp(self): self.parserErrorFsm = "./parserError.fsml" self.correctFsm = parseFSM("../sample.fsml") self.illegalSymbolInput = json.load(open("illegalSymbol_input.json")) self.infeasibleSymbolInput = json.load(open("infeasibleSymbol_input.json"))
def setUp(self): self.determinismNotOkFsm = parseFSM("./determinismNotOk.fsml") self.idsNotOkFsm = parseFSM("./idsNotOk.fsml") self.initialNotOkFsm = parseFSM("./initialNotOk.fsml") self.reachabilityNotOkFsm = parseFSM("./reachabilityNotOk.fsml") self.resolutionNotOkFsm = parseFSM("./resolutionNotOk.fsml")
def testOneFile(self): fsm = parseFSM(self.fsmlFile) self.assertTrue(ok(fsm))