Software testing is a vital part of the software development process and is costly. Due to the increased use of the unified modeling language and model driven architecture approach in systems analysis and design, model-based testing has been discussed as a prominent solution for software testing to reduce the cost of software testing. Prior researches proposed an integrated method which utilizes the artifacts from the Platform Independent Model (PIM) to construct the test path and constrained class tuples. These two can then be integrated to construct an Integrated Testing Model (ITM) for determining the test data and test cases for Model-Based Testing. This study develops a methodology which extracting the information from ITM to construct the test cases. The research methodology is articulated using the design science research methodology. A prototype embedded methodology has been developed to automatically generate the test cases. A usability evaluation is performed on the prototype to demonstrate its usability. With this methodology, the test cases can be generated automatically; thereby reducing the cost and enhancing the efficiency of Model-Based Testing.

<p>I detta arbete har en undersökning genomförts angående hur spårbarhet upprätthålls vid användning av användarfall. Rapporten behandlar spårbarhet och användarfall separat för att belysa viktiga fakta inom båda områdena. Syftet med arbetet var att ta reda på hur olika tillvägagångssätt för att representera användarfall upprätthöll spårbarhet mellan olika krav, och mellan krav och dess ursprung. Informationen inom problemområdet samlades in genom en litteraturstudie. I undersökningen identifierades flera olika typer av spårbarhet, vilka sedan låg till underlag för identifiering av spårbarhet i användarfall. Undersökningen visade också att det finns flera olika sätt att representera användarfall, i allt från naturligt språk till formella diagram. Resultatet av undersökningen visade även att användningen av ett modelleringsspråk som Unified Modeling Language (UML), med inbyggda relationer och namnkonventioner, gjorde att spårbarhet kunde upprätthållas mellan olika krav, och mellan krav och dess ursprung. En begränsad spåbarhet identifierades i samband med att mindre formella representationer av användarfall använts.</p>

<p>En central del i ett systemutvecklingsprojekt är de tekniker som används för att strukturera organisationer och informationen i dessa. I flera årtionden har traditionella tekniker utvecklats. Exempel på tekniker som anses traditionella är ER-modellering och dataflödesdiagram. Idag används objektorienterade programspråk mer och mer för att implementera databaser. Det har dock inte funnits stöd för att analysera ett system objektorienterat förrän i början på 1990-talet. De tekniker och metoder som utvecklades då hade flera olika inriktningar och begreppsförvirringen var stor. 1997 kom en standard för objektorienterad modellering i form av Unified Modeling Language (UML). I och med denna standard försökte man klargöra vilka begrepp som skulle gälla och vilken typ av notation som kunde användas. Arbetet försöker att visa vad som kan ersätta de traditionella teknikerna med objektorienterade metoder och tekniker. Koncentrationen har lagts på att analysera vilka tekniker som används i de två första faserna av livscykelmodellen, förändringsanalys och systemering. Resultatet blev att en fullständig ersättning för de traditionella teknikerna inte finns i UML i livscykelmodellens två första faser.</p>

<p>In order to facilitate design and maintenance of such a large and complex site as a nuclear power plant, all system functions must be described in a stringent way. In the past, these descriptions consisted of text documents and logical diagrams, but today there are an increasing number of object-oriented programs available on the market which might be used for this purpose. This Master Thesis has made a closer study of one of these programs named Rational Rose. The principal of the program is to facilitate software design and development, not to create models of plants. However, using the program the same way as developing software, specifying actors then gradually extend the model with use cases, use cases diagrams etc, the same methods can be used when modelling plants. </p><p>During this Master Thesis most of the time has been spent developing, structuring and classifying the functions composing the Feed Water Backup System of the reactor named Oskarshamn 3. A considerable amount of time was also spent to find a general structure for typical motor and valve circuits in the plant, which are also applicable for the configuration of the Feed Water Backup System. This general structure will then be used to support maintenance and to get faster decisions when new systems are designed. </p><p>Effectuating the modernization of the nuclear power plants in Sweden, an ever- increasing use of highly software intensive systems will be introduced, which also leads to the need of finding other ways to describe those systems. A suitable method is to use Rational Rose, where the entire process, from description to final product, will be done in an integrated way. Use cases are generated and together with their related documentation they will form the description of the desired system functions.</p>

<p>This is a plug-in project using GEF and JDT in Eclipse. The purpose for this thesis is to solve the orientation for a existing project. We can get a overview of a project such as display the class diagram of the project with the help of Orientation Viewer.</p>

Reproduction de : Thèse de doctorat : Réseaux et télécommunications : Toulouse, INPT : 2005. / Titre provenant de l'écran-titre. Bibliogr. 81 réf.

Reproduction de : Thèse de doctorat : Programmation et systèmes : Toulouse, INPT : 2002. / Titre provenant de l'écran-titre. Bibliogr. 158 réf.

Reproduction de : Thèse de doctorat : Informatique : Lyon 2 : 2007. / Titre provenant de l'écran-titre. Bibliogr.

Reproduction de : Thèse de doctorat : Informatique : Toulouse, INPT : 2008. / Titre provenant de l'écran-titre. Bibliogr. 158 réf.

Thèse de doctorat : Informatique : Evry-Val d'Essonne : 2008. / Titre provenant de l'écran-titre.