一种程序验证用例的构建方法、装置、存储介质及设备

本说明书提供了一种程序验证用例的构建方法、装置、存储介质及设备。在此方法中，获取待验证程序的程序代码；其中，程序代码中包含有多个程序单元；根据各程序单元的输入值和返回值，确定各程序单元之间的调用关系，并根据调用关系生成程序调用序列，程序调用序列中包含程序代码中存在调用关系的至少两个程序单元；将程序调用序列输入预设的用例生成模型，以使用例生成模型基于代码重构提示信息，生成重构代码；将重构代码输入用例生成模型，以使用例生成模型基于用例生成提示信息，生成针对待验证程序的验证用例。本方案提高了验证用例对待验证程序中函数语句的覆盖率，提高了验证用例的可靠性。