从形式化规范自动生成系统级状态机

• 作者: 王新苏 王煦法
• 来源期刊: 中国科学技术大学学报
• 学科: 工学
• 关键词: 形式化方法 形式化语言 面向对象 形式化规范 系统级状态机 自动测试
• 年，卷（期）: 2006,（11）
• 所属期刊栏目: 计算机科学技术
• 页码范围: 1177-1183
• 页数: 7页
• 分类号: TP391
• 字数: 4791字
• 语种: 中文
• DOI: 10.3969/j.issn.0253-2778.2006.11.009

摘要

形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王煦法	中国科学技术大学计算机科学与技术系	191	4142	33.0	58.0
5	王新苏	中国科学技术大学计算机科学与技术系	2	7	2.0	2.0