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]	WANG Zhongyu, YE Jimin. An Incremental RLS Algorithm for Network Parameter Estimation [J]. Journal of Jilin University Science Edition, 2026, 64(3): 643-0649.
[2]	LIU Yugang, WANG Chengshu. Harmonic Measurement Algorithm for Electronic Current Transformers Based on DBSCAN Clustering [J]. Journal of Jilin University Science Edition, 2026, 64(2): 351-0358.
[3]	CAO Huanhuan, LIU Hongwei, LU Wenjun. Hybrid Genetic Algorithm for Solving Large-Scale Graph Partitioning Problems [J]. Journal of Jilin University Science Edition, 2025, 63(3): 822-0828.
[4]	SHI Fengyuan, OUYANG Dantong, ZHANG Liming. Research Review of Close Enough Traveling Salesman Problem [J]. Journal of Jilin University Science Edition, 2025, 63(1): 114-0123.
[5]	GAO Minghan, WANG Limin, HUANG Ruilu, ZHANG Yufei, LI Mingyang. House Topology-Based Particle Swarm Optimization Algorithm and Solution to Engineering Optimization Problems [J]. Journal of Jilin University Science Edition, 2024, 62(6): 1384-1390.
[6]	CHU Yali, HAN Xuming, WANG Yanze, LV Shuai. Global-Local Cooperative Optimization Algorithm with Fitness Step Size [J]. Journal of Jilin University Science Edition, 2024, 62(6): 1419-1425.
[7]	DONG Sa, OUYANG Ruochuan, XU Haixiao, LIU Jie, LIU Dayou, LI Tingting, WANG Xinlu. Introducing Class-Distribution Relational Neighbor Classifier with Activation Spreading [J]. Journal of Jilin University Science Edition, 2024, 62(4): 915-922.
[8]	JIANG Sheng, ZHANG Zhongyi, WANG Zongyang, YU Qing. Target Recognition Algorithm of Traffic Intersection Based on Improved YOLOv7 [J]. Journal of Jilin University Science Edition, 2024, 62(3): 665-673.
[9]	ZHANG Tingting, OUYANG Dantong, SUN Chenglin, BAI Hongtao. Neural Bandits Recommendation Algorithm Based on Collaborative Filtering [J]. Journal of Jilin University Science Edition, 2024, 62(1): 92-0099.
[10]	XIA Xuefei, WANG Mingjie, WU Jianan. Protein Complex Recognition Algorithm Based on Motif Center Structure [J]. Journal of Jilin University Science Edition, 2021, 59(6): 1504-1510.
[11]	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.
[12]	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.
[13]	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.
[14]	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.
[15]	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.

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