本说明书实施例提供一种有界模型检测的技术方案，通过本说明书实施例提供的方法和装置，将需要验证的应用或模块统一记为待测模块，先获取待测模块对应的各个验证单元构建的调用树，检测各个节点分别对应的各个第一验证指标，根据第一验证指标确定需要独立验证的第一类节点，然后调用树中的调用关系验证第一类节点，并将其他节点内联到相应调用场景进行验证。如此，可以有效减少复杂函数的重复验证，提高验证效率。
