在软件开发中，推理的典型运用