《三国志 诸葛亮传》记载：亮使马谡督诸军在前，与郃战于街亭。谡违亮节度，举动失宜，大为郃所破。亮拔西县千馀家，还于汉中。
诸葛亮第二次北伐，出散关，围陈仓，魏军大将曹真抵挡诸葛亮，诸葛亮大军因为粮草没了，被迫撤军。在撤军时，诸葛亮军斩杀了前来追击的魏国大将王双。
《三国志 诸葛亮传》记载：冬，亮复出散关，围陈仓，曹真拒之，亮粮尽而还。魏将王双率骑追亮，亮与战，破之，斩双。
第诸葛亮三次北伐，派大将陈式，进攻武都和阴平两郡，魏国大将郭淮准备进攻陈式，诸葛亮出至建威，逼退了郭淮，占据了两郡。
《三国志 诸葛亮传》记载：七年，亮遣陈式攻武都、阴平。魏雍州刺史郭淮率众欲击式，亮自出至建威，淮退还，遂平二郡。
