Imperial College London
Portrait Picture

ProfessorAlastairDonaldson

Faculty of Engineering, Department of Computing

Professor of Programming Languages
 
 
 
//

Contact

 

+44 (0)20 7594 8266alastair.donaldson Website

 
 
//

Location

 

422Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Lascu:2021:10.1109/MET52542.2021.00017,
author = {Lascu, A and Windsor, M and Donaldson, A and Grosser, T and Wickerson, J},
doi = {10.1109/MET52542.2021.00017},
pages = {61--68},
publisher = {IEEE},
title = {Dreaming up metamorphic relations: experiences from three fuzzer tools},
url = {http://dx.doi.org/10.1109/MET52542.2021.00017},
year = {2021}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - Metamorphic  testing  requires  the  availability  of  a suitable  set  of  metamorphic  relations  (MRs)  for  the  application domain  of  interest.  A  software  testing  practitioner  interested in  using  metamorphic  testing  is  thus  blocked  unless  they  can devise   a   suitable   set   of   MRs.   In   this   paper   we   offer   some practical advice on sources of inspiration for MRs, based on our experience  building  three  fuzzing  tools  based  on  metamorphic testing: MF++,   which   supports   automated   testing   of   C++11libraries,C4, which tests concurrency support in C11 compilers, and spirv-fuzz, which aims to find bugs in compilers for the SPIR-V  programming  language  (mainly  used  in  computer  graphics).The  MRs  we  have  devised  have  taken  inspiration  from  three main sources: (1) careful study of specification documents related to  the  libraries  and  programming  languages  that  these  tools target, (2) consultation of prior work and discussion with domain experts,  and  (3)  manual  inspection  of  the  results  of  automated code  coverage  analysis  on  the  systems  under  test.  We  describe these sources of  inspiration in detail, giving a  range of concrete examples for each. We hope that this experience report will help to inform developers of future metamorphic testing tools as to the steps they can take to discover MRs in their domains of interest.
AU  - Lascu,A
AU  - Windsor,M
AU  - Donaldson,A
AU  - Grosser,T
AU  - Wickerson,J
DO  - 10.1109/MET52542.2021.00017
EP  - 68
PB  - IEEE
PY  - 2021///
SP  - 61
TI  - Dreaming up metamorphic relations: experiences from three fuzzer tools
UR  - http://dx.doi.org/10.1109/MET52542.2021.00017
UR  - http://hdl.handle.net/10044/1/88292
ER  -
Download