首页>
外国专利>
Scalable methods for analyzing formalized requirements and localizing errors
Scalable methods for analyzing formalized requirements and localizing errors
展开▼
机译:用于分析形式化需求和定位错误的可扩展方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
According to some embodiments, a system and method are provided for analyzing formal system requirements for software and hardware components in a software and hardware component specification model comprising receiving at least one requirement defined using a formal notation; determining if each of the requirements is self-conflicting via execution of a self-conflicting module; determining if two or more requirements conflict with each other via execution of a set-conflicting module after execution of the self-conflicting module; identifying each requirement involved in a conflict and how the one or more requirements conflicts via execution of an error localization module; receiving an updated requirement; repetitively analyzing each updated requirement with the self-conflicting module and the set-conflicting module; and generating an indication that requirements analysis is complete for the one or more requirements and the one or more requirements is validated for use in software design. Numerous other aspects are provided.
展开▼