Contexts for Soft Conformance Relation -- Testing Non-functional Properties -- Testing