*Result*: Automated dynamic test generation for sequential Java programs ; Automatisoitu dynaaminen testien generointi Java-ohjelmille
*Further Information*
*Testausta ohjelmistoteollisuudessa on perinteisesti tehty ihmistyönä Tuotujen testitapausten avulla. Koska kyseinen menetelmä on kallis sen vaatiman työmäärän johdosta, automaattisille menetelmille testitapausten tuottamiseen on tarvetta. Tässä työssä tarkastellaan, kuinka dynaamista symbolista suoritusta, voidaan käyttää testitapausten tuottamiseen automatisoidusti Javalla toteutetuille ohjelmille, joissa ei esiinny rinnakkaisuutta. Työssä käytetty dynaaminen symbolinen suoritus on menetelmä, jossa testattava ohjelma suoritetaan sekä konkreettisesti että symbolisesti yhtä aikaa. Suorituksen aikana menetelmässä kerätään symbolisia rajoitteita kuvaamaan syötearvojen joukkoja, jotka pakottavat ohjelman suorituksen seuraamaan aikaisemmin tutkimatonta suorituspolkua. Ratkaisemalla kerätyt rajoitteet saadaan muodostettua uusia konkreettisia syötearvoja ja näin ollen jokainen testisuoritus saadaan testaamaan toisista testiajoista poikkeavaa käyttäytymistä. Symbolisen suorituksen yhdistäminen konkreettisilla arvoilla suorittamiseen on mahdollista toteuttaa instrumentoimalla annetun ohjelman suoritettavaa versiota. Pitämällä muistissa testiajojen aikana muodostetut rajoitteet voidaan seuraavan tutkimattoman suorituspolun valinta tehdä usealla erilaisella hakustrategialla. Menetelmällä, kuinka seuraava tutkittava polku valitaan, on kasvava merkitys silloin, kun testattavan ohjelman suorituspolkujen avaruus on liian suuri, jotta se voitaisiin käydä kattavasti läpi. Työssä kuvataan myös testausjärjestelmän rakenne, joka mahdollistaa useiden dynaamiseen symboliseen suoritukseen liittyvien testausajojen suorittamisen samanaikaisesti. Tämä mahdollistaa moniydinsuorittimien sekä useiden erillisten tietokoneiden käytön testitapausten generoimisessa. Muita tämän työn tuloksia ovat menetelmä alustaa syötteenä annettavia olioita laiskasti sekä tekniikka, jolla voidaan välttää turhien testien luominen tietyissä tapauksissa, kun olioita käytetään ohjelmaan syötteenä. Työssä kehitettyihin menetelmiin pohjautuen on toteutettu työkalu, ...*