基于有限状态机的错误诊断算法

基于有限状态机的错误诊断算法

基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后，如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下，提出了一种新的错误诊断算法，该算法利用已经确定正确的转换信息以及可疑转换的下一个输入／输出对的头状态集合等信息来高效地诊断单个错误。文中给出了与已有的错误诊断算法的比较结果，并且用一个具体的实例来详细描述本文提出的算法。...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Dian zi yu xin xi xue bao = Journal of electronics & information technology 2006, Vol.28 (9), p.1679-1683
1. Verfasser: 赵保华 钱兰 周颢 郭雄辉
Format: Artikel
Sprache:chi
Schlagworte:
一致性测试
有限状态机
错误诊断
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 1683
container_issue 9
container_start_page 1679
container_title Dian zi yu xin xi xue bao = Journal of electronics & information technology
container_volume 28
creator 赵保华 钱兰 周颢 郭雄辉
description 基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后，如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下，提出了一种新的错误诊断算法，该算法利用已经确定正确的转换信息以及可疑转换的下一个输入／输出对的头状态集合等信息来高效地诊断单个错误。文中给出了与已有的错误诊断算法的比较结果，并且用一个具体的实例来详细描述本文提出的算法。
format Article
fullrecord <record><control><sourceid>wanfang_jour_chong</sourceid><recordid>TN_cdi_wanfang_journals_dzkxxk200609034</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><cqvip_id>22749899</cqvip_id><wanfj_id>dzkxxk200609034</wanfj_id><sourcerecordid>dzkxxk200609034</sourcerecordid><originalsourceid>FETCH-LOGICAL-c594-b117fe41ebdc387bcb623902853c957029b9ab8f2c7fcaf89363ff5c3b18c35b3</originalsourceid><addsrcrecordid>eNotzT9Lw0AcxvEbFCy1b8JFEAJ398vl7jdK8R8UXLqHu2uuxpQUDWJxUnCxgzhopVLwFWgGwSGvRy_tuzBQp2f58Hw3SItRioFQGG2RTlGkhnJgkaQUWmTv9736qR794mE1f6qn3_72zi-q-u1-9TxfluWynPrZR_356r9etsmm06Mi6fxvm_QPD_rd46B3enTS3e8FVmAYGMakS0KWmIEFJY01EQekXAmwKCTlaFAb5biVzmqnECJwTlgwTFkQBtpkd317rXOn82F8Pr66zJtgPLjJJpOMUxpRpBA2cmct7dk4H16kjTXaZi4dJTHnMkSFCH_nJ1ft</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>基于有限状态机的错误诊断算法</title><source>Alma/SFX Local Collection</source><creator>赵保华 钱兰 周颢 郭雄辉</creator><creatorcontrib>赵保华 钱兰 周颢 郭雄辉</creatorcontrib><description>基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后，如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下，提出了一种新的错误诊断算法，该算法利用已经确定正确的转换信息以及可疑转换的下一个输入／输出对的头状态集合等信息来高效地诊断单个错误。文中给出了与已有的错误诊断算法的比较结果，并且用一个具体的实例来详细描述本文提出的算法。</description><identifier>ISSN: 1009-5896</identifier><language>chi</language><publisher>中国科学技术大学计算机科学技术系中国科学院计算机科学重点实验室,合肥,230027</publisher><subject>一致性测试 ; 有限状态机 ; 错误诊断</subject><ispartof>Dian zi yu xin xi xue bao = Journal of electronics &amp; information technology, 2006, Vol.28 (9), p.1679-1683</ispartof><rights>Copyright © Wanfang Data Co. Ltd. All Rights Reserved.</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttp://image.cqvip.com/vip1000/qk/91130A/91130A.jpg</thumbnail><link.rule.ids>314,776,780,4010</link.rule.ids></links><search><creatorcontrib>赵保华 钱兰 周颢 郭雄辉</creatorcontrib><title>基于有限状态机的错误诊断算法</title><title>Dian zi yu xin xi xue bao = Journal of electronics &amp; information technology</title><addtitle>Journal of Electronics &amp; Information Technology</addtitle><description>基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后，如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下，提出了一种新的错误诊断算法，该算法利用已经确定正确的转换信息以及可疑转换的下一个输入／输出对的头状态集合等信息来高效地诊断单个错误。文中给出了与已有的错误诊断算法的比较结果，并且用一个具体的实例来详细描述本文提出的算法。</description><subject>一致性测试</subject><subject>有限状态机</subject><subject>错误诊断</subject><issn>1009-5896</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2006</creationdate><recordtype>article</recordtype><recordid>eNotzT9Lw0AcxvEbFCy1b8JFEAJ398vl7jdK8R8UXLqHu2uuxpQUDWJxUnCxgzhopVLwFWgGwSGvRy_tuzBQp2f58Hw3SItRioFQGG2RTlGkhnJgkaQUWmTv9736qR794mE1f6qn3_72zi-q-u1-9TxfluWynPrZR_356r9etsmm06Mi6fxvm_QPD_rd46B3enTS3e8FVmAYGMakS0KWmIEFJY01EQekXAmwKCTlaFAb5biVzmqnECJwTlgwTFkQBtpkd317rXOn82F8Pr66zJtgPLjJJpOMUxpRpBA2cmct7dk4H16kjTXaZi4dJTHnMkSFCH_nJ1ft</recordid><startdate>2006</startdate><enddate>2006</enddate><creator>赵保华 钱兰 周颢 郭雄辉</creator><general>中国科学技术大学计算机科学技术系中国科学院计算机科学重点实验室,合肥,230027</general><scope>2RA</scope><scope>92L</scope><scope>CQIGP</scope><scope>W92</scope><scope>~WA</scope><scope>2B.</scope><scope>4A8</scope><scope>92I</scope><scope>93N</scope><scope>PSX</scope><scope>TCJ</scope></search><sort><creationdate>2006</creationdate><title>基于有限状态机的错误诊断算法</title><author>赵保华 钱兰 周颢 郭雄辉</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c594-b117fe41ebdc387bcb623902853c957029b9ab8f2c7fcaf89363ff5c3b18c35b3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>chi</language><creationdate>2006</creationdate><topic>一致性测试</topic><topic>有限状态机</topic><topic>错误诊断</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>赵保华 钱兰 周颢 郭雄辉</creatorcontrib><collection>中文科技期刊数据库</collection><collection>中文科技期刊数据库-CALIS站点</collection><collection>中文科技期刊数据库-7.0平台</collection><collection>中文科技期刊数据库-工程技术</collection><collection>中文科技期刊数据库- 镜像站点</collection><collection>Wanfang Data Journals - Hong Kong</collection><collection>WANFANG Data Centre</collection><collection>Wanfang Data Journals</collection><collection>万方数据期刊 - 香港版</collection><collection>China Online Journals (COJ)</collection><collection>China Online Journals (COJ)</collection><jtitle>Dian zi yu xin xi xue bao = Journal of electronics &amp; information technology</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>赵保华 钱兰 周颢 郭雄辉</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>基于有限状态机的错误诊断算法</atitle><jtitle>Dian zi yu xin xi xue bao = Journal of electronics &amp; information technology</jtitle><addtitle>Journal of Electronics &amp; Information Technology</addtitle><date>2006</date><risdate>2006</risdate><volume>28</volume><issue>9</issue><spage>1679</spage><epage>1683</epage><pages>1679-1683</pages><issn>1009-5896</issn><abstract>基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后，如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下，提出了一种新的错误诊断算法，该算法利用已经确定正确的转换信息以及可疑转换的下一个输入／输出对的头状态集合等信息来高效地诊断单个错误。文中给出了与已有的错误诊断算法的比较结果，并且用一个具体的实例来详细描述本文提出的算法。</abstract><pub>中国科学技术大学计算机科学技术系中国科学院计算机科学重点实验室,合肥,230027</pub><tpages>5</tpages></addata></record>
fulltext fulltext
identifier ISSN: 1009-5896
ispartof Dian zi yu xin xi xue bao = Journal of electronics & information technology, 2006, Vol.28 (9), p.1679-1683
issn 1009-5896
language chi
recordid cdi_wanfang_journals_dzkxxk200609034
source Alma/SFX Local Collection
subjects 一致性测试
有限状态机
错误诊断
title 基于有限状态机的错误诊断算法
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-19T10%3A03%3A06IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-wanfang_jour_chong&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=%E5%9F%BA%E4%BA%8E%E6%9C%89%E9%99%90%E7%8A%B6%E6%80%81%E6%9C%BA%E7%9A%84%E9%94%99%E8%AF%AF%E8%AF%8A%E6%96%AD%E7%AE%97%E6%B3%95&rft.jtitle=Dian%20zi%20yu%20xin%20xi%20xue%20bao%20=%20Journal%20of%20electronics%20&%20information%20technology&rft.au=%E8%B5%B5%E4%BF%9D%E5%8D%8E%20%E9%92%B1%E5%85%B0%20%E5%91%A8%E9%A2%A2%20%E9%83%AD%E9%9B%84%E8%BE%89&rft.date=2006&rft.volume=28&rft.issue=9&rft.spage=1679&rft.epage=1683&rft.pages=1679-1683&rft.issn=1009-5896&rft_id=info:doi/&rft_dat=%3Cwanfang_jour_chong%3Edzkxxk200609034%3C/wanfang_jour_chong%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_cqvip_id=22749899&rft_wanfj_id=dzkxxk200609034&rfr_iscdi=true