Title: Ein Testbarkeitsanalyseprogramm für mikroprogrammierbare Rechnerstrukturen