Kunskapen om huruvida en programvarukomponent är testbar eller inte är viktig för programvaruteknikprocessen: ett program som inte är lätt att testa kan behöva gå igenom flera iterationer av program och test omdesign. I detta dokument undersöker vi formellt betydelsen av programvarutestbarhet. Vi definierar ett nytt koncept, domäntestbarhet, genom att tillämpa koncepten observerbarhet och kontrollbarhet på programvara. Med observerbarhet avses hur lätt det är att bestämma om angivna ingångar påverkar utflödena; kontrollförmågan avser hur lätt det är att producera en specificerad uteffekt från en specificerad input. Observations- och kontrollegenskaper används redan för att bedöma hårdvarukomponenters testbarhet. Ett domäntestbart program är observerbart och kontrollerbart: det uppvisar inga in-output inkonsekvenser. Vi diskuterar domäntestbarhetsegenskaperna hos flera program som har presenterats i litteraturen, och undersöker observerbarhets- och styrbarhetsegenskaperna hos flera programmeringsstrukturer. Vi definierar också nya testmått (som kan tillämpas på program eller funktionella specifikationer) som enkelt kan användas för att bedöma den ansträngningsnivå som krävs för att ändra ett program så att det blir domäntestbart. Vi visar också hur testbarhet kan bedömas utifrån programspecifikationer, och diskuterar ett experiment som visar att det tar mindre tid att bygga och testa ett program utvecklat från en domän testbar specifikation än ett liknande program utvecklat från en icke-domän testbar specifikation. I tillägget definieras domäntestbarhet i termer av denomineringssemantik. AUTHOR Roy S. Freedman Tidigare med
Begreppet testbarhet för en programvarukomponent initierades av Freedman REF med beaktande av kontrollbarhet och observerbarhet.
Testability of Software Components
{'venue': 'IEEE Trans. Software Eng.', 'journal': None, 'mag_field_of_study': ['Computer Science']}