Search for dissertations about: "Mohammad Reza Mousavi"
Found 4 swedish dissertations containing the words Mohammad Reza Mousavi.
-
1. Model Checking-Based Software Testing for Function-Block Diagrams
Abstract : 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. READ MORE
-
2. Automatic generation of configurable test-suites for software product lines
Abstract : 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. READ MORE
-
3. Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning
Abstract : 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. READ MORE
-
4. Modeling and Model-Based Testing of Software Product Lines
Abstract : 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. READ MORE