Verification of switching program by object oriented simulator
An object-oriented switching program verification system is presented, focusing on the basic concept and implementation of the system. The system consists of three basic functions: a model of the switching system, a simulation-control mechanism and a verification mechanism. The object-oriented appro...
Gespeichert in:
| Hauptverfasser: | , , , , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 300 |
|---|---|
| container_issue | |
| container_start_page | 296 |
| container_title | |
| container_volume | |
| creator | Yamazaki, J. Fujii, Y. Kakemizu, M. Iwami, Y. Kishida, T. Kiyokane, Y. |
| description | An object-oriented switching program verification system is presented, focusing on the basic concept and implementation of the system. The system consists of three basic functions: a model of the switching system, a simulation-control mechanism and a verification mechanism. The object-oriented approach makes the model valid and flexible. A simulation algorithm is based on reachability analysis. The system can find internal logical contradictions of a program by observing the behavior of the model and comparing the behavior with formalized verification rules called DEMON. The system also outputs state transition diagrams and state tables that make service verification easy. An evaluation of the system shows that it can verify 93% of logical errors automatically and help a tester to find 87% of service errors.< > |
| doi_str_mv | 10.1109/PCCC.1988.10088 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_10088</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>10088</ieee_id><sourcerecordid>10088</sourcerecordid><originalsourceid>FETCH-LOGICAL-i86t-bb23f62492e0eea3c41017057b3ac8915c8cd9939627076af9255e27d4db5a213</originalsourceid><addsrcrecordid>eNotj01LxDAUAAMiKGvP4i1_oPUlaZOXiyDFL1jQw-J1SdLXNcu2WdKI7L9X1NPchhnGrgU0QoC9fev7vhEWsREAiGessgYBBWpABXjBqmXZA4AwWqHES3b3TjmOMbgS08zTyJevWMJHnHf8mNMuu4n7E09-T6HwlCPNhQa-xOnz4ErKV-x8dIeFqn-u2ObxYdM_1-vXp5f-fl1H1KX2XqpRy9ZKAiKnQit-CqAzXrmAVnQBw2CtsloaMNqNVnYdSTO0g--cFGrFbv60kYi2xxwnl0_b30X1DexyRos</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Verification of switching program by object oriented simulator</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Yamazaki, J. ; Fujii, Y. ; Kakemizu, M. ; Iwami, Y. ; Kishida, T. ; Kiyokane, Y.</creator><creatorcontrib>Yamazaki, J. ; Fujii, Y. ; Kakemizu, M. ; Iwami, Y. ; Kishida, T. ; Kiyokane, Y.</creatorcontrib><description>An object-oriented switching program verification system is presented, focusing on the basic concept and implementation of the system. The system consists of three basic functions: a model of the switching system, a simulation-control mechanism and a verification mechanism. The object-oriented approach makes the model valid and flexible. A simulation algorithm is based on reachability analysis. The system can find internal logical contradictions of a program by observing the behavior of the model and comparing the behavior with formalized verification rules called DEMON. The system also outputs state transition diagrams and state tables that make service verification easy. An evaluation of the system shows that it can verify 93% of logical errors automatically and help a tester to find 87% of service errors.< ></description><identifier>ISBN: 9780818608308</identifier><identifier>ISBN: 0818608307</identifier><identifier>DOI: 10.1109/PCCC.1988.10088</identifier><language>eng</language><publisher>IEEE Comput. Soc. Press</publisher><subject>Automatic testing ; Communication switching ; Computational modeling ; Costs ; Object oriented modeling ; Power system reliability ; Speech analysis ; Switching systems ; System testing ; Telecommunication switching</subject><ispartof>Seventh Annual International Phoenix Conference on Computers an Communications. 1988 Conference Proceedings, 1988, p.296-300</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/10088$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2052,4036,4037,27902,54895</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/10088$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Yamazaki, J.</creatorcontrib><creatorcontrib>Fujii, Y.</creatorcontrib><creatorcontrib>Kakemizu, M.</creatorcontrib><creatorcontrib>Iwami, Y.</creatorcontrib><creatorcontrib>Kishida, T.</creatorcontrib><creatorcontrib>Kiyokane, Y.</creatorcontrib><title>Verification of switching program by object oriented simulator</title><title>Seventh Annual International Phoenix Conference on Computers an Communications. 1988 Conference Proceedings</title><addtitle>PCCC</addtitle><description>An object-oriented switching program verification system is presented, focusing on the basic concept and implementation of the system. The system consists of three basic functions: a model of the switching system, a simulation-control mechanism and a verification mechanism. The object-oriented approach makes the model valid and flexible. A simulation algorithm is based on reachability analysis. The system can find internal logical contradictions of a program by observing the behavior of the model and comparing the behavior with formalized verification rules called DEMON. The system also outputs state transition diagrams and state tables that make service verification easy. An evaluation of the system shows that it can verify 93% of logical errors automatically and help a tester to find 87% of service errors.< ></description><subject>Automatic testing</subject><subject>Communication switching</subject><subject>Computational modeling</subject><subject>Costs</subject><subject>Object oriented modeling</subject><subject>Power system reliability</subject><subject>Speech analysis</subject><subject>Switching systems</subject><subject>System testing</subject><subject>Telecommunication switching</subject><isbn>9780818608308</isbn><isbn>0818608307</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1988</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotj01LxDAUAAMiKGvP4i1_oPUlaZOXiyDFL1jQw-J1SdLXNcu2WdKI7L9X1NPchhnGrgU0QoC9fev7vhEWsREAiGessgYBBWpABXjBqmXZA4AwWqHES3b3TjmOMbgS08zTyJevWMJHnHf8mNMuu4n7E09-T6HwlCPNhQa-xOnz4ErKV-x8dIeFqn-u2ObxYdM_1-vXp5f-fl1H1KX2XqpRy9ZKAiKnQit-CqAzXrmAVnQBw2CtsloaMNqNVnYdSTO0g--cFGrFbv60kYi2xxwnl0_b30X1DexyRos</recordid><startdate>1988</startdate><enddate>1988</enddate><creator>Yamazaki, J.</creator><creator>Fujii, Y.</creator><creator>Kakemizu, M.</creator><creator>Iwami, Y.</creator><creator>Kishida, T.</creator><creator>Kiyokane, Y.</creator><general>IEEE Comput. Soc. Press</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>1988</creationdate><title>Verification of switching program by object oriented simulator</title><author>Yamazaki, J. ; Fujii, Y. ; Kakemizu, M. ; Iwami, Y. ; Kishida, T. ; Kiyokane, Y.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i86t-bb23f62492e0eea3c41017057b3ac8915c8cd9939627076af9255e27d4db5a213</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1988</creationdate><topic>Automatic testing</topic><topic>Communication switching</topic><topic>Computational modeling</topic><topic>Costs</topic><topic>Object oriented modeling</topic><topic>Power system reliability</topic><topic>Speech analysis</topic><topic>Switching systems</topic><topic>System testing</topic><topic>Telecommunication switching</topic><toplevel>online_resources</toplevel><creatorcontrib>Yamazaki, J.</creatorcontrib><creatorcontrib>Fujii, Y.</creatorcontrib><creatorcontrib>Kakemizu, M.</creatorcontrib><creatorcontrib>Iwami, Y.</creatorcontrib><creatorcontrib>Kishida, T.</creatorcontrib><creatorcontrib>Kiyokane, Y.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Yamazaki, J.</au><au>Fujii, Y.</au><au>Kakemizu, M.</au><au>Iwami, Y.</au><au>Kishida, T.</au><au>Kiyokane, Y.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Verification of switching program by object oriented simulator</atitle><btitle>Seventh Annual International Phoenix Conference on Computers an Communications. 1988 Conference Proceedings</btitle><stitle>PCCC</stitle><date>1988</date><risdate>1988</risdate><spage>296</spage><epage>300</epage><pages>296-300</pages><isbn>9780818608308</isbn><isbn>0818608307</isbn><abstract>An object-oriented switching program verification system is presented, focusing on the basic concept and implementation of the system. The system consists of three basic functions: a model of the switching system, a simulation-control mechanism and a verification mechanism. The object-oriented approach makes the model valid and flexible. A simulation algorithm is based on reachability analysis. The system can find internal logical contradictions of a program by observing the behavior of the model and comparing the behavior with formalized verification rules called DEMON. The system also outputs state transition diagrams and state tables that make service verification easy. An evaluation of the system shows that it can verify 93% of logical errors automatically and help a tester to find 87% of service errors.< ></abstract><pub>IEEE Comput. Soc. Press</pub><doi>10.1109/PCCC.1988.10088</doi><tpages>5</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISBN: 9780818608308 |
| ispartof | Seventh Annual International Phoenix Conference on Computers an Communications. 1988 Conference Proceedings, 1988, p.296-300 |
| issn | |
| language | eng |
| recordid | cdi_ieee_primary_10088 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Automatic testing Communication switching Computational modeling Costs Object oriented modeling Power system reliability Speech analysis Switching systems System testing Telecommunication switching |
| title | Verification of switching program by object oriented simulator |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-08T07%3A22%3A08IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Verification%20of%20switching%20program%20by%20object%20oriented%20simulator&rft.btitle=Seventh%20Annual%20International%20Phoenix%20Conference%20on%20Computers%20an%20Communications.%201988%20Conference%20Proceedings&rft.au=Yamazaki,%20J.&rft.date=1988&rft.spage=296&rft.epage=300&rft.pages=296-300&rft.isbn=9780818608308&rft.isbn_list=0818608307&rft_id=info:doi/10.1109/PCCC.1988.10088&rft_dat=%3Cieee_6IE%3E10088%3C/ieee_6IE%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_ieee_id=10088&rfr_iscdi=true |