Package eu.iv4xr.framework.mainConcepts

Class ObservationEvent.CoveragePointEvent

java.lang.Object
eu.iv4xr.framework.mainConcepts.ObservationEvent
eu.iv4xr.framework.mainConcepts.ObservationEvent.CoveragePointEvent
All Implemented Interfaces:
Serializable, Parsable
Enclosing class:
ObservationEvent
public static class ObservationEvent.CoveragePointEvent extends ObservationEvent
When performing a series of tests, we usually want to know how 'complete' the tests were. Of course testing cannot completely guarantee absence of bugs, but we can still measure relative completeness with respect to a set of coverage-checkpoint (or simply coverage-point), each representing certain family of behaviors of the program-under-test. We can think this check-point as a certain point in the execution of the program-under-test. All executions that visit this check-point is thus the family of the behavior that the check-point represents. A set of tests (also called a test-suite) is said to be relatively complete/adequate if the tests in this set activates/visits the coverage-points that we set out for the program-under-test.

The tester/developer should determine what which coverage points to cover when testing a given program-under-test. There should also be a way for a test-agent to observe that it visits such a coverage point. When this happen, the test agent can report this as an instance of this class CoveragePointEvent.

Author:
Wish
See Also:
Serialized Form

  • Field Details

    • coveragePointId

      public String coveragePointId
      A unique ID that identifies the covered coverage-point.

  • Constructor Details

    • CoveragePointEvent

      public CoveragePointEvent​(String family, String coveragePointId)
      Create a coverage-event representing that we just covered the coverage-point specified by its id. We also specify the family to which this event belongs to. Family-name is used to identify that the event belongs to some meaningful family.