自动化计算机 >> 吉林大学学报：理学版 >> 2008年46卷1期 >> 摘要

C／ATLAS单动作测试语句实现的操作语义描述

评论推荐

在线阅读下载全文

郭德贵 刘磊 张晶

吉林大学计算机科学与技术学院,长春130012

《吉林大学学报：理学版》

2008年第46卷第1期

摘　　要:

针对C／ATLAS单动作信号语句的一个子集，提出一种其实现过程的基于抽象机的形式化操作语义描述方法，并分别给出了各单动作测试语句的状态转换规则．根据该描述，可较清晰地理解各单动作语句的功能及其制约关系．由于该操作语义基于抽象机，所以在此基础上可以很容易得到单动作信号语句的实现程序． (共7页)

关键词:

ATLAS C／ATLAS 操作语义单动作语句

学科分类:

TP301[工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 一般性问题 > 理论、方法]

主题相关参考文献(6篇)　

参考文献

更多>>　

关注本文的人:

看过本文的人还看过:

C／ATLAS单动作测试语句实现的操作语义描述

郭德贵 刘磊 张晶

吉林大学计算机科学与技术学院,长春130012

摘　　要:

关键词:

学科分类:

相关文章:

参考文献

相关期刊

关注本文的人:

看过本文的人还看过:

征稿启事

相关文章`+更多`

社区热帖`+更多`

服务简介

产品简介

帮助中心

阅读咨询

广告咨询

C／ATLAS单动作测试语句实现的操作语义描述

郭德贵 刘磊 张晶

吉林大学计算机科学与技术学院,长春130012

摘 要:

关 键 词:

学科分类:

相关文章:

参考文献

相关期刊

关注本文的人:

看过本文的人还看过:

征稿启事

相关文章+更多

社区热帖+更多

服务简介

产品简介

帮助中心

阅读咨询

广告咨询

郭德贵刘磊张晶

摘　　要:

关键词:

相关文章`+更多`

社区热帖`+更多`