用于分析形式化的需求以及定位错误的可缩放方法和系统

摘要

根据一些实施例，提供一种系统和方法，包括：通信设备，操作以与用户通信以获得一个或多个需求，其中每个需求使用形式符号来定义；需求分析模块，用来接收一个或多个需求，存储一个或多个需求，并且个别地分析每个需求，以及以联合方式分析两个或多个需求以确定冲突是否存在于一个或多个需求中；错误定位模块，用来识别涉及在冲突中的每个需求，并且指示一个或多个需求如何冲突；存储器，用于存储程序指令；至少一个需求分析处理器，耦合到存储器，并且与需求分析模块以及错误定位模块通信，并且操作以运行程序指令。提供许多其它方面。