Essays about: "specification language"

Showing result 21 - 25 of 96 essays containing the words specification language.

  1. 21. Automated Model Generation using Graphwalker Based On Given-When-Then Specifications

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Joakim Korhonen; [2020]
    Keywords : ;

    Abstract : Software testing is often a laborious and costly process, as testers need extensive domain-specific knowledge and engineering experience to manually create test cases for diverse test scenarios. These scenarios in many industrial projects are represented in requirement specification documents. READ MORE

  3. 22. Transformation of UML State Machine Diagram into Graph Database to Generate Test Cases

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Mohammad El Musleh; [2020]
    Keywords : ;

    Abstract : The manual approach in software testing is considered as expensive, error-prone, and time-consuming activity since it depends highly on the test engineers. As well, the process of software testing requires proper planning and resources to design the test cases. READ MORE

  4. 23. A contract language for modular specification and verification of temporal properties

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Lars Hummelgren; [2020]
    Keywords : ;

    Abstract : Deductive software verification is used to prove correctness of programs with respect to contracts. Contracts are commonly expressed on procedures of a program using Hoare logic. READ MORE

  5. 24. An exploration of the test prioritization process on large software projects with no requirement specification

    University essay from Jönköping University/JTH, Datateknik och informatik

    Author : Adam Clettborn; Edwin Wallin; [2020]
    Keywords : automated testing; requirements specification; test prioritization; action learning;

    Abstract : Software projects with a larger code base can be hard to maintain, and testing could therefore be a necessity. But how would one prioritize tests in their existing software project, if their project never had any tests? The purpose of this study is to find concrete steps of how to prioritize tests in a software project, independent of project type and development language. READ MORE

  6. 25. IMPLEMENTING PERCEPTUAL SEMANTICS IN TYPE THEORY WITH RECORDS (TTR)

    University essay from Göteborgs universitet / Institutionen för filosofi, lingvistik och vetenskapsteori

    Author : Arild Matsson; [2019-11-18]
    Keywords : visual question answering; artificial intelligence; type theory; image recognition; perceptual semantics; spatial relations;

    Abstract : Type Theory with Records (TTR) provides accounts of a wide range of semantic and linguistic phenomena in a single framework. This work proposes a TTR model of perception and language. Utilizing PyTTR, a Python implementation of TTR, the model is then implemented as an executable script. READ MORE