Deriving adaptive distinguishing sequences for Finite State Machines
FSM (Finite State Machines) are widely used for deriving tests with guaranteed fault coverage for control systems. Distinguishing sequences (DS) are used in FSM based testing for state identification and can significantly reduce the size of a returned complete test suite. In some cases, length of di...
Uložené v:
| Vydané v: | Trudy Instituta sistemnogo programmirovaniâ Ročník 30; číslo 4; s. 139 - 154 |
|---|---|
| Hlavní autori: | , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
01.10.2018
|
| Predmet: | |
| ISSN: | 2079-8156, 2220-6426 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Buďte prvý, kto okomentuje tento záznam!