陳倉の戦い
228年12月(『三国志』曹真伝によると229年の春)、諸葛亮は漢中より出撃し、曹真の予測通り陳倉道を北上し陳倉城を包囲した。雍州に駐屯していた曹真は将軍費曜を派遣してこれを拒んだ。さらに洛陽では曹叡が張郃を召しだし3万の兵を与えて援軍とした。曹叡は張郃の到着が遅れたため陳倉が既に陥落しているのではないかと心配したが、張郃は陳倉城の防衛の堅さと蜀軍は食料をあまり携帯してきていないことを指摘して、援軍到着前に諸葛亮が撤退することを予測する一方、朝夜の強行で漢中南鄭まで進軍した。果たして以前からの備えがあった為、蜀軍は食料が尽き兵を引いた。以上が『三国志』明帝紀、曹真伝、張郃伝に見える経過である。
『三国志』では曹真の先見性が強調される一方、『三国志』に注釈として用いられた『魏略』では郝昭の武功が強調されている。諸葛亮が陳倉に攻め寄せると郝昭の同郷である靳祥を派遣して何度も降伏を呼びかけたが、郝昭は自身は必死の決意で事に当たっている事を述べ、これを帰らせた。数千程度のわずかな軍隊で諸葛亮の軍勢を寄せ付けず、頑健に防衛した。