This project focused on creating a PCB prototype to work with KTH's newly purchased FPGAs. This PCB is meant to be used to expand the FPGA's IO, as it did not have enough LEDs or switches to be used in some courses at the Embedded Systems program at KTH. An original design for the PCBs existed before this thesis was started, but it needed to be developed to meet the new requirements. Several prototypes were developed by first designing the PCB in KiCad. The design in KiCad then formed the basis for the physical prototype, which was milled out before the components could be soldered. The final functional prototype was approximately the size of the FPGA board and was connected to it by the FPGA's GPIO extension pins. The result of this thesis was a prototype that fulfilled the requirements and was ready for production. / Detta projekt fokuserade utifrån att skapa en PCB prototyp för att fungera med KTH:s nya inköpta FPGAs. PCBn som skulle skapas är ämnad att användas till att utöka en FPGAs IO, eftersom den inte hade tillräckligt med LEDar och switchar för att kunna användas i vissa kurser i programmet inbyggda system på KTH. Det fanns en ursprunglig design för påbyggnadskortet innan detta projekt började, men den behövde utvecklas för att uppfylla de nya krav som ställdes. Flera prototypkonstruktioner togs fram genom att först designa PCBn i KiCad. Designen i KiCad låg sedan som grund för den fysiska prototypen vilken frästes ut innan komponenterna kunde lödas fast. Den slutgiltiga funktionella prototypen var ungefär samma storlek som FPGA-brädan och anslöts till den existerande brädans GPIO-pins. Resultatet var en prototyp som uppfyllde de krav som ställts och som var redo för produktion på en större skala.

I och med samhällets ökande digitalisering stiger behoven för att kunna fastställa att säkerheten hos datornätverk ligger på en adekvat nivå. När det gäller informations- säkerhet fastnar fokus lätt på enskilda enheter men idag består i regel de flesta orga- nisationer av större datanätverk där information finns åtkomlig på ett flertal sätt. Denna rapport försöker utröna huruvida det går att kvantifierbart påvisa effektivite- ten hos de säkerhetsåtgärder som nätverkstekniker implementerar i syfte att höja säkerheten i en organisations datornätverk. För att mäta säkerhetsförbättringar kombineras en penetrationstestningsstandard med en hotmodelleringsmetod som sedan appliceras på ett nätverk i en laborations- miljö. I ett första skede appliceras dessa på ett sårbart nätverk för att ge en insikt om det ursprungliga säkerhetsläget. Därefter implementeras ett urval av skyddsåtgärder på det sårbara datornätverket vilka baserat på vilka säkerhetsbrister som har upp- täckts. I ett nästa steg appliceras både penetrationstester och hotmodellering återi- gen på samma sätt som tidigare och därefter jämförs resultaten från före och efter att sårbarheterna har åtgärdats. När resultaten jämförs påvisas de säkerhetshöjande åtgärdernas effekt. Tack vare kombinationen av både penetrationstester och hotmodellering tydliggörs även re- sultaten både bredare och mer djupgående än vad användandet av enbart en av me- toderna hade visat på. Dessa resultat visar att metoden med applikation av kombinerade penetrationstester och hotmodelleringar, både före och efter att säkerhetsluckor har åtgärdats, kan an-vändas som ett kvalitetsintyg för säkerhetsarbeten riktade mot datornätverk. / Following the increasing digitalization of society there is a growing need to ensure that the security of computer networks is at an adequate level. When it comes to net- work security, focus tend to fall on individual devices, but nowadays most organiza- tions consist of large computer networks where information is accessible in several different ways. This thesis attempts to determine whether it is possible to ensure the effectiveness of the security measures implemented by network engineers to improve an organisation’s security stance. In order to measure security, a combination of a penetration testing standard and threat modelling is applied to a network in a laboratory environment. First, these are applied to a vulnerable network. Then, a selection of protection measures are imple- mented on the vulnerable network based on the results from the methodology. In a next step, both penetration testing and threat modelling are reapplied. The com- bined results, before and after the vulnerabilities have been addressed, can then be compared to each other. When comparing the results, the impact of the security improving measures becomes clear. Due to the use of both penetration testing and threat modelling the results are further clarified compared to what the use of only one of the methods would have shown. These results shows that the method of combining penetration testing with threat modelling in two stages, both before and after security measures have been imple- mented, can be used as a quality certificate for security work directed at computernetworks.

Storleken och komplexiteten på dagens system och applikationer ökar. Detta leder till att kraven på system och applikationer ökar också eftersom kunderna kräver av dagens system full funktionalitet inom olika typer av distribuerade miljöer. Kunder är inte bara intresserade av funktionerna i systemen och applikationerna, de förväntar sig också att systemet skall vara av god kvalitet. Av dessa skäl är det mycket viktigt att testa system och applikationer för att säkerställa att de uppfyller kundernas förväntningar. Däremot är det inte bara själva mjukvarans kvalitets frågor som organisationer behöver ha i åtanke, en lika viktig del är själva testprocessens kvalitet. För att öka testprocessens kvalitet  krävs det en utvärdering av processen. Utvärderingen identifierar processens styrkor, svagheter och möjligheter. I detta examensarbete har vi utvärderat tesprocessen på ett utvecklingsföretag. Utvärderingen har baserats på anvisningar och rekommendationer från TMMi-modellen, Test Maturity Model Integrated. Vi hade som mål att lyfta fram förbättringsförslag till företagets testprocess. Efter utvärderingen kom vi fram till vilken mognadsnivå verksamheten utifrån TMMi-modellen samt en mängd förbättringsförslag för att höja mognadsnivån på testprocessen.

Testing is an important step in the software development process in order to increase the reliability of the software. There are a number of different methods available to test software that use different approaches to find errors, all with different requirements and possible results. In this thesis we have performed a series of tests on our own mobile application developed for the Android platform. The thesis starts with a theory section in which most of the important terms for software testing are described. Afterwards our own application and test cases are presented. The results of our tests along with our experiences are reviewed and compared to existing studies and literature in the field of testing. The test cases have helped us find a number of faults in our source code that we had not found before. We have discovered that automated testing for Android is a field where there are a lot of good tools, although these are not often used in practice. We believe the app development process could be improved greatly by regularly putting the software through automated testing systems.

The widespread usage of smartphones and mobile applications in Sweden exposes the users to potential risks if not adequate security standards are implemented. An insecure application that is exploited by an adversary could potentially compromise the users private data and integrity. As such, this report aims to examine and evaluate the security of ten commonly used mobile applications in Sweden. Using the OWASP Mobile Security Testing Guide (MSTG) and conducting penetration testing, the applications were assessed in regards of strengths and weaknesses. The results presents nine potential vulnerabilities of which three were successfully exploited with the use of brute-force and session hijack attacks. Even though all examined applications adopt industry security standards of various degrees, our findings shows that a few applications are susceptible to vulnerabilities. / Det breda användadet av smarta telefoner och mobila applikationer i Sverige utsätter användare för potentiella risker om inte tillräckliga nivåer av säkerhetsstandarder implementeras. En osäker applikation som utnyttjas av en person med onda avsikter skulle kunna leda till dataintrång hos en användare. Därav siktar denna rapport på att utvärdera säkerheten hos tio vanligt förekommande mobila applikationer i Sverige. Med hjälp av OWASP Mobile Security Testing Guide (MSTG) och utförandet av penetrationstester så har applikationernas styrkor och svagheter utvärderats. Resultatet som presenteras visar på nio potentiella sårbarheter varav tre kunde verifieras genom lyckade brute-force och session hijack attacker. Även om de utvärderade applikationerna implementerar en viss nivå av säkerhetsstandarder, så visar vårt resultat att vissa av applikationerna är utsatta för sårbarheter.

Hela det mänskliga genomet var sekvenserat i april 2003 och sedan dess har utvecklingen av genetisk testning avancerat snabbt. Sjuksköterskor kan komma att ha en central roll gällande att informera personer kring den genetiska testningen, rådgiva personer som genomgår genetisk testning och hjälpa dem att tolka resultaten. Genom att beskriva personers känslor kring att genomföra genetisk testning kan sjuksköterskor få hjälp till en ökad förståelse. Syftet var därför att beskriva personers känslor kring att genomföra en genetisk testning för genetiskt betingade sjukdomar med en möjlig dödlig utgång. För att få en överblick av det aktuella forskningsläget genomfördes en systematisk sökordsbaserad litteraturöversikt. Totalt tolv artiklar granskades och kodades. Resultatet presenteras i fyra teman: Rädsla och lättnad, som handlar om rädsla för sjukdomen, oro och ångest men också lättnaden när resultatet var negativt; Ovisshet kring hanterandet, där känslor av frustration, chock och orättvisa framkom men även förväntningar inför resultatet; Hopp och hopplöshet, vilket syntes som hopp inför framtiden och personlig kontroll samt en känsla av att vara besegrad, maktlös och förrådd; samt Gemenskap och utanförskap inom familjen, som uppstod i relation till andra där känslan av att vilja dölja samt behov av stöd var framstående. Då hälsa är vårdandets mål diskuteras resultatet utifrån Katie Erikssons hälsokors samt i förhållande till hälsa som rörelse. Ytterligare forskning och utbildning krävs för att sjuksköterskor ska erhålla kunskap om personcentrerat vårdande genom processen av genetisk testning. / The human genome was sequenced in April 2003 and since then genetic testing has developed rapidly. Nurses may come to have a central and significant role regarding informing people about all the potential outcomes of genetic testing, advising people undergoing genetic testing and helping them interpret the results. By describing people's feelings about implementing genetic testing, nurses be helped to a better understanding and ability to perform a person-centered care. The aim was therefore to describe people's feelings about implementing a genetic testing for genetic diseases with possible fatal outcome. To get an overview of the current state of research, a systematic search-terms-based literature review was performed. A total of twelve articles were reviewed and coded, resulted in four themes: Fear and relief, which is about fear of the disease, worry and anxiety but also relief when the result was negative; Uncertainty surrounding the handling, where feelings of frustration, shock and injustice emerged but also expectations for the outcome; Hope and hopelessness, which appeared as a hope for the future and personal control but also a sense of being defeated, powerless and betrayed; and Community and exclusion within the family, which arose in relation to others where feeling of wanting to hide and needs of support were prominent. The goal of caring is health. The result of this study is therefore discussed with reference to Katie Eriksson's health cross and in relation to health as a movement. Further research and education is required for nurses to obtain knowledge about person-centered care through the process of genetic testing.

Sammanfattning Fel i programvara (buggar) kostar ofantliga summor varje år. I detta arbete presenteras en metod där programexekveringsmiljön utan vare sig programmerarens eller användarens inblandning utförligt kan rapportera och dölja effekterna av en avsevärd andel buggar. Genom att kompilatorn eller tolken tillåter att en och samma procedur implementeras hur många gånger som helst införs ett helt automatiskt stöd för N-Version Programming (NVP) omedelbart i programspråket. Tekniken gör programvaran feltolerant och blir ett komplement till kostsam och ofta bristfällig testning. En tolk utvecklades för ett programspråk som tillåter multipla definitioner av procedurer. Därmed har det inbyggt stöd för feltolerans genom redundans på procedurnivå. Ett experiment genomfördes där nio programmerare oberoende av varandra implementerade 12 utförligt specificerade procedurer. De olika bidragen klistrades in i ett och samma program. Nio av 12 feltoleranta sammansatta procedurer fungerade perfekt. I många fall även när en majoritet av de ingående bidragen drogs med allvarliga fel. Sammanställningen genomfördes både före och efter programmerarnas egen testning och felrättning. Testningen visade sig vara en faktor med liten inverkan på helheten även om många enskilda uppdaterade bidrag fungerade avsevärt bättre än förut. I något fall lyckades metoden påvisa tvetydigheter i specifikationen när olika versioner producerade olika men formellt korrekta resultat. / Södra Stenbocksgatan 120 252 44 HELSINGBORG 042 14 67 06

Studien undersöker känslomässiga reaktioner vid kooperativt spelande, vilka som är gemensamma för båda spelarna och hur de påverkas av hur svårt spelet är. Arbetet utgick från studier av spelares emotionella reaktioner på spel och teorierna om Flow. Spelet Sanctum användes i en serie tester där mätningar utfördes på två spelare med hjälp av rapportformulär, pulsmätare och hjärna-till-datorgränssnittet Emotiv EPOC. Studien fann att spelarna ibland upplevde samma känslor när de spelade tillsammans och att den ökade svårighetsgradens huvudsakliga effekt var att förändringarna i känslorna blev skarpare och större. Det tycktes huvudsakligen vara motgångar som splittrade spelarnas upplevelser. Resultaten ansågs tyda på att Flow är det optimala tillståndet för känslorna att växa i, och att ohanterbara situationer desynkroniserar dem. Undersökningen omfattade tio personer och åtta tester.

Denna studie undersöker direkt effekt av testning för motoriskt utförda handlingsfraser eftertvå veckor. Studien omfattar trettioen försökspersoner (N=31), 18 kvinnor och 13 män.Försökspersonerna är studenter från Örebro Universitetet. För att utföra experimentetanvänds dataprogrammet E-Prime. Försökspersonerna får lära sig 48 olika handlingsfraser,till exempel ”lyft glaset”, samtidigt som de utför fraserna motoriskt. Resultatet visar att detfanns en direkt testeffekt för motoriskt utförda handlingsfraser efter två veckor. / This study investigates direkt testing effect for self-performed actions after two weeks. Studyincludes 31 participants (N=31) 18 women and 13 men. Participants are students at ÖrebroUniversity. The computer program E-prime is used to carry out the experiment. Participantslearns 48 action phrases . One example of an action phrase is ”lift the glass” and this actionevent is self- performed at the same time. Result shows that there is an direkt testing effect onself-performed action events after two weeks.

Client-side web applications have recently gone from progressive enhancements to powering large scale Single-page Applications (SPAs). Testing such applications is a tedious effort, often requiring manually constructing tests and emulating the browser, which leads to high programming effort and low performance. This thesis investigates how web applications can be designed, implemented and tested in order to make reliable applications with high test performance using Design by Contract (DbC) and automatically generated tests without significantly increasing programming effort. The results consist of a formal model for reactive programs using denotational and axiomatic semantics in order to not be tied to a specific programming language. The model is tested by implementing a sample application in Clojure and evaluating different aspects such as test coverage and test performance, in addition to mutation-based testing. Furthermore, the formal model can be used as a blueprint for developing reliable applications and serve as a formal building block for future research on web applications. Additionally, the sample application may be used as a guideline for real world development. The results show that applications implementing the formal model have generated test suites that are likely to detect programmer errors and can achieve high test coverage and performance while requiring less or equal effort when compared to other implementations and manual testing. / Klientbaserade webbapplikationer har under de senaste åren växt från mindre dynamiska förbättringar till att fullständigt driva Single-page Applikationer (SPAs). Att skriva tester för sådana applikationer är en komplex uppgift som ofta kräver emulering av webbläsare, vilket leder till mycket arbete och låg prestanda. Den här studien undersöker hur webbapplikationer kan designas och implementeras för att skapa pålitliga applikationer genom att använda Design by Contract (DbC) och automatiskt genererade tester, utan att signifikant påverka arbetsbördan för utvecklare. En formell modell för reaktiva applikationer presenteras med hjälp av denotationell och axiomatisk semantik för att inte begränsas till ett enskilt programspråk. Modellen testas genom utveckling och utvärdering av en exempelapplikation skriven i Clojure där olika aspekter såsom täckningsgrad och prestanda hos tester samt mutationsbaserad testning undersöks. I resultaten av den här studien presenteras en formell modell som kan användas som riktlinje för att bygga pålitliga webbapplikationer samt som en formell byggsten för framtida studier. Vidare så kan även exempelapplikationen användas som mall för utveckling av applikationer i industrin. Resultaten visar att applikationer som implementerar modellen har en testsvit som är trolig att upptäcka programmeringsfel samt uppnår hög täckningsgrad och prestanda, medan de kräver mindre eller liknande arbete som andra implementationer och manuellt programmerade tester.