View in EDS HTML Full Text PDF Full Text

DaMAT: A Data-Driven Mutation Analysis Tool.

Saved in:
Bibliographic Details
Title: DaMAT: A Data-Driven Mutation Analysis Tool.
Authors: Viganò, Enrico1 enrico.vigano@uni.lu, Cornejo, Oscar1 oscar.cornejo@uni.lu, Pastore, Fabrizio1 fabrizio.pastore@uni.lu, Briand, Lionel2 lionel.briand@uni.lu
Source: ICSE: International Conference on Software Engineering. 2023, p165-169. 5p.
Subjects: Mutation testing of computer software, CubeSats (Artificial satellites), Computer software testing, Internetworking, Cyber physical systems
Abstract: We present DaMAT, a tool that implements data-driven mutation analysis. In contrast to traditional code-driven mutation analysis tools it mutates (i.e., modifies) the data exchanged by components instead of the source of the software under test. Such an approach helps ensure that test suites appropriately exercise components interoperability --- essential for safety-critical cyber-physical systems. A user-provided fault model drives the mutation process. We have successfully evaluated DaMAT on software controlling a microsatellite and a set of libraries used in deployed CubeSats. A demo video of DaMAT is available at https://youtu.be/s5M52xWCj84 [ABSTRACT FROM AUTHOR]
Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
Full text is not displayed to guests.
FullText Links:
  – Type: pdflink
Text:
  Availability: 1
Header DbId: egs
DbLabel: Engineering Source
An: 185196224
AccessLevel: 6
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: DaMAT: A Data-Driven Mutation Analysis Tool.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Viganò%2C+Enrico%22">Viganò, Enrico</searchLink><relatesTo>1</relatesTo><i> enrico.vigano@uni.lu</i><br /><searchLink fieldCode="AR" term="%22Cornejo%2C+Oscar%22">Cornejo, Oscar</searchLink><relatesTo>1</relatesTo><i> oscar.cornejo@uni.lu</i><br /><searchLink fieldCode="AR" term="%22Pastore%2C+Fabrizio%22">Pastore, Fabrizio</searchLink><relatesTo>1</relatesTo><i> fabrizio.pastore@uni.lu</i><br /><searchLink fieldCode="AR" term="%22Briand%2C+Lionel%22">Briand, Lionel</searchLink><relatesTo>2</relatesTo><i> lionel.briand@uni.lu</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22ICSE%3A+International+Conference+on+Software+Engineering%22">ICSE: International Conference on Software Engineering</searchLink>. 2023, p165-169. 5p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Mutation+testing+of+computer+software%22">Mutation testing of computer software</searchLink><br /><searchLink fieldCode="DE" term="%22CubeSats+%28Artificial+satellites%29%22">CubeSats (Artificial satellites)</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+testing%22">Computer software testing</searchLink><br /><searchLink fieldCode="DE" term="%22Internetworking%22">Internetworking</searchLink><br /><searchLink fieldCode="DE" term="%22Cyber+physical+systems%22">Cyber physical systems</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: We present DaMAT, a tool that implements data-driven mutation analysis. In contrast to traditional code-driven mutation analysis tools it mutates (i.e., modifies) the data exchanged by components instead of the source of the software under test. Such an approach helps ensure that test suites appropriately exercise components interoperability --- essential for safety-critical cyber-physical systems. A user-provided fault model drives the mutation process. We have successfully evaluated DaMAT on software controlling a microsatellite and a set of libraries used in deployed CubeSats. A demo video of DaMAT is available at https://youtu.be/s5M52xWCj84 [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=185196224
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/ICSE-Companion58688.2023.00047
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 5
        StartPage: 165
    Subjects:
      – SubjectFull: Mutation testing of computer software
        Type: general
      – SubjectFull: CubeSats (Artificial satellites)
        Type: general
      – SubjectFull: Computer software testing
        Type: general
      – SubjectFull: Internetworking
        Type: general
      – SubjectFull: Cyber physical systems
        Type: general
    Titles:
      – TitleFull: DaMAT: A Data-Driven Mutation Analysis Tool.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Viganò, Enrico
      – PersonEntity:
          Name:
            NameFull: Cornejo, Oscar
      – PersonEntity:
          Name:
            NameFull: Pastore, Fabrizio
      – PersonEntity:
          Name:
            NameFull: Briand, Lionel
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 05
              Text: 2023
              Type: published
              Y: 2023
          Titles:
            – TitleFull: ICSE: International Conference on Software Engineering
              Type: main
ResultId 1