魏军一开始得到诸葛亮大举进攻的报告时，是决策曹真督诸军到关中郿县一带抵抗的，但是后来又有变化，变成了加张郃位特进，遣督诸军去街亭。结合汉晋春秋记载说曹真的兵力还不如赵云的疑兵多，我们可以得出结论：
一开始，由于赵云大张声势出箕谷（关中方向），因此，魏国决定曹真都督各军集结关中郿县一带，准备反击蜀军的进攻。但是曹真赶到郿县以后，很快发现，这路蜀军是雷声大雨点小，喊了半天就是不出箕谷，因此很快识破了诸葛亮的声东击西之计。
随后，张郃也从荆州前线赶到，曹真当机立断（自然也报告给魏帝），让张郃带走各军直接快速上陇，打击诸葛亮的主力，自己只留下少数部队监视赵云的疑兵。
因此，我们可以推断：张郃的上陇兵团基本就是魏国从洛阳派来的精锐援军主力：5万人。如果雍州刺史郭淮带领的还是本地部队的话，那么上陇兵力还要多一些。
这时，我们再来看马谡的阻援兵力。如果诸葛亮得到了魏军大举上陇的情报，必然要派给马谡相应的兵力，要对抗5万精锐敌人，自己一方在没有提前进行防御准备的情况下，至少应有1/2的兵力才能有希望阻击成功。因此，马谡的兵力在25000人比较合理。有一种情况，那就是诸葛亮错误估计了敌军的增援兵力，以为自己的声东击西之计可以成功，这样敌人援军就大致只有万余人，因而只派给马谡不到万人。
但是，如果第二种情况成立，那么战败的责任就完全不在马谡，而在诸葛亮了。因为谁也没有本事以万人抵挡5万精锐敌军。
