本发明公开了一种关于模板库编程约定的检查方法，属于计算机并行程序设计技术领域。本发明首先将编程约定描述为状态，以及将状态的迁移描述为编程约定中对指定方法的调用；然后将状态实现为类，并在类中编写符合编程约定的方法来供编程人员调用，以保证当编程人员违反编程约定的时候让编译器会停止编译并给出相应提示；预测编程人员可能会出现哪些错误，并在相应的表示状态的类中添加方法，使得当编程人员违反编程约定时能给出相应的提示信息以帮助编程人员检查并修改错误。本发明能够有效提高编程人员编写并行程序的效率。