如果软件是可测试的、可理解的、可修改的、可移植的、可靠的、有效的、可用的,则软件一定是____。