摘要
形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.
Formal methods can specify the software system with more accuracy and less ambiguity. However, the formal specifications written by formal languages are not easy to read and understand, and there is still not an effective tool for the automatic testing based on formal specifications. In order to solve these problems, a novel method that could automatically translate one type of formal specification to one common state transition diagram of system-level was proposed. Practical experiments demonstrate that this method can improve readability and intelligibility.
基金
中国科学技术大学与日本富士施乐公司合作项目(FXVFP2003)资助
关键词
形式化方法
形式化语言
面向对象
形式化规范
系统级状态机
自动测试
formal method
formal language
object-oriented
formal specification
system-level state transition diagram
automatic testing
