Abstract-Test mallar och en test mall ram introduceras som användbara begrepp i specifikationsbaserad testning Ramen kan definieras med hjälp av någon modell-baserad specifikation notation och används för att härleda tester från modell-baserade specifikationer i detta papper, det demonstreras med hjälp av Z notation. Ramen definierar formellt testdataset och deras förhållande till verksamheten i en specifikation och till andra testdataset, vilket ger testprocessen struktur. Flexibilitet bevaras, så att många teststrategier kan användas. Viktiga tillämpningsområden för ramverket diskuteras, bland annat förfining av testdata, regressionstester och testorakler.
Uppförandespecifikationernas roll är därför att tillhandahålla abstrakta testfall, testorakler och ett mått på testlämpligheten REF.
A framework for specification-based testing
{'venue': 'IEEE Trans. Software Eng.', 'journal': 'IEEE Trans. Software Eng.', 'mag_field_of_study': ['Computer Science']}