<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.0 20120330//EN" "JATS-journalpublishing1.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article"><front><journal-meta><journal-id journal-id-type="publisher-id">INFORMATICA</journal-id><journal-title-group><journal-title>Informatica</journal-title></journal-title-group><issn pub-type="epub">0868-4952</issn><issn pub-type="ppub">0868-4952</issn><publisher><publisher-name>VU</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="publisher-id">inf22308</article-id><article-id pub-id-type="doi">10.15388/Informatica.2011.336</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research article</subject></subj-group></article-categories><title-group><article-title>A DFSM-Based Protocol Conformance Testing and Diagnosing Method</article-title></title-group><contrib-group><contrib contrib-type="Author"><name><surname>Zhang</surname><given-names>Xinchang</given-names></name><email xlink:href="mailto:xinczhang@hotmail.com">xinczhang@hotmail.com</email><xref ref-type="aff" rid="j_INFORMATICA_aff_000"/></contrib><contrib contrib-type="Author"><name><surname>Yang</surname><given-names>Meihong</given-names></name><email xlink:href="mailto:yangmh@keylab.net">yangmh@keylab.net</email><xref ref-type="aff" rid="j_INFORMATICA_aff_000"/></contrib><contrib contrib-type="Author"><name><surname>Geng</surname><given-names>Guanggang</given-names></name><email xlink:href="mailto:gengguanggang@cnnic.cn">gengguanggang@cnnic.cn</email><xref ref-type="aff" rid="j_INFORMATICA_aff_001"/></contrib><contrib contrib-type="Author"><name><surname>Luo</surname><given-names>Wanming</given-names></name><email xlink:href="mailto:lwm@cnic.cn">lwm@cnic.cn</email><xref ref-type="aff" rid="j_INFORMATICA_aff_001"/></contrib><aff id="j_INFORMATICA_aff_000">Shandong Key Laboratory of Computer Networks, Shandong Computer Science Center, Jinan 250014, China</aff><aff id="j_INFORMATICA_aff_001">Computer Network Information Center, Chinese Academy of Sciences, Beijing 100049, China</aff></contrib-group><pub-date pub-type="epub"><day>01</day><month>01</month><year>2011</year></pub-date><volume>22</volume><issue>3</issue><fpage>447</fpage><lpage>469</lpage><history><date date-type="received"><day>01</day><month>04</month><year>2010</year></date><date date-type="accepted"><day>01</day><month>05</month><year>2011</year></date></history><abstract><p>In the protocol conformance testing, many existing test methods can effectively detect the possible faults of the implementation under test. However, it is difficult to diagnose the found faults in terms of the test results. This paper presents a diagnosable input/output (DIO) sequence, to differentiate a state from other states under a given condition. We further propose a two-tier protocol conformance testing and diagnosing method based on DIO sequences. The proposed method can effectively detect and diagnose the possible faults of the implementation of a protocol.</p></abstract><kwd-group><label>Keywords</label><kwd>protocol conformance testing</kwd><kwd>fault detection</kwd><kwd>fault diagnosis</kwd><kwd>DFSM model</kwd></kwd-group></article-meta></front></article>