Abstract

O secvență distinctivă adaptivă (ADS) poate fi utilizată pentru a identifica o stare inițială necunoscută a unei mașini cu stare finită (FSM). De mult timp se știe că verificarea existenței unui ADS pentru un FSM și găsirea unui ADS pentru un FSM atunci când există, poate fi efectuată în timp polinomial. Cu toate acestea, problema găsirii unui ADS minim nu a fost studiată până acum. Generarea unui ADS minim este motivată în special atunci când un astfel de ADS este utilizat în mod repetat, de ex. pentru construirea unei secvențe de testare. Introducem o serie de valori pentru a defini un ADS minim și arătăm că problema generării unui ADS minim în raport cu aceste valori este NP-completă. În plus, oferim rezultate de inaproximabilitate pentru aceste probleme dure și arătăm că nu numai decizia, ci și aproximarea unui astfel de ADS minim este o problemă dificilă. Modificăm singurul algoritm de generare ADS polinomial existent și demonstrăm experimental că aceste modificări construiesc ADS reduse. De asemenea, validăm motivația minimizării ADS prin prezentarea rezultatelor experimentale asupra efectului utilizării ADS reduse pentru a genera secvențe de testare.

minimizării

Aceasta este o previzualizare a conținutului abonamentului, conectați-vă pentru a verifica accesul.

Opțiuni de acces

Cumpărați un singur articol

Acces instant la PDF-ul complet al articolului.

Calculul impozitului va fi finalizat în timpul plății.

Abonați-vă la jurnal

Acces online imediat la toate numerele începând cu 2019. Abonamentul se va reînnoi automat anual.

Calculul impozitului va fi finalizat în timpul plății.