Carasoft AB är ett företag som specialiserat sig på utveckling av dokumenthanteringssystem. Man erbjuder bland annat ett Windowsbaserat dokumenthanteringssystem vid namn Caradoc. Systemet består av flertalet DLL:er skrivna i Delphi och har inte ändrats eller kompilerats sedan 2004. Det här examensarbetet har i syfte att utreda om det finns möjlighet att inom rimlig tid portera Caradoc till Windows 7, med hjälp av den nya Delphi-versionen XE2. Efter en förstudie i ämnet portering, programspråket Delphi och systemets struktur gjordes ett försök att portera systemets största DLL "OfficeUtils.dll".Erfarenheter från examensarbetet visar på tre viktiga förutsättningar för att porteringen ska lyckas. Arbetet resulterade i en fungerande DLL samt ett antal porterade och fungerande Delhpi-komponenter. Slutligen dras slutsatsen att systemet bör kunna porteras som tänkt. / Carasoft is a company specializing in document handling systems. Caradoc, a product from Carasoft, is a system that has not been updated or compiled since 2004. It is a document handling system for Windows with several DLLs written in Delphi. The main goal of this thesis is to investigate whether a full scale porting of Caradoc to Windows 7 is feasible within a reasonable period of time. The work is done with the new Delphi version XE2. An initial study was performed, concerning porting in general, the Delphi programming language and the Caradoc system in particular. Thereafter an attempt was made to port the largest DLL,  “OfficeUtils.dll”, of the system. This thesis shows three conditions that should be satisfied for a porting effort to be successful. This work also resulted in a functional DLL and several working Delphi components. In conclusion, the system can be ported as envisioned.

Stress på arbetsplatsen relaterat till många inkommande och utgående kommunikationskanaler är ett reellt problem. Applikationer som samlar alla kanaler i samma verktyg kan hjälpa till på det här området. För att förenkla vid utveckling av en sådan applikation kan ett modulärt system skapas, där varje modul ser liknande ut och enkelt kan kopplas in i en huvudapplikation. Den här studien undersöker de problem som kan uppstå när flera tjänster ska integreras, mer specifikt genom att titta på hur en befintlig modul för e-post via Google Apps kan porteras för att stödja e-post via Microsoft Office 365. Arbetet har skett enligt metoder för testdriven portering och varje steg i porteringen har dokumenterats noggrant. Ett antal problemområden har identifierats och möjliga lösningar föreslås. Utfrån de problem som uppstått dras slutsatsen att de är av en sådan karaktär att de inte utgör något hinder för en portering.

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.