第三次记载，诸葛亮斩杀王双的次年。“建兴七年春，亮遣陈式攻武都、阴平，遂克定二郡。”，“七年，亮遣陈式攻武都、阴平。魏雍州刺史郭淮率众欲击式，亮自出至建威，淮退还，遂平二郡。”诸葛亮在众将中选择派遣陈式攻打武都、阴平，可见此时的陈式已经成长为蜀汉重将。郭淮企图反击陈式，被诸葛亮大军震慑下，不战而退。

蜀汉中期大将之一，军中地位低于魏延、吴班、高翔，但高于其他人。总结，陈式在蜀汉军中属于兢兢业业，恪尽职守，中规中矩的基层指挥官，即使上级的命令是让他深陷险境，或是孤军深入都会毫无疑问的执行，是忠诚军人的典范，是所有的上级都喜欢的类型，也是必须有的一类人，在勇武和智谋方面并没有显出出类拔萃的地方，说明他不是奇才，只是平常军人，是不显眼但不可或缺的人。

在三国志中陈式早在刘备时代便被起用，在诸葛亮时代也是被重用的大将，不过其中并没有记载其被杀一事，或者说其死都没有记载。