Open magwas opened 5 years ago
Behaviour: Supporting functionality/filter votes;null assurance means all of the votes
@tested_feature("Supporting functionality")
@tested_operation("filter votes")
@tested_behaviour("null assurance means all of the votes")
A testable aspect of function: a set of pre- and postconditions.
Deviation in model
szirbucz
Behaviour: Supporting functionality/filter votes;null assurance means all of the votes
@tested_feature("Supporting functionality")
@tested_operation("filter votes")
@tested_behaviour("null assurance means all of the votes")
A testable aspect of function: a set of pre- and postconditions.
Deviation in model