姜维杀四大名将

姜维主持北伐时，只杀死了魏国的徐质一人，不存在所谓的杀四大名将。

延熙十六年（253年）春，费祎被刺杀身亡。夏，姜维率领数万人出石营，围攻南安，魏国雍州刺史陈泰率军前来救援，陈泰行军至洛门，姜维却已因军粮耗尽而退军。延熙十七年（254年），蜀汉朝廷加姜维督内外军事。姜维率军出陇西，狄道长李简举城降。

姜维进围襄武，杀败魏将徐质，并将其斩首，魏军败退。姜维乘胜追击，先后攻破河间、河关、临洮等地，拔其县民还蜀。延熙十八年（255年）夏，卫将军姜维率领车骑将军夏侯霸、征西大将军张翼等诸军出狄道，于洮西大破魏国雍州刺史王经，王经死伤数万，退保狄道城。

姜维伐魏

姜维围住狄道城攻打，魏国派征西将军陈泰前来解围，姜维设伏不成，退军驻扎钟题。延熙十九年（256年）春，姜维被迁升为大将军。姜维整顿兵马，与镇西将军胡济两路出兵，约定在上邽会合，但胡济却没有来，导致姜维在段谷被魏将邓艾击败，姜维死伤甚多，百姓因此埋怨姜维，而陇西也躁动不安。

姜维于是请求自贬为后将军，行大将军事。延熙二十年（257年），魏征东大将军诸葛诞在淮南举兵反抗司马氏，姜维趁魏关中空虚率兵出秦川，又率领万人出骆谷。魏大将军司马望与邓艾据守长城，姜维驻军于芒水，依山扎营，姜维多次挑战，但司马望与邓艾坚守不出。