def do_expr_parsed(): model = ModelFactory.get_parsed() checker = Checker(model=model, ltl=ltl, duration=TIME_LIMIT_IN_DAYS*2) # wrapper = ExperimentWrapper(checker, samples_per_param=SAMPLES_PER_PARAM) wrapper = ExperimentWrapper(checker) wrapper.setconstants([thickness_cnsts,]) logger.info("Parsed model expr began.") result = wrapper.do_expe() logger.info("Parsed model expr end.") return result
def test_parsed(): parsed = ModelFactory.get_parsed() parsed.prepareCommands() pr = cProfile.Profile() pr.enable() result, path = parsed.gen_random_path(duration=duration) pr.disable() print "len of path:{}".format(len(path)) s = StringIO.StringIO() sortby = "cumulative" ps = pstats.Stats(pr, stream=io.FileIO("./parsed", mode='w')).sort_stats(sortby) ps.print_stats() print s.getvalue()
def test_parsed(parsed=None): if not parsed: parsed = ModelFactory.get_parsed() parsed.duration = duration parsed.prepare() # thd = StepGenThd(model=parsed) # thd.setDaemon(True) # thd.start() # time.sleep(2) # 模拟用户输入 pr = cProfile.Profile() pr.enable() path = parsed.get_random_path_V2() pr.disable() print "len of path:{}".format(len(path)) s = StringIO.StringIO() sortby = "cumulative" ps = pstats.Stats(pr, stream=io.FileIO("./parsed", mode='w')).sort_stats(sortby) ps.print_stats() print s.getvalue()
def getParsedModel(): return ModelFactory.get_parsed()
def setUp(self): self.parsed = ModelFactory.get_parsed() self.ltl = ["U[1, {}]".format(DURATION), "T", "failure"] self.checker = Checker(self.parsed, ltl=self.ltl, duration=DURATION)
# -*- coding: utf-8 -*- from model.ModelFactory import ModelFactory from util.AnnotationHelper import profileit model = ModelFactory.get_parsed(duration=1000000) model.prepare() # 测试将队列填满需要多少时间 @profileit("stepgentime") def test(): step_gen = model.gen_next_step(passed_time=0.0) for _ in range(73000): step = next(step_gen) model.steps_queue.append(step) if __name__ == "__main__": test()