|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Prosasim UML simulaattori
Prosasim simulaattori puhaltaa hengen UML malleihin toteuttaen näin käytännössä suoritettavat ohjelmistospesifikaatiot. Prosasim tuo aktiivisen varmennuksen UML mallinnukseen. Heti kun suunnitteluratkaisu on löydetty se voidaan myös käytännössä varmistaa simuloimalla. Prosasim toteuttaa aidon iteratiivisen kehityksen.
Simulaattorin avulla suunnitteluvirheet löytyvät hyvin aikaisessa vaiheessa, jolloin korjaamisen kustannukset minimoituvat. Prosasim näyttää mallin todellisen toiminnan graafisesti. Mallinnuksen teho monikertaistuu ja laatu paranee olennaisesti, kun virheet löytyvät aina varhaisimmassa mahdollisessa vaiheessa.
|
Visuaalinen varmennus Prosa Prosasim simulaattori tuo uuden ajattelutavan ohjelmiston toiminnan varmentamiseen - tekstuaalisten debuggereiden sijasta suunnittelija varmentaa UML spesifikaatiot visuaalisella tasolla. Näin Prosa ympäristössä ohjelmistokehitys varmennetaan kaikissa vaiheissa suoraan käyttäjän tarpeita - vaatimuksia vasten. Tämä Insoftin kehittämä, Prosa-käyttäjien tarpeista johdettu varmennusteknologia on innovatiivinen, uusi ja luonnonmukainen tapa kehittää ohjelmistoja nopeasti ja laadukkaasti. Prosasim integroitu osa UML mallinninta Prosasim on integroitu Prosa UML mallintimen komponentti. Kun käyttäjä käyttää Prosasim simulaattoria, hän ajaa sovellusta ja samanaikaisesti seuraa suoritusta UML mallikontekstissa. Kytkeytyminen visuaalisen varmennuksen ja visuaalisen spesifikaation välillä tapahtuu yhdellä hiiren napautuksella - tämä on aitoa iteratiivisuutta! |
|
|
Mallin suoritus näytetään graafisesti
Prosasim simulaattorissa käyttäjä voi valita ne osat UML mallista joiden suoritusta hän haluaa seurata.
Jo testattujen osien suoritus etenee aidolla nopeudella. Simuloinnissa suorituksen eteneminen näkyy
graafisesti etenemismerkin avulla. Mallin kriittisiin paikkoihin voi asettaa pysäytyskohtia, joissa
voi tarvittaessa tutkia ja asettaaa olioiden attribuuttien arvoja.
C++, C ja Java sovellukset Prosasim simulaattori tukee C++, C ja Java sovellusten simulointia. Koska simulointi tapahtuu todellista lähdekieltä käyttäen, visuaalinen malli ja todellinen sovellus käyttäytyvät aina identtisesti. Työpenkit tuettuja Prosasim simulaattori toteuttaa avoimen arkkitehtuurin ja sitä voi käyttää suoraan yleisimpien ohjelmistokehityksen työpenkkien kautta kuten Microsoft Visual C++ Studio, Microsoft Visual J++ Studio tai Inprise JBuilder. Prosasim soveltuu myös upotettujen sovellusten kehittämiseen. Prosasim tarjoaa edistyneelle käyttäjälle erinomaiset konfigurointimahdollisuudet esimerkiksi testauksen ja testauksen kattavuuden analysointiin ja dokumentointiin. |
|
Suoraan ytimeen:
|
Visuaalinen UML mallien testaus|
|
|
|
|
|
