Abstract-A relativt ny och viktig gren av Mutation Analysis involverar modellmutationer. I våra försök att förverkliga modell-klon detektor testning, fann vi att det fanns lite mutationsforskning på Simulink, som är ett ganska vanligt modellering språk, särskilt i inbäddade domäner. Eftersom Simulink modellmutationer är crux i vår modell-klon detektor testramverk, vill vi se till att vi väljer lämpliga mutationer. I detta dokument föreslår vi en taxonomi av Simulink-modellmutationer, som bygger på våra erfarenheter hittills med Simulink, som syftar till att injicera modellkloner av olika typer och är ganska representativ för realistiska Simulink-redigeringsåtgärder. Vi organiserar mutationerna efter kategorier baserat på de typer av modellkloner de kommer att injicera, och ytterligare dela upp dem i mutationsklasser. För varje klass definierar vi egenskaperna hos mutationsoperatörer som tillhör den klassen och visar upp en exemplifierad operatör. Slutligen, i ett försök att validera vår taxonomi, utför vi en fallstudie på flera versioner av tre Simulink-projekt, inklusive ett industriellt projekt, för att fastställa om den faktiska delsystemsredigeringsverksamhet som observerats över versioner kan klassificeras med hjälp av vår taxonomi och presentera eventuella intressanta fall. Medan vi utvecklade taxonomi med det specifika målet att underlätta och vägleda injektion av mutanter för modellkloner, anser vi att det är ganska allmänt och en solid grund för framtida Simulink modellmutationsarbete.
Nyligen föreslog och validerade vi en taxonomi av Simulink-modellmutationer REF för att injicera olika typer av Simulink-modellkloner.
Towards a Taxonomy for Simulink Model Mutations
{'venue': '2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops', 'journal': '2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops', 'mag_field_of_study': ['Computer Science']}