Analyysityökalun kehittäminen C#-kielisten lähdekoodien tarkastamiseen

Katselmoinnit ja tarkastusmenettelyt ovat osa ohjelmistotuotantoprosessin laadunvarmistusta. Staattisella tarkastamisella tarkoitetaan ohjelmistotuotteen visuaalista tarkastamista ohjelmistovirheiden havaitsemiseksi ja korjaamiseksi. Ohjelmiston lähdekoodin tarkastaminen voidaan suorittaa automaattisesti tarkoitukseen sopivalla ohjelmistolla l. analyysityökalulla. Tässä työssä toteutettiin analyysityökalu C#-kielisten lähdekoodien tarkastamiseen. Työkalulla suoritetussa kenttätestauksessa havaittiin tarkastettavissa ohjelmistoissa ohjelmiston ylläpitoon vaikuttavia puutteita. Lisäksi työssä tarkasteltiin katselmointeja osana ohjelmistotuotantoprosessin laadunvarmistusta sekä erilaisia ohjelmistovirheitä ja niiden lähteitä.

Muuttuvat olosuhteet liikesopimuksissa

Paitsi sopimusoikeus myös koko yritysmaailma elää jatkuvassa turbulenssissa. Yritysten yhä dynaamisempi ja kansainvälisempi toimintaympäristö heijastuu väistämättä myös yrityksen sopimuksiin ja toimintastrategioihin. Toisaalta haasteita tuovat myös maailman erilaiset mullistukset sodista talouspolitiikkaan. Ongelma ei kuitenkaan ole uusi, sillä muuttuneiden olosuhteiden problematiikka on sopimusoikeudellinen ikuisuusongelma. Tutkielmassa käsitellään liikesopimuksissa ilmeneviä muuttuvia ja muuttuneita olosuhteita sekä niihin reagoimista. Keskeisimmät tutkimuskysymykset ovat, millaisia muuttujia liikesopimussuhteessa voi olla ja miten niihin voi varautua ennakolta esimerkiksi erilaisin sopimusehdoin. Tutkielmassa esitellään lisäksi sopimussuhteen aikana ja jälkeen käytettäviä toimintavaihtoehtoja kuten sopimuksen tulkintaa, täydentämistä, muuttamista sekä mahdolliseen sopimusriita-asiaan liittyvää proseduuria. Liikesopimusriitojen ratkaisussa tärkeimmät keinot ovat välimiesmenettely ja sovittelu. Tutkielmassa esitellään ensin yleisiä liikesopimussuhteisiin liittyviä asioita, kuten perusterminologiaa, sopimuksen syntyä sekä relevantteja sopimusoikeudellisia periaatteita. Tämän jälkeen selvitetään muuttuneiden olosuhteiden kirjo lähtien ennakollisista reagointikeinoista ja päätyen jälkikäteisiin toimintavaihtoehtoihin. Aihetta lähestytään oikeusdogmaattisen metodin kautta. Oikeusdogmatiikka on keskittynyt systematisoimaan ja tulkitsemaan voimassaolevaa oikeutta. Tutkimuskysymyksiä ei käsitellä kuitenkaan ainoastaan voimassaolevan lainsäädännön avulla, vaan myös ongelmakeskeisesti tarkastelemalla oikeuskäytäntöä ja liike-elämän sopimuskäytäntöjä. Lähteinä käytetään sopimusoikeudellisia perusteoksia ja oppikirjoja sekä oikeustieteellisiä artikkeleita. Käytettävät lähteet ja oikeustapaukset ovat pääasiassa kotimaisia. Toisaalta tukea tutkielmaan saadaan tarkastelemalla liikesopimusten muuttuvia olosuhteita myös eurooppalaisessa kontekstissa. Tutkielma osoittaa, että nykyinen sopimusoikeudellinen trendi painottaa ennakoitavuuden, joustavuuden ja dynaamisuuden merkitystä. Ajattelumallia ei kuitenkaan ole syytä ylikorostaa, sillä myös perinteiset keinot ovat edelleen tärkeitä. Olosuhdemuutoksiin voidaan siis reagoida tehokkaasti myös sopimussuhteen aikana ja jälkeen, jos menettelystä ei syystä tai toisesta ole ennalta sovittu.

Viisautta linnunsiivellä

Kirjallisuusarvostelu

Laatokan laineilla, Äänisen aalloilla

Kirjallisuusarvostelu

Liikettä, liikettä!

Kirjallisuusarvostelu

Lintuopas vain paranee

Kirjallisuusarvostelu

Ainutkertainen kotkamies

Kirjallisuusarvostelu

Viisasta puhetta eläinten elämänpiiristä

Kirjallisuusarvostelu