Lower bounds on lengths of checking sequences-Reference-Cited by-同舟云学术

Lower bounds on lengths of checking sequences

Published:2010-11 Issue:6 Volume:22 Page:667-679
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Jourdan Guy-Vincent¹,Ural Hasan¹,Yenigün Hüsnü²,Zhang Ji Chao¹

Affiliation:

1. SITE, University of Ottawa, K1N 6N5, Ottawa, ON, Canada

2. FENS, Sabanci University, 34956, Istanbul, Turkey

Abstract

Abstract Lower bounds on the lengths of checking sequences constructed for testing from Finite State Machine-based specifications are established. These bounds consider the case where a distinguishing sequence is used in forming state recognition and transition verification subsequences and identify the effects of overlapping among such subsequences. Empirical results show that the existing methods for construction of checking sequences provide checking sequences with lengths that are within acceptable distance to these lower bounds.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s00165-009-0135-6.pdf

Reference37 articles.

1. An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours

2. Barnett M Grieskamp W Nachmanson L Schulte W Tillmann N Veanes M (2003) Towards a tool environment for model-based testing with AsmL. In: Proceedings of FATES’03 Springer-Verlag lecture notes in computer science 2931:252–266

3. Chen J Hierons RM Ural H Yenigun H (2005) Eliminating redundant tests in checking sequences. In: Proceedings of IFIP TestCom’05 Montreal Quebec pp 146–158

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

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

2. Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduce;Journal of Big Data;2021-11-20

3. GPU acceleration of finite state machine input execution: Improving scale and performance;Software Testing, Verification and Reliability;2021-10-08

4. Dispersal history of the golden jackal (Canis aureus moreoticus Geoffroy, 1835) in Europe and possible causes of its recent population explosion;Biodiversity Data Journal;2019-05-09

5. Accelerated Finite State Machine Test Execution Using GPUs;2018 25th Asia-Pacific Software Engineering Conference (APSEC);2018-12