期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
从形式化规范自动生成系统级状态机
被引量：
1
1
作者
王新苏
王煦法
《中国科学技术大学学报》
CAS
CSCD
北大核心
2006年第11期1177-1183,共7页
形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应...
形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.
展开更多
关键词
形式化方法
形式化语言
面向对象
形式化规范
系统级状态机
自动测试
在线阅读
下载PDF
职称材料
题名
从形式化规范自动生成系统级状态机
被引量：
1
1
作者
王新苏
王煦法
机构
中国科学技术大学计算机科学与技术系
出处
《中国科学技术大学学报》
CAS
CSCD
北大核心
2006年第11期1177-1183,共7页
基金
中国科学技术大学与日本富士施乐公司合作项目(FXVFP2003)资助
文摘
形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.
关键词
形式化方法
形式化语言
面向对象
形式化规范
系统级状态机
自动测试
Keywords
formal method
formal language
object-oriented
formal specification
system-level state transition diagram
automatic testing
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
从形式化规范自动生成系统级状态机
王新苏
王煦法
《中国科学技术大学学报》
CAS
CSCD
北大核心
2006
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
