Python coverage_from_trace示例

示例#1

文件： test_interpreter.py 项目： AlexandreDecan/sismic

 def test_single_step(self):
     trace = [MacroStep(0, steps=[
         MicroStep(entered_states=['a', 'b', 'c'], transition=Transition('x')),
         MicroStep(entered_states=['a', 'b'], transition=Transition('x')),
         MicroStep(entered_states=['a']),
         MicroStep(entered_states=[])
     ])]
     self.assertEqual(coverage_from_trace(trace), (Counter(a=3, b=2, c=1), Counter({Transition('x'): 2})))

示例#2

文件： test_interpreter.py 项目： AlexandreDecan/sismic

    def test_multiple_steps(self):
        trace = [MacroStep(0, steps=[
            MicroStep(entered_states=['a', 'b', 'c'], transition=Transition('x')),
            MicroStep(entered_states=['a', 'b'], transition=Transition('x')),
            MicroStep(entered_states=['a']),
            MicroStep(entered_states=[])
        ])]

        trace.extend(trace)
        self.assertEqual(coverage_from_trace(trace), (Counter(a=6, b=4, c=2), Counter({Transition('x'): 4})))

示例#3

 def test_single_step(self):
     trace = [
         MacroStep(0,
                   steps=[
                       MicroStep(entered_states=['a', 'b', 'c'],
                                 transition=Transition('x')),
                       MicroStep(entered_states=['a', 'b'],
                                 transition=Transition('x')),
                       MicroStep(entered_states=['a']),
                       MicroStep(entered_states=[])
                   ])
     ]
     self.assertEqual(
         coverage_from_trace(trace),
         (Counter(a=3, b=2, c=1), Counter({Transition('x'): 2})))

示例#4

    def test_multiple_steps(self):
        trace = [
            MacroStep(0,
                      steps=[
                          MicroStep(entered_states=['a', 'b', 'c'],
                                    transition=Transition('x')),
                          MicroStep(entered_states=['a', 'b'],
                                    transition=Transition('x')),
                          MicroStep(entered_states=['a']),
                          MicroStep(entered_states=[])
                      ])
        ]

        trace.extend(trace)
        self.assertEqual(
            coverage_from_trace(trace),
            (Counter(a=6, b=4, c=2), Counter({Transition('x'): 4})))

示例#5

 def test_empty_trace(self):
     self.assertEqual(coverage_from_trace([]), (Counter(), Counter()))

示例#6

文件： test_interpreter.py 项目： AlexandreDecan/sismic

 def test_empty_trace(self):
     self.assertEqual(coverage_from_trace([]), (Counter(), Counter()))