Abstract: Requirement specification fault is one kind of software design faults. This paper presents a digestion-based software formal transformation model that eliminates the weak link existing in today’s software formal method approach, and automatically transform natural language-based requirement into formal representation.

Key words: Software requirement, Formal transformation, Software reliability

摘要： 需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型，用来将软件需求分析直接、自动地转换为形式化描述，为需求验证提供帮助，避免软件在需求规范上可能产生的错误。

关键词: 软件需求, 形式化转换, 软件可靠性