Ein testerzeugungsverfahren fur digitale schaltungen auf der verhaltensebene
Autor(a) principal: | |
---|---|
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 |