曹魏第一次伐蜀和魏延西征
公元230年（魏太和四年，蜀汉建兴八年）秋七月，对蜀汉的屡次进犯已经不胜其扰的魏帝曹睿，命令大司马曹真、大将军司马懿伐蜀。这也是自十年之前，魏征南将军、荆州刺史夏侯尚击破蜀将刘封、占领上庸地区三郡九县以来，曹魏第一次对蜀汉采取攻势。
进攻计划是由曹真提出来的。以“鸷勇”著称、战功显赫的曹真怎么能忍受半路出家的诸葛亮一而再、再而三地在太岁头上动土呢？从经济上来说，蜀人连年来犯，边民无法安心生产；从军事上来说，军队屡次集结，大耗粮草，蜀人却不与决战，只是避实击虚，弄得强大的魏军反被斩将夺城，士气也逐渐低落。再说，兵法上也说过：进攻是最好的防御（偶也不知道哪部兵法上说过）嘛。打，打他丫的！
军人是很讲究雷厉风行的，曹真立刻上了表章，建议利用曹魏在兵力上的巨大优势，分兵数路进攻蜀汉，自己带主力走218年曹操进攻汉中的老路，从斜谷进军。但这个计划一递上去，就遭到了司空、录尚书事陈群的反对。陈群以曹操进攻张鲁之战作为例证，提出在补给上，曹魏目前没有力量进行这样大规模的进攻性战役：“斜谷险阻，难以进退，转运必见
钞截，多留兵守要哦，则损战士”（《三国志
