test absent express correct test gener script uninterpret action model common behavior factori build uninterpret action action state action state notat uml notat action state notat uml action state notat str notat action state notat set set equal notat correctli gener absent script notat str 