用户满意度虽然与软件质量相关，但它不属于软件质量的正式衡量指标，正式指标包括功能性、可靠性、效率等。