Functional test generation for finite state machines

被引：0
|
作者：
Ubar, R.
Brik, M.
Jutman, A.
Raik, J.
Bengtsson, T.
Kumar, S.
机构：
[1] TTU, Dept Comp Engn, EE-12618 Tallinn, Estonia
[2] Jonkoping Univ, SE-55111 Jonkoping, Sweden
来源：
2006 INTERNATIONAL BALTIC ELECTRONICS CONFERENCE, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
In this paper, a pure functional test generation method for finite state machines (FSM) is proposed. The method is solely based on state transition diagram (STD) description of FSMs. It guarantees full coverage of stuck-at faults in a two-level implementation of the sum-of-product forms of the next state logic and output logic synthesized from the STD. For simplification the test generation process and reducing the test length, the state flip-flops are made observable. Experiments show the efficiency of the method.
引用
收藏
页码：205 / 208
页数：4
相关论文
共 50 条
  • [1] On finding a minimal functional description of a finite-state machine for test generation for adjacent machines
    Pomeranz, I
    Reddy, SM
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2000, 49 (01) : 88 - 94
  • [2] A bounded incremental test generation algorithm for finite state machines
    Pap, Zoltan
    Subramaniam, Mahadevan
    Kovacs, Gabor
    Nemeth, Gabor Arpad
    [J]. TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 244 - +
  • [3] A Hybrid Test Generation Approach based on Extended Finite State Machines
    Turlea, Ana
    Ipate, Florentin
    Lefticaru, Raluca
    [J]. PROCEEDINGS OF 2016 18TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC), 2016, : 173 - 180
  • [4] Using mutual information to test from Finite State Machines: Test suite generation?,??
    Ibias, Alfredo
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2022, 192
  • [5] Test generation algorithm for the All-Transition-State criteria of Finite State Machines
    Nemeth, Gabor Arpad
    Lugosi, Mate Istvan
    [J]. INFOCOMMUNICATIONS JOURNAL, 2021, 13 (03): : 56 - 65
  • [6] Test generation for multiple state-table faults in finite-state machines
    Pomeranz, I
    Reddy, SM
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1997, 46 (07) : 783 - 794
  • [7] Prioritized Variable-length Test Cases Generation for Finite State Machines
    Rechtberger, Vaclav
    Bures, Miroslav
    Ahmed, Bestoun S.
    Belkhier, Youcef
    Nema, Jiri
    Schvach, Hynek
    [J]. 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2022), 2022, : 11 - 20
  • [8] Three Generalizations to a Generic Integrated Test Generation Method for Finite State Machines
    Kapus-Kolar, Monika
    [J]. COMPUTER JOURNAL, 2009, 52 (06): : 599 - 625
  • [9] Testing as collecting of evidence: An integrated approach to test generation for finite state machines
    Kapus-Kolar, Monika
    [J]. COMPUTER JOURNAL, 2007, 50 (03): : 315 - 331
  • [10] A Test Generation Method Based on k-Cycle Testing for Finite State Machines
    Kinoshita, Yuya
    Hosokawa, Toshinori
    Fujiwara, Hideo
    [J]. 2019 IEEE 25TH INTERNATIONAL SYMPOSIUM ON ON-LINE TESTING AND ROBUST SYSTEM DESIGN (IOLTS 2019), 2019, : 232 - 235
12345