Kompiuterių mokslo baigimo egzaminas (GRE) yra padalintas į keturias pagrindines dalis. Šios dalys apima: Kompiuterių architektūrą ir organizavimą, kuri sudaro 15 procentų testo pažymio; Programinės įrangos metodika ir sistemos, kuri sudaro 40 procentų testo pažymio; Matematinė teorija ir pagrindai, kurie sudaro 40 procentų testo pažymio; ir skėtinė kategorija „Kitos temos“, kuri sudaro likusius 5 procentus testo pažymio.
Kompiuterių architektūros ir organizavimo srityje yra penki pagrindiniai polaukiai. Pirmasis yra valdymo blokai ir procesoriai. Šioje srityje Computer Science GRE apima tokius klausimus kaip skaičius ir aritmetinis vaizdavimas, duomenų keliai ir valdymo seka, taip pat bendrieji klausimai apie instrukcijų rinkinius.
Antrasis polaukis yra skaitmeninis loginis dizainas ir apima analizės ir optimizavimo klausimus bei nuoseklų ir kombinuotą grandinių įgyvendinimą. Trečiasis yra prisiminimai ir hierarchijos, apimančios talpyklos ir saugyklos tipus, puslapius, segmentavimą, virtualiąją atmintį ir klausimus apie našumą ir įgyvendinimą. Ketvirtasis yra Ryšiai ir tinklai, apimantys tinklo įrenginius, tokius kaip maršrutizatoriai ir jungikliai, įvesties-išvesties sistemos ir sinchronizuojantys kompiuteriai. Paskutinis yra didelio našumo architektūra, apimanti paskirstytą ir lygiagrečią architektūrą ir superskaliarinį konvejerį bei netvarkingus vykdymo procesorius.
Kompiuterių mokslo GRE programinės įrangos metodologijos ir sistemų srityje yra penki poskyriai. Pirmasis yra duomenų organizavimas, apimantis duomenų įgyvendinimo būdus, duomenų struktūras ir duomenų tipus. Antrasis yra programos struktūra ir kontrolė, apimanti sinchronizavimo, lygiagretumo ir komunikacijos klausimus; rekursija ir iteracija; ir funkcijos, metodai, procedūros ir išimčių tvarkyklės.
Trečiasis kompiuterių mokslo GRE programinės įrangos metodologijos ir sistemų polaukis yra programavimo žymėjimai ir kalbos, apimantis išraiškų įvertinimą, parametrų perdavimą, susiejimą, apimtį ir programos valdymo / duomenų organizavimo konstrukcijas. Ketvirtasis yra programinės įrangos inžinerija, kuri apima tikrinimo būdus, specifikacijas, tvirtinimus, kūrimo modelius, įrankius ir modelius. Paskutinis polaukis apima sistemų klausimus, įskaitant duomenų bazes, sistemos analizę, išteklių valdymą, vertėjus, vykdymo laiko sistemas, kompiliatorius, operacines sistemas, internetą ir tinklų klausimus.
Matematinės teorijos ir kompiuterių mokslo GRE pagrindai turi tris pagrindinius poskyrius. Pirmasis yra sudėtingumas ir algoritmai ir apima klausimus apie algoritmų projektavimo metodus, asimptotinę ir tikslią algoritmų analizę, skaičiavimo sudėtingumą ir viršutines bei apatines sudėtingumo ribas. Antrasis skyrius yra kalbos teorija ir automatai, apimantys skaičiavimo modelius, sprendžiamumą ir formaliąją gramatiką bei kalbą. Paskutinė yra diskrečios struktūros, apimančios grafų teoriją, elementariąją kombinatoriką, skaičių teoriją, pasikartojančius ryšius ir matematinę logiką.
Paskutinė kompiuterių mokslo GRE sritis vadinama Kitomis temomis. Tai apima klausimus apie kriptografiją, kompiuterinę grafiką, skaičių analizę, dirbtinį intelektą ir saugumą. Šioje dalyje taip pat pateikiami klausimai socialiniais klausimais.