一种搜索带前缀的边界条件的方法

摘要

本发明提供一种搜索带前缀的边界条件的方法，该方法针对边界条件表述不合理、可读性不好的问题，首次提出用带前缀的边界条件进行系统冲突检测的描述方法；对于带前缀的边界条件设计了基于局部搜索的搜索算法，能够通过对候选公式进行极小化、随机扰动、abstract和refine等操作搜索到带前缀的边界条件，本发明在搜索过程中很好地平衡随机性和启发式搜索的优点，加速搜索时间和提升搜索的效果；验证了对于带前缀的边界条件的求解结果具有较好的可读性，可以为需求工程的解决工作提供更好的帮助。