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