In order to mitigate the ever-increasing trend in software failures with far reaching consequences, research has suggested close coordination of requirements engineering (RE) and testing. The literature also advocates the notion of requirements-based testing (RBT) focusing on checking both the quality attributes and implementation of requirements. As requirements reside in the environment comprised of certain problem domain phenomena, the environment assertions connecting some of these phenomena in the indicative mood play a critical part in determining the correctness of a software solution. Although several investigations emphasize the role of environment assertions in testing and QA activities, including RBT, current literature provides manual techniques of formulating environment assertions. Such an approach is extremely time consuming and highly dependent on an individual's domain knowledge. In addition, developers often struggle to formulate good assertions from scratch. To address this issue, in this thesis, we develop a boilerplate with certain placeholders that can be replaced with relevant attributes to formulate individual environment assertions. Leveraging this boilerplate, we further present a framework to capture environment assertions in an automated manner.

No description available.

Software developers dedicate a major portion of their development effort towards testing and quality assurance (QA) activities, especially during and around the implementation phase. Nevertheless, we continue to see an alarmingly increasing trend in the cost and consequences of software failure. In an attempt to mitigate such loss and address software issues at a much earlier stage, researchers have recently emphasized on the successful coordination of requirements engineering and testing (RET). Jackson points out that requirements reside in the environment which is comprised of certain phenomena, also known as environment assertions, and a large number of software issues stem from faulty environment assertions. Current literature doesn’t provide any explicit emphasis on the environment assertions during QA activities. In order to address this gap, in this thesis, we present a detailed empirical study on the prominence of environment assertions in RBT and further propose an automated support to capture environment assertions.

Cieľom tejto práce je navrhnúť službu pre automatizované testovanie študentských programovacích projektov na základe požiadaviek a následne implementovať túto službu za použitia technológií OpenShift, Python a Git. Vytvorenie takejto služby stavia základ pre zjednotený proces testovania študentských projektov, ktorý zahŕňa spúšťanie testovacích sád v oddelených Linuxových kontajneroch. Vylepšený testovací proces má viesť ku zjednodušeniu známkovania vyučujúcimi a taktiež zlepšeniu výsledkov študentov pri týchto úlohách.   Táto diplomová práca vysvetľuje základy testovania softvéru, pričom sa sústredí na testovanie založené na požiadavkách, poskytuje náhľad do technológie kontajnerov a objasňuje, ako boli tieto témy zahrnuté pri návrhu služby a taktiež, ako sa ich použitie odrazilo na požiadavkách na ňu. Okrem toho je implementácia tejto služby podrobená detailnej analýze, ktorá má slúžiť ako referenčný materiál pre jej akékoľvek budúce rozšírenia.   Implementovaná služba je schopná vykonávať základné operácie, zahřňajúce paralelné testovanie študentských projektov v oddelených kontajneroch, vytvorenie kontajnerizovaného ladiaceho prostredia, alebo automatické zostavenie kontajnerového obrazu pre konkrétne zadanie.

Software testing is becoming more prominent within the automotive industry due to more complex systems, and functions are implemented in the vehicles. The vehicles in the future will have the functionality to manage different levels of automation, which also means that vehicles driven by humans will have more supportive functionality to increase safety and avoid accidents. These functionalities result in a massive growth in the number of test scenarios to indicate that the vehicles are safe, and this makes it impossible to continue performing the tests in the same way as it has been done until today. The new conditions require that the test scenarios and Test Cases both be generated and executed automatically. In this thesis, an investigation and evaluation are performed to analyze the Automatic Test Case Generation methods available for inputs from Natural Language Requirements in an automotive industrial context at NEVS AB. This study aims to evaluate the NAT2TEST strategy by replacing the manual method and obtain a similar or better result. A comparative analysis is performed between the manual and automated approaches for various levels of requirements. The results show that utilizing this strategy in an industrial scenario can improve efficiency if the requirements to be tested are for well-documented lower-level requirements.