Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor

Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor

VeriSoft is a tool for systematically exploring the state spaces of systems composed of several concurrent processes executing arbitrary code written in full-fledged programming languages, such as C or C++. Using VeriSoft, we analyzed the 4ESS™ switch Heart-Beat Monitor (HBM), a telephone switching...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Bell Labs technical journal 1998-04, Vol.3 (2), p.32-46
Hauptverfasser: Godefroid, Patrice, Hanmer, Robert S., Jagadeesan, Lalita Jategaonkar
Format: Artikel
Sprache:eng
Schlagworte:
Applied sciences
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Exact sciences and technology
Software
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 46
container_issue 2
container_start_page 32
container_title Bell Labs technical journal
container_volume 3
creator Godefroid, Patrice
Hanmer, Robert S.
Jagadeesan, Lalita Jategaonkar
description VeriSoft is a tool for systematically exploring the state spaces of systems composed of several concurrent processes executing arbitrary code written in full-fledged programming languages, such as C or C++. Using VeriSoft, we analyzed the 4ESS™ switch Heart-Beat Monitor (HBM), a telephone switching application developed at Lucent Technologies. The 4ESS HBM plays an important role in routing data in the switch and can significantly affect switch performance. Since VeriSoft automatically generates, executes, and evaluates thousands of tests per minute and has complete control over nondeterminism, our analysis revealed HBM behavior that is virtually impossible to detect or test in a traditional lab testing environment. Specifically, we discovered flaws in the existing documentation for this application and unexpected behaviors in the software itself. These results are being used as the basis for an improved design of the HBM software in the 4ESS switch.
doi_str_mv 10.1002/bltj.2103
format Article
fullrecord <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_pascalfrancis_primary_2404083</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6772899</ieee_id><sourcerecordid>30772879</sourcerecordid><originalsourceid>FETCH-LOGICAL-c341t-23dd3bb144e0f8c61a3967dd2bf26217f24d7b41777733962c6aa9d9a37b7383</originalsourceid><addsrcrecordid>eNo9kLFOwzAQhiMEEqUwMLNYiIUhxfY5cTJWUApSBUOqglgsJ7FpSpoU2xV050l4NJ4ER616w91J_3e_Tn8QnBM8IBjTm7x2iwElGA6CHokgCTng6NDvOElD7ttxcGLtAmNCUs56wVu2sU4tpasKZFvtvqRRyCnrquYdrW3XZ8pUmZdQiIYNko2sN7ayqNXIzRVioyz7-_lFcyWNC3MlHVq2TeVacxocaVlbdbab_WB6P5rePoST5_Hj7XASFsCICymUJeQ5YUxhnRQxkZDGvCxprmlMCdeUlTxnhPsCL9EiljItUwk855BAP7jc2q5M-7n2n4tFuzb-SysoISRKIGYeut5ChWmtNUqLlamW0mwEwaILTnTBiS44z17tDKUtZK2NbIrK7g8owwwnHRZuscoH-L2XpfkQMQceiZensbgDgNdZTAT3_MWOV0rt8ZhzmqQp_ANXRoUx</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>211158364</pqid></control><display><type>article</type><title>Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor</title><source>IEEE Electronic Library (IEL)</source><creator>Godefroid, Patrice ; Hanmer, Robert S. ; Jagadeesan, Lalita Jategaonkar</creator><creatorcontrib>Godefroid, Patrice ; Hanmer, Robert S. ; Jagadeesan, Lalita Jategaonkar</creatorcontrib><description>VeriSoft is a tool for systematically exploring the state spaces of systems composed of several concurrent processes executing arbitrary code written in full-fledged programming languages, such as C or C++. Using VeriSoft, we analyzed the 4ESS™ switch Heart-Beat Monitor (HBM), a telephone switching application developed at Lucent Technologies. The 4ESS HBM plays an important role in routing data in the switch and can significantly affect switch performance. Since VeriSoft automatically generates, executes, and evaluates thousands of tests per minute and has complete control over nondeterminism, our analysis revealed HBM behavior that is virtually impossible to detect or test in a traditional lab testing environment. Specifically, we discovered flaws in the existing documentation for this application and unexpected behaviors in the software itself. These results are being used as the basis for an improved design of the HBM software in the 4ESS switch.</description><identifier>ISSN: 1089-7089</identifier><identifier>EISSN: 1538-7305</identifier><identifier>DOI: 10.1002/bltj.2103</identifier><identifier>CODEN: BLTJFD</identifier><language>eng</language><publisher>New York: IEEE</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Computer systems and distributed systems. User interface ; Exact sciences and technology ; Software</subject><ispartof>Bell Labs technical journal, 1998-04, Vol.3 (2), p.32-46</ispartof><rights>1998 INIST-CNRS</rights><rights>Copyright Lucent Technologies Apr-Jun 1998</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c341t-23dd3bb144e0f8c61a3967dd2bf26217f24d7b41777733962c6aa9d9a37b7383</citedby><cites>FETCH-LOGICAL-c341t-23dd3bb144e0f8c61a3967dd2bf26217f24d7b41777733962c6aa9d9a37b7383</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6772899$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,780,784,796,27924,27925,54758</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6772899$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&amp;idt=2404083$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Godefroid, Patrice</creatorcontrib><creatorcontrib>Hanmer, Robert S.</creatorcontrib><creatorcontrib>Jagadeesan, Lalita Jategaonkar</creatorcontrib><title>Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor</title><title>Bell Labs technical journal</title><addtitle>BLTJ</addtitle><addtitle>Bell Labs Tech. J</addtitle><description>VeriSoft is a tool for systematically exploring the state spaces of systems composed of several concurrent processes executing arbitrary code written in full-fledged programming languages, such as C or C++. Using VeriSoft, we analyzed the 4ESS™ switch Heart-Beat Monitor (HBM), a telephone switching application developed at Lucent Technologies. The 4ESS HBM plays an important role in routing data in the switch and can significantly affect switch performance. Since VeriSoft automatically generates, executes, and evaluates thousands of tests per minute and has complete control over nondeterminism, our analysis revealed HBM behavior that is virtually impossible to detect or test in a traditional lab testing environment. Specifically, we discovered flaws in the existing documentation for this application and unexpected behaviors in the software itself. These results are being used as the basis for an improved design of the HBM software in the 4ESS switch.</description><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Computer systems and distributed systems. User interface</subject><subject>Exact sciences and technology</subject><subject>Software</subject><issn>1089-7089</issn><issn>1538-7305</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1998</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNo9kLFOwzAQhiMEEqUwMLNYiIUhxfY5cTJWUApSBUOqglgsJ7FpSpoU2xV050l4NJ4ER616w91J_3e_Tn8QnBM8IBjTm7x2iwElGA6CHokgCTng6NDvOElD7ttxcGLtAmNCUs56wVu2sU4tpasKZFvtvqRRyCnrquYdrW3XZ8pUmZdQiIYNko2sN7ayqNXIzRVioyz7-_lFcyWNC3MlHVq2TeVacxocaVlbdbab_WB6P5rePoST5_Hj7XASFsCICymUJeQ5YUxhnRQxkZDGvCxprmlMCdeUlTxnhPsCL9EiljItUwk855BAP7jc2q5M-7n2n4tFuzb-SysoISRKIGYeut5ChWmtNUqLlamW0mwEwaILTnTBiS44z17tDKUtZK2NbIrK7g8owwwnHRZuscoH-L2XpfkQMQceiZensbgDgNdZTAT3_MWOV0rt8ZhzmqQp_ANXRoUx</recordid><startdate>19980401</startdate><enddate>19980401</enddate><creator>Godefroid, Patrice</creator><creator>Hanmer, Robert S.</creator><creator>Jagadeesan, Lalita Jategaonkar</creator><general>IEEE</general><general>Wiley Subscription Services, Inc., A Wiley Company</general><general>Lucent Technologies</general><scope>RIA</scope><scope>RIE</scope><scope>BSCLL</scope><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7SP</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19980401</creationdate><title>Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor</title><author>Godefroid, Patrice ; Hanmer, Robert S. ; Jagadeesan, Lalita Jategaonkar</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c341t-23dd3bb144e0f8c61a3967dd2bf26217f24d7b41777733962c6aa9d9a37b7383</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1998</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Computer systems and distributed systems. User interface</topic><topic>Exact sciences and technology</topic><topic>Software</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Godefroid, Patrice</creatorcontrib><creatorcontrib>Hanmer, Robert S.</creatorcontrib><creatorcontrib>Jagadeesan, Lalita Jategaonkar</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>Istex</collection><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics &amp; Communications Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Bell Labs technical journal</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Godefroid, Patrice</au><au>Hanmer, Robert S.</au><au>Jagadeesan, Lalita Jategaonkar</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor</atitle><jtitle>Bell Labs technical journal</jtitle><stitle>BLTJ</stitle><addtitle>Bell Labs Tech. J</addtitle><date>1998-04-01</date><risdate>1998</risdate><volume>3</volume><issue>2</issue><spage>32</spage><epage>46</epage><pages>32-46</pages><issn>1089-7089</issn><eissn>1538-7305</eissn><coden>BLTJFD</coden><abstract>VeriSoft is a tool for systematically exploring the state spaces of systems composed of several concurrent processes executing arbitrary code written in full-fledged programming languages, such as C or C++. Using VeriSoft, we analyzed the 4ESS™ switch Heart-Beat Monitor (HBM), a telephone switching application developed at Lucent Technologies. The 4ESS HBM plays an important role in routing data in the switch and can significantly affect switch performance. Since VeriSoft automatically generates, executes, and evaluates thousands of tests per minute and has complete control over nondeterminism, our analysis revealed HBM behavior that is virtually impossible to detect or test in a traditional lab testing environment. Specifically, we discovered flaws in the existing documentation for this application and unexpected behaviors in the software itself. These results are being used as the basis for an improved design of the HBM software in the 4ESS switch.</abstract><cop>New York</cop><pub>IEEE</pub><doi>10.1002/bltj.2103</doi><tpages>15</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 1089-7089
ispartof Bell Labs technical journal, 1998-04, Vol.3 (2), p.32-46
issn 1089-7089
1538-7305
language eng
recordid cdi_pascalfrancis_primary_2404083
source IEEE Electronic Library (IEL)
subjects Applied sciences
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Exact sciences and technology
Software
title Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-19T20%3A14%3A32IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Systematic%20software%20testing%20using%20VeriSoft%20-%20An%20analysis%20of%20the%204ESS%E2%84%A2%20heart-beat%20monitor&rft.jtitle=Bell%20Labs%20technical%20journal&rft.au=Godefroid,%20Patrice&rft.date=1998-04-01&rft.volume=3&rft.issue=2&rft.spage=32&rft.epage=46&rft.pages=32-46&rft.issn=1089-7089&rft.eissn=1538-7305&rft.coden=BLTJFD&rft_id=info:doi/10.1002/bltj.2103&rft_dat=%3Cproquest_RIE%3E30772879%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=211158364&rft_id=info:pmid/&rft_ieee_id=6772899&rfr_iscdi=true