Sökning: "Requirements specifikation"

Visar resultat 1 - 5 av 27 uppsatser innehållade orden Requirements specifikation.

1. 1. Increasing Trust in Software by Synthesizing Property-based Tests from Existing Unit Tests : A study on the expansion of existing test suites through the creation of property-based tests via invariants inferred from existing example-based unit tests

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Richard Uggelberg; [2022]
   Nyckelord :Software Testing; Software Engineering; Test Improvement; Property-based Testing; Invariant Detection; Mjukvarutestning; Mjukvarukonstruktion; Testförbättring; Egenskapsbaserad Testning; Invariantdetektion;

   Sammanfattning : Many software projects include an extensive suite of example-based unit tests. The examples in the test suite can be used as an implicit specification of the behavior of the software. Inferring invariants from these examples may aid in the creation of property-based tests. LÄS MER

3. 2. Comparative Analysis of Real-Time Industrial Ethernet Protocols : ModbusTCP Protocol Implementation

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Roshni Maniraj; [2022]
   Nyckelord :Industrial Ethernet; Communication Protocols; Real-time communication protocols; Modbus TCP; EtherNet IP; PROFINET IO; Ethernet Powerlink; EtherCAT®; CC-Link IE; Sercos III; Industriellt Ethernet; kommunikationsprotokoll; kommunikationsprotokoll i realtid; Modbus TCP; EtherNet IP; PROFINET IO; Ethernet Powerlink; EtherCAT®; CC-Link IE; Sercos III;

   Sammanfattning : Industrial Ethernet Communication protocols for Real-Time communication is the focus of research in a variety of different industrial Applications. The subject of thesis study is a comprehensive analysis of Industrial Ethernet protocols used in safety-critical real-time environment, comparing these based on performance, safety, diagnostics and error detection features, topology preference, cost incurred and openness of the protocol. LÄS MER

4. 3. Användning av Lean för en mer förutsägbar produktionsprocess

   Uppsats för yrkesexamina på avancerad nivå, Örebro universitet/Institutionen för naturvetenskap och teknik

   Författare :Henning Glöckner; Daniel Björkman; [2022]
   Nyckelord :disturbances; process; material; störningar; process; material;

   Sammanfattning : DISAB Vacuum Technology AB (DISAB) tillverkar vakuumsystem för att skapa en spill- och dammfri industriell arbetsmiljö. I Eslöv, där det huvudsakligen tillverkas mobila systemen i form av vakuumlastare, står DISAB inför utmaningar vad kommer till produktionen av vakuumlastare. LÄS MER

5. 4. Tail Based Sampling Framework for Distributed Tracing Using Stream Processing

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :G Kibria Shuvo; [2021]
   Nyckelord :Distributed Tracing; Microservices; Observability; Monitoring; Distribuerad spårning; mikrotjänster; observerbarhet; övervakning;

   Sammanfattning : In recent years, microservice architecture has surpassed monolithic architecture in popularity among developers by providing a flexible way of developing complex distributed applications. Whereas a monolithic application functions as a single indivisible unit, a microservices-based application comprises a collection of loosely coupled services that communicate with each other to fulfill the requirements of the application. LÄS MER

7. 5. Evaluating the utility of a contract compositionality proof framework

   Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Anton Lövström; Anders Steen; [2020]
   Nyckelord :;

   Sammanfattning : A contract in system design is a concept used for specifying behaviors of and interactions between components in complex systems. Contracts make explicit the mutual commitments between components in a system. Nyberg et al propose a contracts theory and framework for proving the correctness of a decomposition of a system specification. LÄS MER