作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2007, Vol. 33 ›› Issue (05): 73-75. doi: 10.3969/j.issn.1000-3428.2007.05.025

• 软件技术与数据库 • 上一篇    下一篇

软件需求的形式化转换模型

侯丽珍,蔡小娟,邹恒明   

  1. (上海交通大学计算机科学与工程系,上海 200240)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-03-05 发布日期:2007-03-05

Digestion-based Software Formal Transformation Model

HOU Lizhen, CAI Xiaojuan, ZOU Hengming   

  1. (Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200240)
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-03-05 Published:2007-03-05

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

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

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