Ein testerzeugungsverfahren fur digitale schaltungen auf der verhaltensebene

Detalhes bibliográficos
Autor(a) principal: Weber, Raul Fernando
Data de Publicação: 1986
Tipo de documento: Tese
Idioma: deu
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
Texto Completo: http://hdl.handle.net/10183/17851
Resumo: Verhaltensmodelle sind für die Beschreibung digitaler Schaltungen besonders geeignet. Sie besitzen einen hohen Abstraktionsgrad, wodurch sich in Vergleich zu strukturellen Modellen die Anzahl der benötigten Elemente verkleinert, um eine Schaltung auf der Verhaltensebene zu beschreiben. In dieser Arbeit wird ein Testerzeugungsverfahren entwickelt, das auf der Verhaltensebene anwendbar ist. Damit soil ein Beitrag zur Beherrschung des zunehmenden Aufwands bei der Testerzeugung fur hochintegrierte Schaltungen geleistet werden. Ausgangspunkt far die Arbeit ist ein Verhaltensgraph, der sich aus einem Datengraphen und einem Ablaufgraphen zusammensetzt. Der Datengraph stellt den Datenfluß dar, wahrend der Ablaufgraph den Steuerfluß abbildet. Aus diesen Graphen werden Testwege abgeleitet, die es ermöglichen, parametrisierte Testmuster von den Eingangsanschlassen bis zum zu testenden Element weiterzuleiten und die Antwort dieses Elements bis zu den Ausgangsanschldssen fortzupflanzen. Durch die Anwendung von parametrisierten Testmustern wird erreicht, daß das Verfahren unabhängig von Fehlermodellen und Realisierungseinzelheiten wird. Die Aktivierung der Testwege wird anhand von Vorwärts- und Rückwärtsfortpflanzungen durchgeführt. Das vorgeschlagene Verfahren berücksichtigt sowohl die prozedurale (imperative) als auch die nichtprozedurale (applikative) Verhaltensbeschreibung einer Schaltung. Es wird an die Eigenschaften des jeweiligen Verhaltens angepaßt, außerdem werden die verschiedenen Sprachkonstrukte, die in den imperativen und applikativen Teilen der Beschreibung vorkommen können, durch entsprechende Verfahren einzeln berücksichtigt. Zur Beschreibung des Verhaltens wird in der vorliegenden Abhandlung die Sprache DSL (Digital Systems Specification Language) verwendet, was aber die Allgemeinheit der Anwendung des Verfahrens nicht einschränkt.
id URGS_27a69cc95b74e812c96bf45e68665f7d
oai_identifier_str oai:www.lume.ufrgs.br:10183/17851
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str 1853
spelling Weber, Raul FernandoNão disponível2009-12-12T04:15:06Z1986http://hdl.handle.net/10183/17851000103982Verhaltensmodelle sind für die Beschreibung digitaler Schaltungen besonders geeignet. Sie besitzen einen hohen Abstraktionsgrad, wodurch sich in Vergleich zu strukturellen Modellen die Anzahl der benötigten Elemente verkleinert, um eine Schaltung auf der Verhaltensebene zu beschreiben. In dieser Arbeit wird ein Testerzeugungsverfahren entwickelt, das auf der Verhaltensebene anwendbar ist. Damit soil ein Beitrag zur Beherrschung des zunehmenden Aufwands bei der Testerzeugung fur hochintegrierte Schaltungen geleistet werden. Ausgangspunkt far die Arbeit ist ein Verhaltensgraph, der sich aus einem Datengraphen und einem Ablaufgraphen zusammensetzt. Der Datengraph stellt den Datenfluß dar, wahrend der Ablaufgraph den Steuerfluß abbildet. Aus diesen Graphen werden Testwege abgeleitet, die es ermöglichen, parametrisierte Testmuster von den Eingangsanschlassen bis zum zu testenden Element weiterzuleiten und die Antwort dieses Elements bis zu den Ausgangsanschldssen fortzupflanzen. Durch die Anwendung von parametrisierten Testmustern wird erreicht, daß das Verfahren unabhängig von Fehlermodellen und Realisierungseinzelheiten wird. Die Aktivierung der Testwege wird anhand von Vorwärts- und Rückwärtsfortpflanzungen durchgeführt. Das vorgeschlagene Verfahren berücksichtigt sowohl die prozedurale (imperative) als auch die nichtprozedurale (applikative) Verhaltensbeschreibung einer Schaltung. Es wird an die Eigenschaften des jeweiligen Verhaltens angepaßt, außerdem werden die verschiedenen Sprachkonstrukte, die in den imperativen und applikativen Teilen der Beschreibung vorkommen können, durch entsprechende Verfahren einzeln berücksichtigt. Zur Beschreibung des Verhaltens wird in der vorliegenden Abhandlung die Sprache DSL (Digital Systems Specification Language) verwendet, was aber die Allgemeinheit der Anwendung des Verfahrens nicht einschränkt.application/pdfdeuEletrônicaSistemas digitaisLinguagens : Descricao : HardwareTestes : Sistemas digitaisEin testerzeugungsverfahren fur digitale schaltungen auf der verhaltensebeneinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisUniversitat KarlsruheFakultat fur Informatikkarlsruhe, rfa1986doutoradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000103982.pdf000103982.pdfTexto completo (alemão)application/pdf33996102http://www.lume.ufrgs.br/bitstream/10183/17851/1/000103982.pdf99a87ce7e61f7d65f7cb732b34f51af1MD51TEXT000103982.pdf.txt000103982.pdf.txtExtracted Texttext/plain598241http://www.lume.ufrgs.br/bitstream/10183/17851/2/000103982.pdf.txt5c69d179d51120eea59bbbccdb5c41c5MD52THUMBNAIL000103982.pdf.jpg000103982.pdf.jpgGenerated Thumbnailimage/jpeg1203http://www.lume.ufrgs.br/bitstream/10183/17851/3/000103982.pdf.jpg8c2d8e13b7508ee48eb878602453843dMD5310183/178512021-05-07 05:05:25.561593oai:www.lume.ufrgs.br:10183/17851Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532021-05-07T08:05:25Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Ein testerzeugungsverfahren fur digitale schaltungen auf der verhaltensebene
title Ein testerzeugungsverfahren fur digitale schaltungen auf der verhaltensebene
spellingShingle Ein testerzeugungsverfahren fur digitale schaltungen auf der verhaltensebene
Weber, Raul Fernando
Eletrônica
Sistemas digitais
Linguagens : Descricao : Hardware
Testes : Sistemas digitais
title_short Ein testerzeugungsverfahren fur digitale schaltungen auf der verhaltensebene
title_full Ein testerzeugungsverfahren fur digitale schaltungen auf der verhaltensebene
title_fullStr Ein testerzeugungsverfahren fur digitale schaltungen auf der verhaltensebene
title_full_unstemmed Ein testerzeugungsverfahren fur digitale schaltungen auf der verhaltensebene
title_sort Ein testerzeugungsverfahren fur digitale schaltungen auf der verhaltensebene
author Weber, Raul Fernando
author_facet Weber, Raul Fernando
author_role author
dc.contributor.author.fl_str_mv Weber, Raul Fernando
dc.contributor.advisor1.fl_str_mv Não disponível
contributor_str_mv Não disponível
dc.subject.por.fl_str_mv Eletrônica
Sistemas digitais
Linguagens : Descricao : Hardware
Testes : Sistemas digitais
topic Eletrônica
Sistemas digitais
Linguagens : Descricao : Hardware
Testes : Sistemas digitais
description Verhaltensmodelle sind für die Beschreibung digitaler Schaltungen besonders geeignet. Sie besitzen einen hohen Abstraktionsgrad, wodurch sich in Vergleich zu strukturellen Modellen die Anzahl der benötigten Elemente verkleinert, um eine Schaltung auf der Verhaltensebene zu beschreiben. In dieser Arbeit wird ein Testerzeugungsverfahren entwickelt, das auf der Verhaltensebene anwendbar ist. Damit soil ein Beitrag zur Beherrschung des zunehmenden Aufwands bei der Testerzeugung fur hochintegrierte Schaltungen geleistet werden. Ausgangspunkt far die Arbeit ist ein Verhaltensgraph, der sich aus einem Datengraphen und einem Ablaufgraphen zusammensetzt. Der Datengraph stellt den Datenfluß dar, wahrend der Ablaufgraph den Steuerfluß abbildet. Aus diesen Graphen werden Testwege abgeleitet, die es ermöglichen, parametrisierte Testmuster von den Eingangsanschlassen bis zum zu testenden Element weiterzuleiten und die Antwort dieses Elements bis zu den Ausgangsanschldssen fortzupflanzen. Durch die Anwendung von parametrisierten Testmustern wird erreicht, daß das Verfahren unabhängig von Fehlermodellen und Realisierungseinzelheiten wird. Die Aktivierung der Testwege wird anhand von Vorwärts- und Rückwärtsfortpflanzungen durchgeführt. Das vorgeschlagene Verfahren berücksichtigt sowohl die prozedurale (imperative) als auch die nichtprozedurale (applikative) Verhaltensbeschreibung einer Schaltung. Es wird an die Eigenschaften des jeweiligen Verhaltens angepaßt, außerdem werden die verschiedenen Sprachkonstrukte, die in den imperativen und applikativen Teilen der Beschreibung vorkommen können, durch entsprechende Verfahren einzeln berücksichtigt. Zur Beschreibung des Verhaltens wird in der vorliegenden Abhandlung die Sprache DSL (Digital Systems Specification Language) verwendet, was aber die Allgemeinheit der Anwendung des Verfahrens nicht einschränkt.
publishDate 1986
dc.date.issued.fl_str_mv 1986
dc.date.accessioned.fl_str_mv 2009-12-12T04:15:06Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/17851
dc.identifier.nrb.pt_BR.fl_str_mv 000103982
url http://hdl.handle.net/10183/17851
identifier_str_mv 000103982
dc.language.iso.fl_str_mv deu
language deu
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/17851/1/000103982.pdf
http://www.lume.ufrgs.br/bitstream/10183/17851/2/000103982.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/17851/3/000103982.pdf.jpg
bitstream.checksum.fl_str_mv 99a87ce7e61f7d65f7cb732b34f51af1
5c69d179d51120eea59bbbccdb5c41c5
8c2d8e13b7508ee48eb878602453843d
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1816736825351340032