Abstrakt. I ett komponentorienterat tillvägagångssätt utformas, utvecklas och valideras komponenter för att användas i stor utsträckning. Man kan dock inte alltid förutse vilka specifika användningsområden som kommer att göras av komponenter beroende på vilket system de kommer att utgöra. I detta dokument föreslår vi en metod för att testa varje komponent i ett system genom att extrahera korrekta beteenden med hjälp av information som ges i systemspecifikationen. Systemspecifikationer definieras som in- och utgående symboliska övergångssystem som struktureras av en kommunikationsoperatör (synkroniserad produkt) och en kapslingsoperatör (döljande kommunikationskanaler). Genom att projicera symboliskt utförande av ett system på dess komponenter, härleder vi enhetliga symboliska beteenden som ska användas som teständamål på komponentnivå. I praktiken kan dessa beteenden ses som typiska beteenden hos komponenten i samband med systemet. Vi ska illustrera ett exempel på att dessa beteenden inte kunde ha extraherats genom ett unikt resonemang på komponentnivå.
I REF arbetar författarna med input-output symboliska övergångssystem (IOSTS) och föreslår att testa varje komponent i ett system isolerat genom att generera korrekta teständamål för dem från den globala systemspecifikationen och förutsatt att specifikationen av varje komponent i systemet är tillgänglig.
Symbolic model based testing for component oriented systems
{'venue': 'TestCom/FATES', 'journal': None, 'mag_field_of_study': ['Computer Science']}