公元229年（蜀汉后主建兴七年，曹魏明帝太和三年，孙吴大帝黄龙元年），蜀汉师出武都、阴平，是诸葛亮时代的第三次与曹魏大战。诸葛亮派遣汉中战役、夷陵战役的宿将陈式，进攻武都、阴平。陈式进攻的路线当从阳平关出发，经沮县往西北攻取武都（治所下辨，在今甘肃成县西北），接着转向西南攻取阴平（治所阴平，在今甘肃文县西北）。

在陈式进攻武都、阴平时，曹魏的雍州刺史郭淮起兵欲反攻，诸葛亮亲自率军推进到建威（今甘肃西和北），迫使郭淮退兵，武都、阴平得以平定。建威的位置，就在从沮县经武都往祁山的途中。后来蜀汉将领张翼「迁督建威」担任此地督将，姜维则在此建立了像石门、武卫一样的围守。

阴平本为益州广汉郡的属国，武都则属凉州，自从刘备取得汉中以来，十年间虽然蜀汉军队屡屡经过武都郡境内，并未将氐、羌民族所居地的武都、阴平正式收入版图。蜀汉北出陇右的要道在武都境内，阴平则地近梓潼，距离蜀汉的核心地带已经不远，因此取得武都、阴平对于蜀汉的攻击与防御而言都具有重要的意义。

武都的平定，一方面使得出师祁山的路线更加确保，同时又利于其他军事路线的展开。武都另有路线通往石营（今甘肃西和西北），公元253年（蜀汉后主延熙十六年，曹魏少帝嘉平五年，孙吴废帝建兴二年）姜维第四次北伐，此时对北伐悲观的费祎刚刚逝世，姜维得以带领数万兵马兵出石营，经过在石营北方的董亭（今甘肃武山南），围攻在董亭北方的南安郡（治所豲道在今甘肃陇西东）。晋人习凿齿将这年的军事行动记载成围攻狄道，可能有误，因为从雍州刺史陈泰援军推进到董亭东北方的洛门（今甘肃武山东）来看，姜维围攻的更可能是距董亭颇近的豲道，而较不会是离洛门很远的狄道。

董亭在祁山的西北方，而祁山东北方的上邽就在董亭的东方，公元256年（蜀汉后主延熙十九年，曹魏少帝正元三年，孙吴废帝五凤三年）姜维第七次北伐，兵向祁山，听闻曹魏安西将军邓艾已有防备，姜维便折回，转由董亭朝向南安，与邓艾争险不克，于是向东直趋上邽。由于蜀汉镇西将军胡济失誓未能会师于上邽，姜维在附近的段谷（今甘肃天水西南）被击败。这是姜维在秦岭以西的诸次北伐中，推进到的最东端。

简单整理从武都向北直到豲道的沿途地名：

石营　姜维第四次北伐

董亭　姜维第四次北伐

（洛门）

豲道　姜维第四次北伐

从梓潼经阴平出建威，向东北直到段谷的沿途地名：

阴平　诸葛亮第三次北伐

武都　诸葛亮第三次北伐

建威　诸葛亮第三次北伐

（祁山）

（上邽）

段谷　姜维第七次北伐