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

作者：郭德贵; 刘磊; 张晶

来源：吉林大学学报(理学版), 2008, 46(1): 55-61.

DOI：10.3321/j.issn:1671-5489.2008.01.013

• ATLAS
• C/ATLAS
• 操作语义
• 单动作语句

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

• 单位
  吉林大学