Un conjunt identificat de trets de programari commensurable sota unes condicions específiques per comparar el comportament real amb el comportament requerit descrit en la documentació de programari.