Zugl.: Potsdam, Universiẗat, Diss., 2006 u.d.T.: Freund, Tessen: Experimentelles Software Engineering durch Modellierung wissensintensiver Entwicklungsprozesse.

Thesis (M.S. in Computer Science) Naval Postgraduate School, March 1997. / Thesis advisors, LuQi, Valdis Berzins. Includes bibliographical references (p. 323-324). Also available online.

Würzburg, Univ., Diss., 2009.

Thesis (Ph.D.)--University of Texas at Dallas, 2007. / Includes vita. Includes bibliographical references (leaves 220-230)

Thesis (Ph. D.)--West Virginia University, 2007. / Title from document title page. Document formatted into pages; contains x, 125 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 113-125).

In order to remain competitive, modem systems developers are increasingly under pressure to produce software solutions to complex problems faster and cheaper, whilst at the same time maintaining a high level of quality in the delivered product. One of the key quality measures is the delivery of a system that meets the customer's requirements. Failure to meet the customer's requirements may engender significant re-design, which in turn will cost money, delay product introduction and may seriously damage the developer's credibility. For these reasons, the problem of developing a precise and unambiguous statement of requirements for a proposed system is perhaps one of the most challenging problems within software engineering today. Formal, model-based specification languages such as the Z notation have been widely adopted within the context of requirements engineering, to provide a vehicle for the development of precise and unambiguous specifications. However, the mathematical foundation upon which these notations are based often makes them unapproachable and difficult to assimilate by a non-specialist reader. The problem then faced is that if the customer cannot understand the semantics of the specification, how can the customer agree that the specification is indeed a true reflection of the requirements for the desired system? Several researchers have proposed that rapid prototyping and animation of specifications can be used to increase the customer's understanding of the formal specification. This is achieved by executing specification components on candidate data and observing that the behaviour is as expected. However this requires that the original formal specification be reliably transformed into a representation capable of being executed within a computer system. To achieve this aim requires the support of computer-based tools able to assist the requirements engineer in capturing, manipulating and transforming the formal specification in an efficient and consistent manner. This thesis describes the research and development of the TranZit tool, which is a Z notation editor, checker and transformation system. TranZit supports the efficient capture and maintenance of Z notation specifications using the Windows Graphical User Interface, supported by a suite of powerful language-driven features. In addition TranZit contains a highly integrated and optimised syntax and type checker, combining traditional compiler design techniques with innovative use of object-oriented data structures and methods, to assist the requirements engineer in ensuring the internal consistency of the captured specification. Most importantly, TranZit contains a novel transformation engine, which is capable of transforming a captured Z specification into an executable representation based on extensions to LISP, suitable for direct execution in an animation environment. This process is supported by an eclectic strategy combining automated transformation with user assistance, to overcome many of the well-documented problems associated with transforming non-executable clauses in formal specifications.

Mobile application development and testing involves even greater challenges than traditional software development, given that the large number of existing devices, each with unique hardware configuration and operating system needs to be considered. Software testing constitutes a big and important part of development, where the majority of the tests are performed manually. This is time consuming and expensive. The purpose of this thesis project is therefor to examine the current test process at the company Dewire, in an effort to find ways to improve it by introducing automated tests for the Android mobile platform. The automation frameworks Appium and Espresso will be evaluated and combined with existing systems like Jenkins that already applied in Dewires agile work procedure. A test environment been implemented during this thesis project as a proof of concept, where tests are run on a real device as the application is being built. Test cases from an ongoing development project has been implemented and the results evaluated. This thesis project has shown that the framework Espresso together with a Jenkins build-server has great potential to reduce manual testing and streamline the test process. It has also shown that test automation should be implemented from start of a project, where tests are continuously kept up to date during development to be profitable. At the same time results show that test automation involves a significant time investment before time and money can be saved. / Mobilapplikationsutveckling och testning innebär en större utmaning än traditionell mjukvaruutveckling eftersom hänsyn måste tas till ett stort antal enheter, alla med unik hårdvara, skärmstorlek och operativsystem. Mjukvarutestning utgör en viktig och stor del av utvecklingen av applikationer där majoriteten av testerna idag genomförs manuellt. Detta är tidskrävande och ekonomiskt kostsamt. Syftet med detta examensarbete är därför att undersöka nuvarande testprocess hos företaget Dewire och hitta möjliga förbättringar genom att införa automatiserade tester för mobilplattformen Android. Automatiseringsverktygen Appium och Espresso utvärderas i kombination med befintliga system som Jenkins som redan används i Dewires agila arbetssätt. Under examensarbetet har en testmiljö implementerats som ett sätt för visa att konceptet fungerar, där tester körs på en testenhet i samband med att applikationen byggs. Testfall från pågående utvecklingsprojekt har implementerats och resultaten av denna automatisering har utvärderats. Examensarbetet har visat att verktyget Espresso tillsammans med en Jenkins byggserver har stor potential att effektivisera och minska manuellt testande. Arbetet visar också att testautomatisering bör implementeras från projektstart och att tester aktivt underhålls under utvecklingen för att vara lönsamt. Resultatet visar samtidigt att testautomatisering till en början innebär en väsentlig tidsinvestering innan tid och pengar kan sparas.

This bachelor thesis focuses on distributed version control systems and workflows used when working with such systems. The thesis will investigate benefits and disadvantages in using distributed version control in software development using a literature review of the available articles on the subject as well as a post-mortem analysis (with questionnaires and data collected from the build environment) of a student run software engineering project. We find that the migration costs are high, but that the advantages may outweigh its drawbacks for some. We conclude that many projects would benefit from migrating, but in particular, that new projects would not only benefit, but also not have high migration costs. / En undersökning om hur man kan arbeta med moderna, distribuerade, versionshanteringssystem. Baserat på dels en literaturstudie, och dels en frågeundersökning bland studenter på BTH dras slutsatsen att det både finns för- och nackdelar, men att fördelarna verkar väga över i det generella fallet. / Jag (Olof Johansson) är nåbar främst per e-post, men även på telefonnummer +46739467135.

Huvuduppgiften i detta examensarbete har varit att programmera en Android smart-telefon så att den kan kommunicera med en bio-sensor med syfte att skapa automatiska larm vid till exempel hjärtproblem. Hur lösningen har vuxit fram har dokumenterats tillsammans med resultatet av den informationssökning som utförts parallellt inom angränsande ämnesområden. Vid programmeringen har en Service använts för att upprätthålla en prioriterad kommunikationsprocess mellan bio-sensor och telefon. Programprototypen använder även en Widget – en mini applikation på skrivbordet - som är ett snyggt sätt att presentera mätdata. När denna produkt börjar säljas på marknaden kommer den vara klassificerad som en medicinteknisk produkt. Detta innebär att det finns ett speciellt regelverk för leverantören av produkten att följa. Applikationen är enkel att hantera för användarna men det innebär inte att den alltid är lämplig för alla. Hjärtsjuka är oftast inte i form humörmässigt så det är att föredra om patienterna själva kan fås att inse och uppskatta de fördelar som finns med den automatiska kontroll av individens status som applikationen erbjuder. / The main task during this degree project has been code design for an Android Smartphone making it able to communicate with a Bio Sensor to create an automatic alert if for example a heart problem arises. How this application has been developed has been documented together with the result of an information search that has been conducted in adjoining branches of science. The application program uses a Service to maintain high priority for the communication process between the bio-sensor and the phone. The application prototype also uses a Widget – a mini application on the Home Screen – which is a neat way to display data from the sensor. When this product is launched onto the market it will be classified as a medical device. This means that there is a special set of rules that the supplier of the product must follow. This application is easy to use but that does not mean that it always will suit everybody. Persons who suffer from heart disease mostly also suffer from low spirits. Therefore, it is desirable that the patient can be made to realize and to appreciate the advantages of automatic monitoring of the individual status that this application offers.

Today, traditional mechanical and electrical systems are replaced with special ICT (Information and communication technology) based solutions and with the invention of new technologies; this trend is increasing further more. This special ICT-based domain is called Real-time systems and today’s driveby-wire, electronic stability programs in car, control software in vehicles are just a few examples of real time systems. The task is a fundamental element of the software in a real-time system, and it is always necessary to know the longest execution time of a task, since missing a task’s deadline is a not allowed in a time critical hard real-time system. The longest execution time of a task or the Worst Case Execution Time (WCET) is estimated by WCET analysis. This estimation should be tight and safe to ensure the proper timing behavior of the real time system. But this WCET analysis is not always easy to perform, as the execution time of a task can vary by software characteristics like program flow or input data and also by hardware characteristics like speed of CPU, cache, pipeline and others. There are several methods and tools for WCET analysis. Some of them are commercial products and other are research prototypes. To verify and validate WCET analysis tools, evaluations of the tool’s properties are important, and thus WCET benchmark programs has emerged in recent years. These are intended for comparison between these tools properties and associated methods. The Mälardalen WCET benchmark suite has been maintained to evaluate the properties of various tool sets. In this thesis these benchmarks programs have been analyzed by SWEET (Swedish WCET Analysis Tool), the main tool used in this thesis. SWEET is a research prototype for WCET analysis. The main goal of this thesis work was to extend existing benchmark programs for WCET tools. It was obvious that most work load will be on benchmark program extension and at the beginning the work has been started by analyzing different small WCET benchmark programs. The evaluation of SWEET’s properties has been taken into a further extent by analyzing another benchmark program which is called PapaBench, a free real-time benchmark from Paparazzi project that represents a real-time application, developed to be embedded on different Unmanned Aerial Vehicles (UAV). Lots of time was required to complete the analyzing of PapaBench. The main reason behind this extensive work was that we decided to participate with SWEET in WCET Challenge 2011 (WCC 2011). So the purpose of the thesis ultimately turned into analyzing PapaBench instead of extending the WCET benchmark programs. The result of the thesis work is therefore mainly the analysis results from the analysis of PapaBench, which were reported to WCC 2011. The results from WCC 2011 are included in a paper presented at the WCET 2011 workshop, which took place in July 2011 in Porto, Portugal. Another part of the work was to examine real-time train control software which was provided by Bombardier. The main reason behind getting these industrial codes was to possibly add new benchmark programs to the Mälardalen WCET benchmark suite. A thorough manual study of this code has been performed to find out whether new benchmark programs could be found. However, due  to its structure and size, we decided that this code was not suitable to add to the Mälardalen WCET benchmark suite.