Formal specifications are mathematically based techniques with which a system can be analyzed, and its functionalities be described. Case studies have shown that using formal specifications can help reduce bugs and other inconsistencies when implementing a complex system; they are more likely found during the software design phase rather than later. During the process of porting code, testing has been used to verify that the port has the same functionalities as the original. However, testing alone has been deemed necessary but not sufficient to accomplish this. This thesis questions if formal specifications could be used during the process of porting code to create an accurate model of the system, and thereby provide higher degrees of certainty that the final product conforms to the original. A step-by-step methodology is presented to answer this question. The methodology ascertains the behavior of a port target through testing and a formal specification model based on these tests is created. This model is then used to create the port. The result indicates that the methodology used has some potential since it provided a high level of certainty that the ported code adhered to the original. Since the methodology puts a high emphasis on the specification and has several layers of verification, it is likely that it is suitable for projects with several modules and interdependencies. When using it for porting a trivial or non-complex system, the overhead of the methodology may prove high in comparison to the value gained. It was also found that one must take into consideration the implicit functionalities a language provides. Strict reliance on a model could thereby lead to a less flexible process where creativity and consideration of the specifics of the target language may have produced a different result. / Formella specifikationer är matematiska tekniker med vilka ett system kan analyseras och dess funktioner beskrivas. Fallstudier har visat att användning av formella specifikationer vid mjukvaruutveckling kan bidra till att reducera antalet fel och därmed minska omkostnaderna. Vid portering av kod har tester använts för att verifiera att porteringen har samma funktionaliteter som originalet. Tester anses dock vara otillräckliga - om än nödvändiga - för att fullständigt beskriva ett system. Denna avhandling ställer frågan om formella specifikationer kan användas i en porteringsprocess och därmed ge en högre grad av tillförlitlighet i att porteringen överensstämmer med originalet. En steg-för-steg-metodik presenteras för att besvara denna fråga. Metodiken använder sig av tester för att beskriva det system som skall porteras och en modell baserad på formella specifikationer skapas genom dessa tester. Denna modell används därefter för att skapa porteringen. Resultatet indikerar att metoden har viss potential eftersom den upplevdes öka förståelsen för referensarbetet och därmed också tryggheten i att den portade koden överensstämde med originalet. Eftersom metodiken lägger stor vikt vid specifikationen och består av flera lager av verifiering är det troligt att den är mer lämplig för system som består av flertalet moduler med inbördes beroende. Vid användning för att portera ett trivialt system kan metodens om-kostnader visa sig vara för höga i förhållande till det värde som erhålls. Det visade sig även att en porteringsprocess måste ta hänsyn till de implicita funktioner ett språk tillhandahåller. En strikt anpassning till en modell kan därmed leda till en mindre flexibel process och därmed leda till ett icke tillfredsställande resultat, där kreativitet och hänsyn till målspråket skulle kunna ha gett ett annat.

Background. Ray tracing can be used to achieve hyper-realistic 3D rendering but it is a computationally heavy task. Since hardware support for real-time ray tracing was released, the game industry has been introducing this feature into games. However, even modern hardware still experience performance issues when implementing common rendering techniques with ray tracing. One of these problematic techniques is alpha testing. Objectives. The thesis will investigate the following: 1) How the texture format of the alpha map and the number of alpha maps affect the rendering times. 2) How tessellation of the alpha tested geometry affects the performance and if tessellation has the potential to fully replace the alpha test from a performance perspective. Methods. A DXR 3D renderer will be implemented capable of rendering alpha tested geometry using an any-hit shader. The renderer was used to conduct a computational performance benchmark of the rendering times while varying texture and geometry data. Two alpha tested tree models were tessellated to various levels and their related textures were converted into multiple formats that could be used for the test scenes. Results & Conclusions. When the texture formats BC7, R(1xfloat32), and BC4 were used for the alpha map, the rendering times decreased in all cases, relative RGBA(4xfloat32). BC4 showed to give the best performance gain, decreasing the rendering times with up to 17% using one alpha map per model and up to 43% using eight alpha maps. When increasing the number of alpha maps used per model the rendering times increased with up to 52% when going from one alpha map to two. A large increase in rendering times was observed when going from three to four alpha maps in all cases. Using alpha testing on the tessellated model versions increased the rendering times in most cases, at most 135%. A decrease of up to 8% was however observed when the models were tessellated a certain amount. Turning off alpha testing gave a significant decrease in rendering allowing higher tessellated versions to be rendered for all models. In one case, while increasing the number of triangles with a factor of 78 the rendering times were still decreased by 30% relative to the original alpha test implementation. This suggests that pre-tessellated models could potentially be used to replace alpha tessellated geometry when performance is highly required. / Bakgrund. Strålspårning(Ray tracing) kan användas för att uppnå hyperrealistisk 3D-rendering, men det är en mycket tung beräkningsuppgift. Sedan hårdvarustöd för att utföra strålspårning i realtid lanserades har spelindustrin introducerat funktionen i spel. Trots modern hårdvara upplevers fortfarande prestandaproblem när vanliga renderingstekniker kombineras med strålspårning. En av dessa problematiska tekniker är alfa-testning(alpha testing). Syfte. Denna avhandling kommer att undersöka följande: 1) Hur texturformatet på alfamasken(alpha map) och hur antalet alfamaskar påverkar renderingstiderna. 2) På vilket sätt tesselering av den alfa-testade geometrin påverkar prestandan och om tesselering har potentialen att ersätta alfa-testet helt ur ett prestandaperspektiv. Metod. En DXR 3D-renderare kommer att implementeras som kan rendera alfatestad geometri med hjälp av en “Any-hit” shader. Renderaren användes för att mäta och jämföra renderingstider givet varierande textur- och geometri-data. Två alfaprövade trädmodeller tesselaterades till olika nivåer och deras relaterade texturer konverterades till fyra format som användes i testscenerna. Resultat & Slutsatser. När texturformaten BC7, R(1xfloat32) och BC4 användes för alfamasken visade alla en minskad renderingstid relativ RGBA (4xfloat32). BC4 gav bästa prestandaökningen och minskade renderingstiden med upp till 17% med en alfamask per modell och upp till 43% med åtta alfamasker. När antalet alfamasker som användes per modell ökade renderingstiderna med upp till 52% när alfamaskerna ökade från en till två. En stor ökning av renderingstiden observerades när alfamaskerna gick från tre till fyra i alla testfall. När alfatestning användes på de tesselerade modellversionerna ökade renderingstiderna i de flesta fall, som högst 135%. En minskning på upp till 8% observerades emellertid när modellerna tesselaterades till en viss grad. Att stänga av alfatestning gav en signifikant ökning av prestandan, vilket tillät högre tesselerade versioner att renderas för alla modeller. Samtidigt som antalet trianglar ökade med en faktor på 78, i ett av fallen, minskades renderingstiden med 30%. Detta antyder att förtesselerade modeller potentiellt kan användas för att ersätta alfatestad geometri när prestanda är ett högt krav.

Upp till 20% av alla barn drabbas av någon form av läs- och skrivsvårigheter. För kunna utvärdera de interventioner och anpassningar som skolan gör för dessa barn behövs valida och reliabla testinstrument. Studien avser bidra med normeringsdata samt information kring eventuell igenkänningseffekt/övningseffekt för mellanstadieelever avseende ordavkodningstesten A1-A4. Sammanlagt deltog 77 elever från 2 grundskolor. Samtliga deltagande elever genomförde alla fyra ordavkodningstester. Testordningen varierades mellan varje elev. En signifikant skillnad i svårighetsgrad mellan A1, A2, A3 och A4 hittades. A1 visade sig vara signifikant lättare än A2 och A4. Det gick däremot inte att fastställa någon signifikant igenkänningseffekt/övningseffekt. Det förelåg en signifikant resultatskillnad mellan årskurserna 4 - 5 och 4 - 6. Däremot var inte resultatskillnaden mellan årskurs 5 och 6 signifikant. Resultaten antyder en viss skillnad i svårighetsgrad mellan de olika deltesten, vilket påvisar att testen kan behöva justeras något för att kunna användas som parallelltest. / Up to 20% of all children suffer from some variety of reading or writing disability. To be able to evaluate the interventions and adaptations the school makes for these children, valid and reliable test-instruments are needed. This study intends to contribute with standardization data and information about recognition effect and/or practice effect for students in grade 4, 5 and 6, regarding the word decoding tests A1-A4. A total of 77 students from 2 different schools participated. All participating students completed all four word decoding tests. The order of the tests was varied between students. A significant difference in difficulty between A1, A2, A3 and A4 was found. A1 proved to be significantly easier than A2 and A4. It was not possible to determine a significant recognition effect and/or practice effect. There was a significant difference in results between the 4th and 5th grade and the 4th and 6th grade. The difference in results between the 5th and 6th grade was not significant. The results of this study indicate a slight difference in difficulty between the tests, which prompts the need for further adjustment in each subtest for proper use as parallel tests.

Testning är en viktig del i tillverkningskedjan för att säkerställa kvalitet och funktion hos elektronikprodukter, och utförs ofta på flera nivåer innan den färdiga produkten lämnar fabriken. Produktionstester är rutinmässiga tester som tillämpas under masstillverkning och vid utformning av dessa måste tidseffektivitet prioriteras för att minimera negativ inverkan på produktionstakten. I detta projekt överfördes ett produktionstest för färdigmonterade borstlösa DC-motorer med drivelektronik till en ny testutrustning hos företaget Allied Motion. Testet skulle moderniseras och införas i företagets mjukvaruplattform uppbyggd i programspråket LabView. Testsekvensen kunde effektiviseras främst genom att kombinera dess delmoment och låta körningar av motorn användas för att testa flera egenskaper istället för att upprepas. Resultatet blev ett test som täckte in samma mätningar som i det äldre systemet med undantag för enstaka moment, samt mätte hastighet och momentkarakteristik med högre precision. Det omarbetade testet bestod av fyra deltester jämfört med tidigare tolv steg, och implementerades i fyra LabView-baserade testfall som kunde användas för att skapa en komplett testsekvens i plattformen. Uppgiften visade sig dock kräva mer tid och arbete än vad som uppskattats inledningsvis, och därför återstod flera av de arbetsuppgifter som planerats inom projektet att slutföra innan det nya testet skulle kunna tas i bruk i produktionen. / Testing is an important part of the manufacturing process to ensure the functional quality of electronics products, and is often performed in multiple stages during product assembly before the final product leaves the factory. Production tests are applied as a routine on all units in a production line, therefore time efficiency must be prioritized in the design of such tests in order to minimize the negative effect imposed on production rate. In this project an existing production test for fully assembled brushless DC motors was re-implemented for a new test equipment at Allied Motion. The purpose was to modernize the test and implement it in the company’s own LabView-based software platform. The test sequence was streamlined by combining and thereby reducing the number of steps, using the same motor runs to test multiple functions rather than repeating run sessions to collect data for similar test steps. The project resulted in a new test that, with a minor exception, covered the same measurements as in the old system and measured speed and torque performance with higher precision. The new test consisted of four partial tests instead of the earlier version’s twelve test steps, which were implemented in LabView-code as four separate test cases that could be used in creating complete test sequences in the software platform. The project task though turned out to require more time and effort than was initially estimated, and several parts that had been planned to be completed within the project time still remained before the test could be taken into use in the production line.

I detta examensarbete utreddes huruvida elektriska tester av styrenheter för tunga fordon kan automatiseras på befintliga testmiljöer. Arbetet utfördes på uppdrag av Scania CV AB för arbetsgruppen Electronic Hardware som utför tester vid utveckling och verifiering av krav på styrenheter. Genom en automatiserad testprocess kan testarbetet effektiviseras och kvaliteten höjas. Testarbetet sker på testriggar som innehåller fullskalig hårdvara från lastbilar för att kunna emulera styrenhetens autentiska arbetsmiljö. För att komma fram till ett testsystem som kunde leva upp till de krav och behov som formulerats inom kravprocessen i arbetet användes utvecklingsmodeller. Utvärderingsmatriser användes för att välja den mjuk- och hårdvara som skulle vara mest lämplig för det automatiserade testsystemet utifrån kraven. Resultatet visade att testsystemet skulle bestå av en testprogramvara som körs på en vanlig persondator och ett inbyggt system med elektroniska komponenter för att kunna utföra de elektriska testerna. För att demonstrera testsystemets möjligheter i ett helhetstest konstruerades en prototyp som har funktionalitet att utföra ett testfall som kan dra stor nytta av att automatiseras, nämligen att testa omslagsnivåer för en digital ingång. Prototypen baserades på ett mikrokontrollerkort från Arduino och ett kretskort konstruerades till detta för att kunna utföra elektriska tester med högre spänningsnivåer som krävs för styrenheter på Scaniafordon. För att utforma testfall och hantera testprocessen valdes LabVIEW, en programvara där tester designas med ett grafiskt programmeringsspråk. Testresultaten för prototyptestsystemet visade att verifieringen av kraven för omslagsnivåer förenklas radikalt vid ett automatiserat förfarande, eftersom testtiden kunde minskas drastiskt, i synnerhet vid ett repetitivt förfarande. / This thesis work intends to study the possibilities to automate electrical testing of electronic control units in an existing test environment. The work was executed on behalf of Scania CV AB for the department Electronic Hardware, who run tests in development and verification of requirements for electronic control units. By using an automated testing system, the testing process could be made more effective and raise the quality. The testing work is done on test rigs which are equipped with full-scale hardware from real trucks to emulate the working environment the electronic control unit operates into. Development models were used to be able to create a testing system which could meet the requirements that were defined during the requirement engineering process. Evaluation matrices were used to choose the soft- and hardware that could be considered the most appropriate for the automated testing system according to the requirements. The result shown that the testing system should consist of a testing software that runs on an ordinary computer and an embedded system equipped with electronic components to enable the testing system for electrical tests. To demonstrate the possibilities of the whole testing system a prototype was manufactured which was designed to execute a test case that could greatly benefit from the advantages that comes with automation. It was a test case set out to measure voltage levels when switching in a digital input. The prototype was based on a microcontroller card from Arduino and was joined by a printed circuit board to be able to run electrical tests with the higher voltage levels that were demanded by electronic control units. To design test cases and manage the test process, LabVIEW was chosen, a software in which tests are designed in a graphical programming language. Test results for the prototype test system showed that verification of the requirements for voltage levels when switching was radically simplified by an automated procedure, as the test time could be drastically reduced, particularly in a repetitive procedure.

Applications found in both large and small enterprises need a communication method in order to meet requirements of scalability and durability. Many communication methods exist, but the most well-used are message queues and message brokers. The problem is that there exist many different types of message queues and message brokers with their own unique design and implementation choices. These choices result in different parameter sets, which can be configured in order to meet requirements of for example high durability, throughput, and availability. This thesis tests two different message brokers, Apache Kafka and RabbitMQ, with the purpose of discussing and showing the impact on throughput and latency when using a variety of parameters. The experiments conducted are focused on two primary metrics, latency and throughput, with secondary metrics such as diskand CPU-usage. The parameters chosen for both RabbitMQ and Kafka are optimized for maximized throughput and decreased latency. The experiments conducted are tested on a cloud platform; Amazon Web Services. The results show that Kafka outshines RabbitMQ regarding throughput and latency. RabbitMQ is the most efficient in terms of quantity of data being written, while on the other hand being more CPU-heavy than Kafka. Kafka performs better than RabbitMQ in terms of the amount of messages being sent and having the shortest one-way latency. / Applikationer som finns i både komplexa och icke-komplexa system behöver en kommunikationsmetod för att uppfylla kriterierna för skalbarhet och hållbarhet. Många kommunikationsmetoder existerar, men de mest använda är meddelandeköer och meddelandemäklare. Problemet är att det finns en uppsjö av olika typer av meddelandeköer och meddelandemäklare som är unika med avseende på deras design och implementering. Dessa val resulterar i olika parametersatser som kan konfigureras för att passa olika kriterier, exempelvis hög hållbarhet, genomströmning och tillgänglighet. Denna avhandling testar två olika meddelandemäklare, Apache Kafka och RabbitMQ med syfte att diskutera och visa effekterna av att använda olika parametrar. De utförda experimenten är inriktade på två primära mätvärden, latens och genomströmning, med sekundära mätvärden som exempelvis diskanvändning och CPU-användning. De parametrar som valts för både RabbitMQ och Kafka optimeras med fokus på de primära mätvärdena. Experimenten som genomförs testades på en molnplattform; Amazon Web Services. Resultaten visar att Kafka presterar bättre än RabbitMQ när det kommer till genomströmning och latens. Gällande inverkan av Kafka och RabbitMQ på mängden skriven data, är RabbitMQ den mest effektiva, medan den å andra sidan är mer CPU-tung än Kafka.

Distributed systems are complex systems that offer highly scalable and reliable services. With that complexity comes the difficulty of developing and testing such systems as they are highly non-deterministic. Approaches like model checking are used to verify models of distributed systems formally, but the insufficient correlation between model and implementation, as well as the state-explosion problem, makes this approach sub-optimal. In real-world systems, transient sequences of events could result in failures, but these events can be both difficult to detect and reproduce. This thesis addresses the problem of testing distributed systems by proposing a way to test these systems through a discrete event simulator that is integrated into the distributed runtime Kompact. The simulator can run on real message-passing implementations and provides precise control over a simulation through what is referred to as fine-grained sequences of events. The flexibility of the simulator is demonstrated by using it to simulate and reproduce faulty behavior in the Raft consensus algorithm. Through state monitoring, the state transitions of such a simulation allow us to analyze and suspect the occurrence of liveness issues. / Distribuerade system är komplexa system som erbjuder mycket skalbara och pålitliga tjänster. Med den komplexiteten kommer svårigheten att utveckla och testa sådana system eftersom de är mycket icke-deterministiska. Tillvägagångssätt som model kontroll används för att verifiera modeller av distribuerade system formellt, men otillräcklig korrelation mellan modell och implementering, liksom tillståndsexplosionsproblem, gör detta tillvägagångssätt suboptimalt. I den verkliga världen system, kan övergående händelseförlopp resultera i fel, men dessa händelser kan vara både svåra att upptäcka och reproducera. Denna avhandling tar upp problemet med att testa distribuerade system genom att föreslå ett sätt att testa dessa system genom en diskret händelsesimulator som är integrerad i den distribuerade runtime Kompact. Simulatorn kan köras på riktiga meddelande-passerar implementeringar och ger exakt kontroll över en simulering genom vad som kallas finkorniga händelseförlopp. Flexibiliteten hos simulatorn demonstreras genom att använda den för att simulera och reproducera felaktiga beteende i konsensusalgoritm Raft. Genom statlig övervakning, staten övergångar av en sådan simulering gör att vi kan analysera och misstänka händelsen av livlighetsfrågor.

Edge computing can provide decentralized computation and storage resources with low latency and high bandwidth. It is a promising infrastructure to host services with stringent latency requirements, for example autonomous driving, cloud gaming, and telesurgery to the customers. Because of the structural complexity associated with the edge computing applications, research topics like service placement gain great importance. To provide a realistic and efficient general environment for evaluating service placement solutions that can be used to analyze latency requirements of services at scale, a new testing tool for mobile edge cloud is designed and implemented in this thesis. The proposed tool is implemented as a cloud native application, and allows deploying applications in an edge computing infrastructure that consists of Kubernetes and Istio, it can be easily scaled up to several hundreds of microservices, and deployment into the edge clusters is automated. With the help of the designed tool, two different microservice placement algorithms are evaluated in an emulated edge computing environment based on Federated Kubernetes. The results have shown how the performance of algorithms varies when the parameters of the environment, and the applications instantiated and deployed by the tool are changed. For example, increasing the request rate 200% can increase the delay by 100% for different algorithms. Moreover, complicating the mobile network can improve the latency performance up to 20% depending on the microservice placement algorithm. / Edge computing kan ge decentraliserad beräkning och lagringsresurser med låg latens och hög bandbredd. Det är en lovande infrastruktur för att vara värd för tjänster med strängt prestandakrav, till exempel autonom körning, molnspel och telekirurgi till kunderna. På grund av den strukturella komplexiteten som är associerad med edge computing applikationerna, får forskningsämnen som tjänsteplacering stor betydelse. För att tillhandahålla en realistisk och effektiv allmän miljö för utvärdering av lösningar för tjänsteplacering, designas och implementeras ett nytt testverktyg för mobilt kantmoln i denna avhandling. Det föreslagna verktyget implementeras på molnmässigt sätt som gör det möjligt att distribuera applikationer i en edge computing-infrastruktur som består av Kubernetes och Istio. Med hjälp av det konstruerade verktyget utvärderas två olika placeringsalgoritmer för mikrotjänster i en realistisk edge computing miljö. Resultaten visar att en ökning av förfrågningsgraden 200 % kan öka förseningen med 100 % för olika algoritmer. Dessutom kan komplicering av mobilnätet förbättra latensprestanda upp till 20% beroende på algoritmen för mikroserviceplaceringen.

Model-based testing (MBT) is a black-box software testing technique that focuses on specification of the system-under-test (SUT) and/or its environment. It uses models to automatically generate a large number of tests. To the best of our knowledge, no study has investigated the correlation of model coverage with SUT coverage using more advanced coverage criteria (such as edge-pair coverage) and the correlation of coverage (at model level and SUT level) with test suite effectiveness using non-adequate test suites in the context of MBT despite the prominence of non-adequate test suites in industry. To carry out the investigation, we extend an existing open-source MBT tool called Modbat to measure edge-pair coverage at model level, implement a new tool called PaCovForJbc to measure edge-pair coverage, edge coverage and node coverage at SUT level. Finally, we perform an experiment using these tools applied on three projects: “ArrayList”, and “LinkedList” of Java standard library, and “Apache ZooKeeper”. Overall, the results suggest the following: Edge and edge-pair coverage at model level often have a moderate to high correlation with the same type of coverage at SUT level, while that link between model and SUT for node coverage is weaker. Moreover, coverage criteria at SUT level often have a moderate to high correlation with test suite effectiveness, and a coverage criterion at SUT level has a slightly higher correlation with test suite effectiveness than the same type of coverage at model level. Regarding coverage at model level, edge and edge-pair coverage at model level have a slightly higher correlation with test suite effectiveness than node coverage at model level. Note that the mentioned suggestions need to be taken with discretion, because results vary depending on the project and/or coverage criterion under investigation. / Modellbaserad testning (MBT) är en black-box-testteknik som fokuserar på specifikation av system-under-test (SUT) och/eller dess miljö. MBT använder modeller för att generera ett stort antal tester automatiskt. Såvitt vi vet, finns ingen studie som undersökt korrelationen mellan modelltäckning och täckning av SUT med hjälp av mer avancerade täckningskriterier såsom kantparstäckning. Dessutom finns ingen studie som undersökt korrelationen mellan täckning (på modellnivå och SUT-nivå) och effektivitet av icke- adekvata testsviter som genereras med hjälp av MBT trots betydelsen av icke-adekvata testsviter i industrin. För att utföra undersökningen, utökar vi ett ”open-source” MBT-verktyg som kallas för Modbat för att mäta kantparstäckning på modellnivå. Dessutom implementerar vi ett nytt verktyg som kallas för PaCovForJbc för att mäta kantpars-, kant- och nodtäckning på SUT-nivå. Till slut utför vi experiment genom att applicera Modbat och PaCovForJbc på tre projekt: ”ArrayList” och ”LinkedList” av Javas standardbibliotek samt ”Apache ZooKeeper”. Sammantaget indikerar resultaten följande: Kant- och kantparstäckning på modellnivå har ofta en måttlig till hög korrelation med samma typ av täckning på SUT- nivå, medan länken mellan modell och SUT för nodtäckning är svagare. Dessutom har täckningskriterier på SUT-nivå ofta en måttlig till hög korrelation med testsvitseffektivitet, och ett täckningskriterium på SUT-nivå har en aning högre korrelation med testsvitseffektivitet än samma typ av täckning på modellnivå. Angående täckning på modellnivå har kant- och kantparstäckning på modellnivå en aning högre korrelation med testsvitseffektivitet än nodtäckning på modellnivå. Observera att de nämnda förslagen måste tas med diskretion, eftersom resultaten varierar beroende på projektet och/eller täckningskriteriet som undersöks.

Informationsinfrastrukturer (II) är ett ständigt evolverande system som binder samman flera olika informationssystem till en fungerande helhet. Vi har undersökt SSBTEK som är en II som binder samman olika myndigheters informationssystem. I det här arbetet har vi fördjupat oss i hur testning av II går till, vilka faktorer som är avgörande för en omfattande II-testning. Vi har genomfört en fallstudie för att närmare undersöka en II och intervjuat dess designer och testare. Det vi har kommit fram till är att testmiljötillhandahållning från designerns sida kan spela den centrala rollen i II-testningen eftersom det kan öka förståelsen av komplexa data och möjliggör testning parallellt med vidareutvecklingen av II. Andra faktorer som är viktiga är kommunikation mellan designern och testaren och testdatakvalitet. / Information Infrastructure (II) is a constantly evolving system that connects several different information systems. We have examined SSBTEK which is an II that connects different state authority information systems. In this research we have studied the process of testing in II and which factors are crucial for a comprehensive II testing. We have conducted a case study to investigate II and interviewed its designers and testers. Our findings indicate that test environment availability is playing a crucial role in II testing because it can increase the understanding of complex data and enables testing parallel with the development of the II. Other important factors that are important in II testing are test data quality and communication between designers and testers.