假设开发法-静态