Generating finite state machines from abstract state machines-Reference-Cited by-同舟云学术

Generating finite state machines from abstract state machines

Published:2002-07 Issue:4 Volume:27 Page:112-122
ISSN:0163-5948
Container-title:ACM SIGSOFT Software Engineering Notes
language:en
Short-container-title:SIGSOFT Softw. Eng. Notes

Author:

Grieskamp Wolfgang¹,Gurevich Yuri¹,Schulte Wolfram¹,Veanes Margus¹

Affiliation:

1. Microsoft Research, Redmond, WA

Abstract

We give an algorithm that derives a finite state machine (FSM) from a given abstract state machine (ASM) specification. This allows us to integrate ASM specs with the existing tools for test case generation from FSMs. ASM specs are executable but have typically too many, often infinitely many states. We group ASM states into finitely many hyperstates which are the nodes of the FSM. The links of the FSM are induced by the ASM state transitions.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/566171.566190

Reference30 articles.

1. Boris Beizer. Software Testing Techniques. Van Nostrand Reinhold New York second edition 1990.]] Boris Beizer. Software Testing Techniques. Van Nostrand Reinhold New York second edition 1990.]]

2. Protocol testing

3. C. Bourhr R. Dssouli and E. M. Aboulhamid. Automatic test generation for EFSM-based systems. Publication departementale 1043 Departement IRO Uni- versite de Montreal August 1996.]] C. Bourhr R. Dssouli and E. M. Aboulhamid. Automatic test generation for EFSM-based systems. Publication departementale 1043 Departement IRO Uni- versite de Montreal August 1996.]]

4. Application of finite automatons for program testing

Cited by 68 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Accelerating Finite State Machine-Based Testing Using Reinforcement Learning;IEEE Transactions on Software Engineering;2024-03

2. Finite State Machine of the MQTT-SN Protocol for Its Operation Over IEEE 802.15.4 in Linear Topologies;IEEE Access;2024

3. An automated test data generation method for void pointers and function pointers in C/C++ libraries and embedded projects;Information and Software Technology;2022-05

4. A vision-based approach for automatic progress tracking of floor paneling in offsite construction facilities;Automation in Construction;2021-05

5. Enabledness-based Testing of Object Protocols;ACM Transactions on Software Engineering and Methodology;2021-04-30