An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique

Compilers play an important role in software development, and it is quite necessary to perform abundant testing to ensure the correctness of compilers. A critical task in compiler testing is to validate the semantic-soundness property which requires consistence between semantics of source programs a...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Qiuming Tao, Wei Wu, Chen Zhao, Wuwei Shen
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	compiler Equations Grammar metamorphic testing Program processors Semantics Software systems test automation test input generation test oracle Testing
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!