Sökning: "Mohammad Mousavi"

Hittade 5 avhandlingar innehållade orden Mohammad Mousavi.

  1. 1. Model Checking-Based Software Testing for Function-Block Diagrams

    Författare :Eduard Enoiu; Mohammad Reza Mousavi; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Software testing becomes more complex, more time-consuming, and more expensive. The risk that software errors remain undetected and cause critical failures increases. Consequently, in safety-critical development, testing software is standardized and it requires an engineer to show that tests fully exercise, or cover, the logic of the software. LÄS MER

  3. 2. Automatic generation of configurable test-suites for software product lines

    Författare :Vanderson Hafemann Fragal; Mohammad Reza Mousavi; Adenilso da Silva Simão; Andrzej Wasowski; Högskolan i Halmstad; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Software Product Line Engineering (SPLE) is an approach used in the development of similar products, which aims at systematic reuse of software artifacts. The SPLE process has several activities executed to assure software quality. LÄS MER

  4. 3. Interactive Search-Based Software Testing : Development, Evaluation, and Deployment

    Författare :Bogdan Marculescu; Robert Feldt; Robert Torkar; Simon Poulding; Mohammad Mousavi; Blekinge Tekniska Högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Interactive Search-Based Software Testing; Search-Based Software Testing; Search-Based Software Engineering; Industrial Validation;

    Sammanfattning : .... LÄS MER

  5. 4. Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning

    Författare :Stefan Marksteiner; Marjan Sirjani; Mikael Sjödin; Mohammad Reza Mousavi; Mälardalens universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : Automotive systems are not only becoming more open through developments like advanced driving assistance functions, autonomous driving, vehicle-to-everything communication and software-defined vehicle functionality, but also more complex. At the same time, technology from standard IT systems become frequently adopted in this setting. LÄS MER

  7. 5. Modeling and Model-Based Testing of Software Product Lines

    Författare :Mahsa Varshosaz; Mohammad Reza Mousavi; Gerardo Schneider; Wojciech Mostowski; Jiri Srba; Högskolan i Halmstad; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Software product line (SPL) engineering has become common practice for mass production and customization of variability intensive systems. A software product line comprises a family of software systems which share a managed core set of artifacts and also have a set of well-defined variabilities. LÄS MER