SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink
Finding bugs in commercial cyber-physical system development tools (or "model-based design" tools) such as MathWorks's Simulink is important in practice, as these tools are widely used to generate embedded code that gets deployed in safety-critical applications such as cars and planes...
Gespeichert in:
| Veröffentlicht in: | 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) S. 335 - 346 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Tagungsbericht |
| Sprache: | Englisch |
| Veröffentlicht: |
ACM
01.10.2020
|
| Schlagworte: | |
| ISSN: | 1558-1225 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | Finding bugs in commercial cyber-physical system development tools (or "model-based design" tools) such as MathWorks's Simulink is important in practice, as these tools are widely used to generate embedded code that gets deployed in safety-critical applications such as cars and planes. Equivalence Modulo Input (EMI) based mutation is a new twist on differential testing that promises lower use of computational resources and has already been successful at finding bugs in compilers for procedural languages. To provide EMI-based mutation for differential testing of cyber-physical system (CPS) development tools, this paper develops several novel mutation techniques. These techniques deal with CPS language features that are not found in procedural languages, such as an explicit notion of execution time and zombie code, which combines properties of live and dead procedural code. In our experiments the most closely related work (SLforge) found two bugs in the Simulink tool. In comparison, SLEMI found a super-set of issues, including 9 confirmed as bugs by MathWorks Support. |
|---|---|
| AbstractList | Finding bugs in commercial cyber-physical system development tools (or "model-based design" tools) such as MathWorks's Simulink is important in practice, as these tools are widely used to generate embedded code that gets deployed in safety-critical applications such as cars and planes. Equivalence Modulo Input (EMI) based mutation is a new twist on differential testing that promises lower use of computational resources and has already been successful at finding bugs in compilers for procedural languages. To provide EMI-based mutation for differential testing of cyber-physical system (CPS) development tools, this paper develops several novel mutation techniques. These techniques deal with CPS language features that are not found in procedural languages, such as an explicit notion of execution time and zombie code, which combines properties of live and dead procedural code. In our experiments the most closely related work (SLforge) found two bugs in the Simulink tool. In comparison, SLEMI found a super-set of issues, including 9 confirmed as bugs by MathWorks Support. |
| Author | Johnson, Taylor T. Shrestha, Sohil Lal Csallner, Christoph Chowdhury, Shafiul Azam |
| Author_xml | – sequence: 1 givenname: Shafiul Azam surname: Chowdhury fullname: Chowdhury, Shafiul Azam organization: University of Texas at Arlington,Computer Science and Engineering Department,Arlington,Texas,USA – sequence: 2 givenname: Sohil Lal surname: Shrestha fullname: Shrestha, Sohil Lal organization: University of Texas at Arlington,Computer Science and Engineering Department,Arlington,Texas,USA – sequence: 3 givenname: Taylor T. surname: Johnson fullname: Johnson, Taylor T. organization: Vanderbilt University,EECS Department,Nashville,Tennessee,USA – sequence: 4 givenname: Christoph surname: Csallner fullname: Csallner, Christoph organization: University of Texas at Arlington,Computer Science and Engineering Department,Arlington,Texas,USA |
| BookMark | eNotjE1PAjEURavRRAZdu3DzlroYbPtapnUnE1ASiCaja1Joi9Whxfkw8d-L0dVNzjm5GTmJKTpCLhkdMSbkLWJRKMZGiIqiYkckO1CKBeMMj8mASalyxrk8I1nbvlNKx0LrAXmrFtPl_A6mn334MrWLGwfLZPs6wTzu-w6uD_oGJqZ1FpZ9Z7qQIiQP5XP1G7q6BZ8amIVoQ9xCmXb7ULsGJv22hRChCru-DvHjnJx6U7fu4n-H5HU2fSkf88XTw7y8X-SGi6LLpVlryZEZjZ5SS9eSa--NEt4WqClutPCCGs3dRkvveGGVlGO-FtqglR5xSK7-foNzbrVvws403yvNFWql8AfXelXJ |
| CODEN | IEEPAD |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IH CBEJK RIE RIO |
| DOI | 10.1145/3377811.3380381 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan (POP) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP) 1998-present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 1450371213 9781450371216 |
| EISSN | 1558-1225 |
| EndPage | 346 |
| ExternalDocumentID | 9283988 |
| Genre | orig-research |
| GroupedDBID | -~X .4S .DC 123 23M 29O 5VS 6IE 6IF 6IH 6IK 6IL 6IM 6IN 8US AAJGR AAWTH ABLEC ADZIZ AFFNX ALMA_UNASSIGNED_HOLDINGS APO ARCSS AVWKF BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO EDO FEDTE I-F I07 IEGSK IJVOP IPLJI M43 OCL RIE RIL RIO RNS XOL |
| ID | FETCH-LOGICAL-a247t-5ab95231a93f00d0b529ffa84fd73903c94f40a92ec95fe27d85562b49a3d5f33 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 23 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000652529800028&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Aug 27 02:32:58 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a247t-5ab95231a93f00d0b529ffa84fd73903c94f40a92ec95fe27d85562b49a3d5f33 |
| PageCount | 12 |
| ParticipantIDs | ieee_primary_9283988 |
| PublicationCentury | 2000 |
| PublicationDate | 2020-Oct. |
| PublicationDateYYYYMMDD | 2020-10-01 |
| PublicationDate_xml | – month: 10 year: 2020 text: 2020-Oct. |
| PublicationDecade | 2020 |
| PublicationTitle | 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) |
| PublicationTitleAbbrev | ICSE |
| PublicationYear | 2020 |
| Publisher | ACM |
| Publisher_xml | – name: ACM |
| SSID | ssj0006499 ssj0002870079 |
| Score | 2.3429186 |
| Snippet | Finding bugs in commercial cyber-physical system development tools (or "model-based design" tools) such as MathWorks's Simulink is important in practice, as... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 335 |
| SubjectTerms | Cyber-physical systems differential testing equivalence modulo input model mutation Simulink |
| Title | SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink |
| URI | https://ieeexplore.ieee.org/document/9283988 |
| WOSCitedRecordID | wos000652529800028&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 | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3dS8MwEA_b8MEnPzbxmzz4oGC3NEmbxseNDYVtDKawt5E2iRal1W317_fS1ongi2-lTdtw1-bu8rvfHUJXShMrE4hUYy6Jx32beDElyuNUiMQPRWiqkvljMZ1Gi4WcNdDtlgtjjCmTz0zXHZZYvs6Twm2V9STYQhlFTdQUQlRcre1-igPsiEOc6lU4BFe-LuXj86DHmHCcyi5EZA4b-9VLpTQlo73_TWIfdX44eXi2tTYHqGGyQ7T33ZQB1_9oG73MxyDaOzz8KFL4isr7Jrku3nL8kMFYfA2Xb3AfrJfGk6JC4nFu8WA2dwPBVmJwZPEoLfku2L0BVo4V7hfPa5xmeJ66jKrstYOeRsPHwb1Xt1PwFOVi4wUqlhB2-koyS4gmcUCltSriVgsmCUskt5woSU0iA2uo0FEA3hEoUTEdWMaOUCvLM3OMMI1VEFpjtQoTLkOlWCwI6NWCc0LheSeo7QS3fK8qZixrmZ3-ffoM7VIXxZYpcueotVkV5gLtJJ-bdL26LNX8BY61ptg |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3dT4MwEG_mR6JP8zN-2wcfNBEtbaHUxxkXF9myZDPxbSm0VaIB3YZ_v1fAGRNffCNQoLmD3l1_97tD6ExpYmUKkWrCJfG4b1MvoUR5nAqR-qEITV0yPxaDQfT0JIctdLngwhhjquQzc-UOKyxfF2nptsquJdhCGUVLaCXgnPo1W2uxo-IgO-Iwp2YdDsGZb4r5-Dy4Zkw4VuUVxGQOHfvVTaUyJt32_6axgXZ-WHl4uLA3m6hl8i3U_m7LgJu_dBu9jGIQ7g2--ygz-I6q-_qFLt8K3MthLD6Hyxe4A_ZL435ZY_G4sPh2OHIDwVpicGVxN6sYL9i9AdaOKe6UzzOc5XiUuZyq_HUHPXbvxrf3XtNQwVOUi7kXqERC4OkrySwhmiQBldaqiFstmCQsldxyoiQ1qQysoUJHAfhHoEbFdGAZ20XLeZGbPYRpooLQGqtVmHIZKsUSQUCzFtwTCs_bR9tOcJP3umbGpJHZwd-nT9Ha_bgfT-Le4OEQrVMX01YJc0doeT4tzTFaTT_n2Wx6Uqn8C2yLqh8 |
| 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=proceeding&rft.title=2020+IEEE%2FACM+42nd+International+Conference+on+Software+Engineering+%28ICSE%29&rft.atitle=SLEMI%3A+Equivalence+Modulo+Input+%28EMI%29+Based+Mutation+of+CPS+Models+for+Finding+Compiler+Bugs+in+Simulink&rft.au=Chowdhury%2C+Shafiul+Azam&rft.au=Shrestha%2C+Sohil+Lal&rft.au=Johnson%2C+Taylor+T.&rft.au=Csallner%2C+Christoph&rft.date=2020-10-01&rft.pub=ACM&rft.eissn=1558-1225&rft.spage=335&rft.epage=346&rft_id=info:doi/10.1145%2F3377811.3380381&rft.externalDocID=9283988 |