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

Abstract

Abstract: A formal operational semantics based on abstract machine is presented for the implementation of a subset of singleaction signal oriented statements. State transforming regulations of every singleaction testing statement is presented respectively. According to the semantics, the function of each single-action statement and the relation between them can be clearly under stood. Furthermore an implement program of single-action statements can be made easily.

Key words: ATLAS, C/ATLAS, operational semantics, singleaction statement

CLC Number:

TP301

GUO Degui, LIU Lei, ZHANG Jing. Operational Semantics for Singleaction Statements of C/ATLAS[J].J4, 2008, 46(01): 55-61.

[1]	YANG Yong, ZHANG Lei, QU Fuheng, LIU Junjie, CHEN Qiang. THIMFUP Algorithm Based on the Most Frequent Item Extraction and Candidate Set Pruning [J]. Journal of Jilin University Science Edition, 2021, 59(3): 635-642.
[2]	LI Yongli, WANG Hao, JIN Xizi. Self-organizing Neural Network Algorithm Based on Random Forest Optimization [J]. Journal of Jilin University Science Edition, 2021, 59(2): 351-358.
[3]	ZHANG Qiang, ZHU Liutao, WANG Ying. Cultural Shuffled Frog Leaping Algorithm for Continuous Space Optimization Problem [J]. Journal of Jilin University Science Edition, 2020, 58(6): 1443-1451.
[4]	CHEN Jing, TANG Aotian, LIU Zhen, XU Sen, CAO Xiaocong. A Multi-objective Particle Swarm Optimization Algorithm Based on Kriging Model Infilling Strategy [J]. Journal of Jilin University Science Edition, 2020, 58(5): 1159-1166.
[5]	DONG Liyan, XIU Guanyu, MA Jiaqi. Collaborative Filtering Algorithm Based onWeight Adjustment and User Preference [J]. Journal of Jilin University Science Edition, 2020, 58(3): 599-604.
[6]	WANG Xiaoyu, LI Chuang, WANG Haiyan. A Method of Generating Incomplete Diagnostic Model [J]. Journal of Jilin University Science Edition, 2019, 57(5): 1207-1213.
[7]	BAI Yunxiao. Solving Ramsey Number Algorithm Based on Set Theory [J]. Journal of Jilin University Science Edition, 2019, 57(3): 647-652.
[8]	DONG Liyan, WANG Yu, REN Yi, LI Yongli. Collaborative Filtering Algorithm Based onMatrix Decomposition and Clustering#br# [J]. Journal of Jilin University Science Edition, 2019, 57(1): 105-110.
[9]	YANG Xue, DONG Hongbin, DONG Yuxin. Improved Quantum Particle Swarm Optimization Algorithm forMulti-dimensional Multichoice Knapsack Problem#br# [J]. Journal of Jilin University Science Edition, 2018, 56(6): 1461-1468.
[10]	JIN Xiaomin, ZHANG Liping. Multilevel k-Means Clustering Algorithm Based onMinimum Spanning Tree and Its Application in Data Mining#br# [J]. Journal of Jilin University Science Edition, 2018, 56(5): 1187-1192.
[11]	XU Zhongyu, SU Mingyu, YAO Qing’an. Hybrid Kernel SVM Algorithm Based on Improved PSO Algorithm [J]. Journal of Jilin University Science Edition, 2018, 56(3): 625-630.
[12]	OUYANG Dantong, LUO Zhiyu, GENG Xuena, ZHANG Liming. Algorithm of Safe Diagnosability for Distributed Discrete Event Systems [J]. Journal of Jilin University Science Edition, 2018, 56(3): 594-600.
[13]	LIAO Xingxing, SUN Shengli, JIN Gang. Formalizing Method of Physical Entities in Intelligent Lab [J]. Journal of Jilin University Science Edition, 2018, 56(2): 389-394.
[14]	ZHANG Weimin, LI Kelu, LI Yongli. Collaborative Filtering Recommendation Algorithm Based onSocial Relation and Condition Completion [J]. Journal of Jilin University Science Edition, 2017, 55(05): 1244-1248.
[15]	WANG Duomin, LIU Shufen. LogReLU: A New Rectified Activation Unit Using Log Funcion [J]. Journal of Jilin University Science Edition, 2017, 55(03): 617-622.

Operational Semantics for Singleaction Statements of C/ATLAS

PDF (PC)

Like

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Metrics

Comments

Recommended 10