MuVM: Higher Order Mutation Analysis Virtual Machine for C

Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden

研究成果: Conference contribution

12 被引用数 (Scopus)

抄録

Mutation analysis is a method for evaluating the effectiveness of a test suiteby seeding faults artificially and measuringthe fraction of seeded faults detected by the test suite. The major limitation of mutation analysis is its lengthy execution time because it involves generating, compiling andrunning large numbers of mutated programs, called mutants. Our tool MuVM achieves a significant runtime improvement by performinghigher order mutation analysis using four techniques, metamutation, mutation on virtual machine, higher order split-stream execution, and online adaptation technique. In order to obtain the same behavior as mutating the source code directly, metamutation preserves the mutation location informationwhich may potentially be lost during bitcode compilation and optimization. Mutation on a virtual machine reduces the compilation and testing costby compiling a program once and invoking a process once. Higher order split-stream execution also reducesthe testing cost by executing common parts of the mutants togetherand splitting the execution at a seeded fault. Online adaptation technique reduces the number of generated mutantsby omitting infeasible mutants. Our comparative experiments indicate that our tool is significantly superior to an existing tool, an existing technique (mutation schema generation), and no-split-stream executionin higher order mutation.

本文言語English
ホスト出版物のタイトルProceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016
出版社Institute of Electrical and Electronics Engineers Inc.
ページ320-329
ページ数10
ISBN(電子版)9781509018260
DOI
出版ステータスPublished - 2016 7 18
外部発表はい
イベント9th IEEE International Conference on Software Testing, Verification and Validation, ICST 2016 - Chicago, United States
継続期間: 2016 4 102016 4 15

Other

Other9th IEEE International Conference on Software Testing, Verification and Validation, ICST 2016
国/地域United States
CityChicago
Period16/4/1016/4/15

ASJC Scopus subject areas

  • ソフトウェア
  • 安全性、リスク、信頼性、品質管理

フィンガープリント

「MuVM: Higher Order Mutation Analysis Virtual Machine for C」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル