Sökning: "Metamorphic testing"

Hittade 4 uppsatser innehållade orden Metamorphic testing.

  1. 1. Influence of Automatically Constructed Non-Equivalent Mutants on Predictions of Metamorphic Relations

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

    Författare :Johan Götborg; [2023]
    Nyckelord :Balances scorecard; Data augmentation; Machine learning; Metamorphic testing; MuJava; Mutation testing;

    Sammanfattning : Behovet av tillförlitliga, motståndskraftiga, och beständiga system är uppenbart i vårt samhälle, som i ökande grad blir allt mer beroende av mjukvarulösningar. För att uppnå tillfredsställande nivåer av säkerhet och robusthet måste alla system kontinuerligt genomgå tester. LÄS MER

  3. 2. Mineralogy and petrology of a drill core section from Borg, SW Norrköping – fracture fillings and tentative mineral reactions

    Kandidat-uppsats, Stockholms universitet/Institutionen för geologiska vetenskaper

    Författare :Ting-Fung Chong; [2019]
    Nyckelord :Swedish Transport Administration; mineral reactions; diabas; dolerite; mafic rock; xrd; xrf; Trafikverket; Norrköping; Ostlänken; Bergslagen;

    Sammanfattning : During drilling at Borg, ca. 5 km southwest of central Norrköping, an unidentified fine-grained grey rock was encountered in contact with dark red granitic gneiss at 35m depth. The fine-grained grey rock occurs above the red granitic gneiss. LÄS MER

  4. 3. Machine Learning for Metamorphic Testing

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

    Författare :Zheyu Zhang; [2018]
    Nyckelord :;

    Sammanfattning : Test oracle is a mechanism used to validate all the functionalities ofsoftware under test. However, the lack of test oracle makes the processof software testing difficult. Metamorphic testing is a state of artapproach for automated software testing without test oracles basedon metamorphic relations. LÄS MER

  5. 4. Tre sensvekofenniska graniter : kontakt- och åldersrelationer samt förekomst av metasedimentära enklaver

    Magister-uppsats, Lunds universitet/Geologiska institutionen

    Författare :Paula Lindgren; [2004]
    Nyckelord :geografi; geologi; sensvekofenniska graniter; kontaktrelationer; åldersrelationer; metasedimentära enklaver; Earth and Environmental Sciences;

    Sammanfattning : Populärvetenskaplig sammanfattning: En mil sydväst om Örnsköldsvik finns ett ca 15×15 km stort rundat granitmassiv. Graniterna tillhör den sensvekofenniska granitgruppen, vilket innebär att de bildades för ca 1840-1820 miljoner år sedan i slutskedet av den sk svekofenniska bergskedjeveckningen. LÄS MER