Development of a debugger for a concurrent language
The authors discuss issues related to the debugging of concurrent programs. A set of desirable characteristics for a debugger for concurrent languages is deduced from a review of the differences between the debugging of concurrent programs and that of sequential ones. A debugger for concurrent langu...
Uložené v:
| Vydané v: | IEEE transactions on software engineering Ročník SE-12; číslo 4; s. 547 - 553 |
|---|---|
| Hlavní autori: | , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
New York, NY
IEEE
01.04.1986
Institute of Electrical and Electronics Engineers IEEE Computer Society |
| Predmet: | |
| ISSN: | 0098-5589, 1939-3520 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | The authors discuss issues related to the debugging of concurrent programs. A set of desirable characteristics for a debugger for concurrent languages is deduced from a review of the differences between the debugging of concurrent programs and that of sequential ones. A debugger for concurrent language based upon CSP is then described. The debugger makes it possible to compare a description of the expected program behavior to the actual behaviour. The description of the behavior is given in terms of expressions composed by events and/or assertions on the process state. The developed formalism is able to describe behaviors at various levels of abstraction. Lastly, some guidelines for the implementation of the debugger are given and a detailed example of program debugging is analyzed. |
|---|---|
| AbstractList | This work deals with some issues concerned in the debugging of concurrent programs. A set of desirable characteristics for a debugger for concurrent languages is deduced from a review of the differences between the debugging of concurrent programs and that of sequential ones. A debugger for a concurrent language, based upon CSP, is then described. The debugger makes it possible to compare a description of the expected program behavior to the actual behavior. The description of the behavior is given in terms of expressions composed by events and/or assertions on the process state. The authors discuss issues related to the debugging of concurrent programs. A set of desirable characteristics for a debugger for concurrent languages is deduced from a review of the differences between the debugging of concurrent programs and that of sequential ones. A debugger for concurrent language based upon CSP is then described. The debugger makes it possible to compare a description of the expected program behavior to the actual behaviour. The description of the behavior is given in terms of expressions composed by events and/or assertions on the process state. The developed formalism is able to describe behaviors at various levels of abstraction. Lastly, some guidelines for the implementation of the debugger are given and a detailed example of program debugging is analyzed. The widespread adoption of concurrent languages in software development has called attention to the need for an integrated set of tools to support such an activity. The present analysis focuses attention on some of the issues concerned in debugging concurrent programs. A set of desirable characteristics for a debugger of concurrent languages is deduced from a review of the differences between the debugging of concurrent programs and the debugging of sequential programs. A debugger for the concurrent language ECSP is described. The debugger makes it possible to compare a description of the expected program behavior to the actual program behavior. The description of the program behavior is given in terms of expressions composed by events or assertions on the process state. The developed formalism can describe behaviors at various levels of abstraction. Guidelines for implementation of the debugger are given. A detailed example of program debugging is also provided. This work deals with some issues concerned in the debugging of concurrent programs. A set of desirable characteristics for a debugger for concurrent languages is deduced from a review of the differences between the debugging of concurrent programs and that of sequential ones. A debugger for a concurrent language, based upon CSP, is then described. The debugger makes it possible to compare a description of the expected program behavior to the actual behavior. The description of the behavior is given in terms of expressions composed by events and/or assertions on the process state. The developed formalism is able to describe behaviors at various levels of abstraction. Lastly, some guidelines for the implementation of the debugger are given and a detailed example of program debugging is analyzed. (Author) |
| Author | De Francesco, N. Vaglini, G. Baiardi, F. |
| Author_xml | – sequence: 1 givenname: F. surname: Baiardi fullname: Baiardi, F. organization: Dipartimento di Inf., Pisa Univ., Italy – sequence: 2 givenname: N. surname: De Francesco fullname: De Francesco, N. organization: Dipartimento di Inf., Pisa Univ., Italy – sequence: 3 givenname: G. surname: Vaglini fullname: Vaglini, G. organization: Dipartimento di Inf., Pisa Univ., Italy |
| BackLink | http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=7901509$$DView record in Pascal Francis |
| BookMark | eNqNkc1LAzEQxYNUsH7cBS9FxNvWyWaT3RylfkLBg_UcstlJ2bLd1GRX8L83S1sPHtTTMMzvPWbmHZNR61ok5JzClFKQN4vX-ymVhZgKRlMJ6QEZU8lkwngKIzIGkEXCeSGPyHEIKwDgec7HhN3hBzZus8a2mzg70ZMKy365RD-xzsfWuNb03g_jRrfLXi_xlBxa3QQ829UT8vZwv5g9JfOXx-fZ7TwxGcu7hFKDtIScZxXyCo2opLYVQGGt1MaIDCq0RucgGLBSZsaWnGmdC0RZFjljJ-R667vx7r3H0Kl1HQw2cQ90fVCMUwFAxZ9gmgETLC3-B6ZycLz8Aa5c79t4raIyvjG-L43Q1Q7SwejGet2aOqiNr9faf6pcAuUgIya2mPEuBI9WmbrTXe3azuu6URTUkKCKCaohQbVLMArhh3Bv_YvkYiupEfEb30-_APWHpsE |
| CODEN | IESEDJ |
| CitedBy_id | crossref_primary_10_1016_0950_5849_90_90113_6 crossref_primary_10_1016_j_jss_2013_10_056 crossref_primary_10_1049_ip_sen_19970972 crossref_primary_10_1016_0141_9331_87_90339_5 crossref_primary_10_1109_32_368136 crossref_primary_10_1145_76894_76897 crossref_primary_10_1016_0165_6074_88_90375_4 crossref_primary_10_1109_71_285605 crossref_primary_10_1016_0167_739X_94_00062_J crossref_primary_10_1109_43_55196 crossref_primary_10_1109_32_9044 crossref_primary_10_1016_0096_0551_92_90001_4 crossref_primary_10_1016_0140_3664_94_90039_6 crossref_primary_10_1109_TC_1987_1676929 crossref_primary_10_1109_52_542297 crossref_primary_10_1016_0141_9331_88_90033_6 |
| ContentType | Journal Article |
| Copyright | 1987 INIST-CNRS Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Apr 1986 |
| Copyright_xml | – notice: 1987 INIST-CNRS – notice: Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Apr 1986 |
| DBID | AAYXX CITATION IQODW JQ2 K9. 7SC 8FD L7M L~C L~D H8D 7SP F28 FR3 |
| DOI | 10.1109/TSE.1986.6312902 |
| DatabaseName | CrossRef Pascal-Francis ProQuest Computer Science Collection ProQuest Health & Medical Complete (Alumni) Computer and Information Systems Abstracts Technology Research Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Aerospace Database Electronics & Communications Abstracts ANTE: Abstracts in New Technology & Engineering Engineering Research Database |
| DatabaseTitle | CrossRef ProQuest Health & Medical Complete (Alumni) ProQuest Computer Science Collection Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional Aerospace Database Electronics & Communications Abstracts Engineering Research Database ANTE: Abstracts in New Technology & Engineering |
| DatabaseTitleList | Computer and Information Systems Abstracts Technology Research Database ProQuest Health & Medical Complete (Alumni) Technology Research Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science Applied Sciences |
| EISSN | 1939-3520 |
| EndPage | 553 |
| ExternalDocumentID | 1143494 7901509 10_1109_TSE_1986_6312902 6312902 |
| Genre | orig-research |
| GroupedDBID | --Z -DZ -~X .4S .DC 0R~ 29I 3EH 4.4 5GY 5VS 6IK 7WY 7X7 85S 88E 88I 8FE 8FG 8FI 8FJ 8FL 8G5 8R4 8R5 97E 9M8 AAJGR AARMG AASAJ AAWTH ABAZT ABFSI ABJCF ABPPZ ABQJQ ABUWG ABVLG ACGFO ACGOD ACIWK ACNCT ADBBV AENEX AETIX AFKRA AGQYO AGSQL AHBIQ AI. AIBXA AKJIK AKQYR ALLEH ALMA_UNASSIGNED_HOLDINGS ARAPS ARCSS ASUFR ATWAV AZQEC BEFXN BENPR BEZIV BFFAM BGLVJ BGNUA BKEBE BKOMP BPEOZ BPHCQ BVXVI CCPQU CS3 DU5 DWQXO E.L EBS EDO EJD FRNLG FYUFA GNUQQ GROUPED_ABI_INFORM_RESEARCH GUQSH HCIFZ HMCUK HZ~ H~9 I-F IBMZZ ICLAB IEDLZ IFIPE IFJZH IPLJI ITG ITH JAVBF K60 K6V K6~ K7- L6V LAI M0C M1P M1Q M2O M2P M43 M7S MS~ O9- OCL OHT P2P P62 PHGZM PHGZT PJZUB PPXIY PQBIZ PQBZA PQGLB PQQKQ PROAC PSQYO PTHSS PUEGO Q2X RIA RIE RNI RNS RXW RZB S10 TAE TN5 TWZ UHB UKHRP UPT UQL VH1 WH7 XOL YYP YZZ ZCG AAYXX AFFHD CITATION AAYOK ALIPV IQODW RIG JQ2 K9. 7SC 8FD L7M L~C L~D H8D 7SP F28 FR3 |
| ID | FETCH-LOGICAL-c437t-11ce1b0754de5dec6d9afd008ff9acc640defca706303b94cfb53aa76ee9b8733 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 25 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=10_1109_TSE_1986_6312902&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0098-5589 |
| IngestDate | Sun Sep 28 11:28:22 EDT 2025 Sat Sep 27 21:49:18 EDT 2025 Thu Oct 02 06:17:38 EDT 2025 Sun Nov 30 05:20:21 EST 2025 Wed Apr 02 07:18:32 EDT 2025 Sat Nov 29 03:10:22 EST 2025 Tue Nov 18 22:05:37 EST 2025 Wed Aug 27 02:47:42 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 4 |
| Keywords | Software tool Distributed system Concurrent language Program specification Concurrent Debugging |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html CC BY 4.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c437t-11ce1b0754de5dec6d9afd008ff9acc640defca706303b94cfb53aa76ee9b8733 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 content type line 14 ObjectType-Article-2 ObjectType-Feature-1 content type line 23 |
| PQID | 195580052 |
| PQPubID | 23500 |
| PageCount | 7 |
| ParticipantIDs | proquest_miscellaneous_35160016 proquest_journals_195580052 crossref_citationtrail_10_1109_TSE_1986_6312902 proquest_miscellaneous_24036328 crossref_primary_10_1109_TSE_1986_6312902 ieee_primary_6312902 proquest_miscellaneous_24036296 pascalfrancis_primary_7901509 |
| PublicationCentury | 1900 |
| PublicationDate | 1986-04-01 |
| PublicationDateYYYYMMDD | 1986-04-01 |
| PublicationDate_xml | – month: 04 year: 1986 text: 1986-04-01 day: 01 |
| PublicationDecade | 1980 |
| PublicationPlace | New York, NY |
| PublicationPlace_xml | – name: New York, NY – name: New York |
| PublicationTitle | IEEE transactions on software engineering |
| PublicationTitleAbbrev | TSE |
| PublicationYear | 1986 |
| Publisher | IEEE Institute of Electrical and Electronics Engineers IEEE Computer Society |
| Publisher_xml | – name: IEEE – name: Institute of Electrical and Electronics Engineers – name: IEEE Computer Society |
| SSID | ssj0005775 |
| Score | 1.4299031 |
| Snippet | The authors discuss issues related to the debugging of concurrent programs. A set of desirable characteristics for a debugger for concurrent languages is... The widespread adoption of concurrent languages in software development has called attention to the need for an integrated set of tools to support such an... This work deals with some issues concerned in the debugging of concurrent programs. A set of desirable characteristics for a debugger for concurrent languages... |
| SourceID | proquest pascalfrancis crossref ieee |
| SourceType | Aggregation Database Index Database Enrichment Source Publisher |
| StartPage | 547 |
| SubjectTerms | Applied sciences Computer programming Computer science; control theory; systems Concurrent programming Debugging Delay Design Exact sciences and technology Parallel processing Process control program specifications programming environment Programming languages Programs Radiation detectors Runtime Semantics Software tool transparency Utility programs |
| Title | Development of a debugger for a concurrent language |
| URI | https://ieeexplore.ieee.org/document/6312902 https://www.proquest.com/docview/195580052 https://www.proquest.com/docview/24036296 https://www.proquest.com/docview/24036328 https://www.proquest.com/docview/35160016 |
| Volume | SE-12 |
| WOSCitedRecordID | wos10_1109_TSE_1986_6312902&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVIEE databaseName: IEL customDbUrl: eissn: 1939-3520 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0005775 issn: 0098-5589 databaseCode: RIE dateStart: 19750101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlR3LTsMwzBoTBy4MGIgyBj1wQaJbuzRJc0RoiAOakBjSblWSOhMS2tAefD9JXzDxEre2caLUj9hxHBvgIkGkUhoVSB6pIDbEBQHEYSAZNVoTRpXMKX3PR6NkMhEPDbiq78IgYh58hj33mJ_lZ3O9dq6yPiPOa2IX3C3OWXFX6yOcg3Na5cekNBHVkWQo-uPHYc_urVmv7L-hgvKaKi4iUi4tUkxRzeLLwpxrm9vW_-a5B7ulVelfF2ywDw2cHUCrqtjglwLcBvIpRsifG1_6Gar1dGphrPFqX-3uWBcZm_zKk3kIT7fD8c1dUJZNCHRM-CqIIo2RsqZAnCHNULNMSJNZXW-MkFqzOMzQaMldti2iRKyNokRKzhCFSjghR9CczWd4DD6RkVBKJbEdMiYqkwNjtDVZDIYCByLxoF9hMtVlTnFX2uIlzfcWoUgt7lOH-7TEiQeXdY_XIp_GL7Bth9sarv7c3SBW3c5z943woFMRLy0FcmnHtUzhfOAenNetVpLc8Yic4Xy9TF1mQjYQ7A8IMkh-hiA0chYkO_l-6h3YcT9YRP6cQnO1WGMXtvXb6nm5OMsZ-h3ndvTJ |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3dS8MwED_GFPTFrynOOdcHXwS7tUuTNI8iiuIcghP2VpL0MgTZxG3-_Sb9UvEL39rmeiSXXHK5XH4HcBwjUimN8iUPlR8Z4oIAosCXjBqtCaNKZj094MNhPB6LuxqcVndhEDELPsOue8zO8tOZXjpXWY8R5zWxE-6Ky5xV3NZ6D-jgnJYImZTGojyUDERvdH_Rtbtr1i04fFqEsqwqLiZSzq1YTJ7P4svUnK03l5v_q-kWbBR2pXeWD4RtqOF0BzbLnA1eocINIB-ihLyZ8aSXolpOJpbGmq_21e6PdY7Z5JW-zF14uLwYnV_5ReIEX0eEL_ww1BgqawxEKdIUNUuFNKld7Y0RUmsWBSkaLbnD2yJKRNooSqTkDFGomBOyB_XpbIr74BEZCqVUHFmWEVGp7BujrdFiMBDYF3ETeqUkE12girvkFk9JtrsIRGJlnzjZJ4VMmnBS_fGcI2r8Qttwsq3oqs_tT51VlfPMgSOa0Co7LylUcm752kHhvOBN6FSlVpfcAYmc4mw5Txw2IesL9gcF6cc_UxAaOhuSHXxf9Q6sXY1uB8ngenjTgnXX2DwO6BDqi5cltmFVvy4e5y9H2eB-A8fR-BI |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Development+of+a+debugger+for+a+concurrent+language&rft.jtitle=IEEE+transactions+on+software+engineering&rft.au=Baiardi%2C+F&rft.au=de+Francesco%2C+N&rft.au=Vaglini%2C+G&rft.date=1986-04-01&rft.issn=0098-5589&rft.volume=SE-12&rft.issue=4&rft.spage=547&rft.epage=553&rft_id=info:doi/10.1109%2FTSE.1986.6312902&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0098-5589&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0098-5589&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0098-5589&client=summon |