Abstrakt. Algebraiska specifikationer av datatyper ger en naturlig grund för att testa datatyper implementationer. I detta sammanhang bygger konformitetsförhållandet på tillfredsställelsen av axiom. Detta gör det möjligt att formellt ange de grundläggande begreppen för testning: uttömmande testuppsättning, testbarhetshypoteser, orakel. Olika kriterier för att välja ändliga testuppsättningar har föreslagits. De är beroende av axiomens form och av möjligheterna att observera genomförandet. Denna sista punkt har att göra med det välkända orakelproblemet. Eftersom det huvudsakliga intresset för algebraiska specifikationer är abstraktion av datatyp, väcker testning av ett konkret genomförande frågan om klyftan mellan den abstrakta beskrivningen och den konkreta representationen. De algebraiska specifikationernas observationssemantik för med sig lösningar på grundval av de så kallade observerbara sammanhangen. Efter en beskrivning av testmetoder baserade på algebraiska specifikationer ger kapitlet en kort presentation av några verktyg och fallstudier, och presenterar vissa tillämpningar till andra formella metoder som omfattar datatyper.
I REF ger dokumentet en beskrivning av testmetoder baserade på algebraiska specifikationer, och en kort presentation av vissa verktyg och fallstudier, och presenterar vissa tillämpningar till andra formella metoder som omfattar datatyper.
Testing data types implementations from algebraic specifications
{'venue': 'Formal Methods and Testing, Springer-Verlag (Ed.) (2008) 209-239', 'journal': None, 'mag_field_of_study': ['Computer Science']}