使用元模型的基于应用的验证覆盖

摘要

本发明涉及使用元模型的基于应用的验证覆盖。计算设备的至少一个处理器可以构建至少一个元模型。至少一个处理器可以对至少一个元模型进一步执行以下的一个或者多个：拆分操作、合并操作、约简操作、数学变换、逆操作、推导操作、级联操作、以及对至少一个元模型的代数运算。