Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 21 for “"test case generation"”.
-
Automated Test Case Generation from Domain-Specific High-Level Requirement Models
… link the requirements gathering and software testing phases of development.<br/><br/>This thesis presents a framework that bridges the gap between requirement specification and testing of software using domain-specific modelling concepts. The proposed modelling notation, High-Level Requirement …
-
A test case generation approach for mobile APPS based on context and GUI events
… applications, there is a need for effective testing techniques to test the apps. The most recent testing technique focuses on graphical user interface (GUI) events with little attention to context events. This makes it difficult to identify other defects in the changes that can be inclined by …
-
Comparative study on correctness and time taken of test case generation using EFG and BXT techniques for GUI application
… GUI, the correctness of such GUI must be tested at all times. GUI testing involves checking the screens for controls, such as menus, buttons, icons and all types of bars, including tool bars, menu bars, dialog boxes and software windows. Event Flow Graph (EFG) and Behavior ExplorerTesting …
-
Tool support for testing Java generics
Test case generation is an important, yet expensive activity in testing software applications. It is neither feasible nor cost effective to manually generate test cases with all possible inputs combinations. To cut down the cost of testing and to increase the reliability of it, researchers and …
-
Automated test generation from formal specifications of real-time reactive systems
… of real-time reactive systems through rigorous testing methods. The thesis gives methods to generate test cases from the formal specifications of real-time reactive systems developed in TROMLAB framework. The scope of this thesis encompasses two major components. A Homomorphism Theorem is given …
-
PCBleed: Fuzzing for CPU Bugs Through Use of Performance Counters
… leveraging software fuzzing methods for hardware testing, focusing on the automated generation of instruction sequences that reveal hardware vulnerabilities. Unlike software fuzzing, hardware fuzzing faces challenges such as a lack of visibility into the microarchitectural processor states and …
-
Programming Language and Tools for Automated Testing
Software testing is a necessary and integral part of the software quality process. It is estimated that inadequate testing infrastructure cost the US economy between $22.2 and $59.5 billion. We present Sulu, a programming language designed with automated unit testing specifically in mind, as a …
-
Testing Models of Reactive Systems
Testing models of modern Real-time Embedded (RTE) systems is not straightforward due to timing constraints, numerous if not infinite possible behaviors, and complex communications between components. Software testing tools and approaches that can generate test cases to test these systems are …
-
Trace analysis of protocols based on formal concurrent specifications
… one another, protocol implementations must be tested for conformance to the standards on which they are based. Test case generation and trace analysis are two important topics in protocol testing research. Most of the work so far has focused on test case generation rather than trace analysis. …
-
Search-based software engineering: A search-based approach for testing from extended finite state machine (EFSM) models
… a wide range of systems. Despite its popularity, testing from an EFSM is a substantial problem for two main reasons: path feasibility and path test case generation. The path feasibility problem concerns generating transition paths through an EFSM that are feasible and satisfy a given test …
-
Testing Responsive Web Pages Using the Consistency of Automated Web Pages
… an enhanced service to existing customers. Testing the correct appearance of a responsive web page on different devices is not a trivial task because there are no standard rules for responsiveness, and the layout may need to be significantly rearranged in order to fit on smaller screens. …
-
A formal framework for specification-based embedded real-time system engineering
… activities such as formal analysis and test case generation. The research presented in this thesis proposes an engineering framework which addresses the high cost of validation and verification activities through specification-based system engineering. More specifically, the framework …
-
Supported Programming for Beginning Developers
<p>Testing code is important, but writing test cases can be time consuming, particularly for beginning programmers who are already struggling to write an implementation. We present TestBuilder, a system for test case generation which uses an SMT solver to generate inputs to reach specified lines in …
-
Augmenting large language models with static code analysis for accelerated software development and quality improvements
This thesis presents the Next-Generation Quality Accelerator (NGQA), an automated end-to-end pipeline driven by large language models (LLMs) to accelerate the quality assurance (QA) phase of the software development lifecycle using static analysis tools. NGQA integrates detection, grounding, …
-
Detecting buffer overflows using testcase synthesis and code instrumentation
… that utilizes code instrumentation and adaptive test case synthesis to find buffer overflows and corresponding failure-inducing inputs automatically. An evaluation of seven modern dynamic buffer overflow detection tools determined that C Range Error Detector (CRED) is capable of providing …
-
Automatic Generation of Test Cases for Agile using Natural Language Processing
Test case design and generation is a tedious manual process that requires 40-70% of the software test life cycle. The test cases written manually by inexperienced testers may not offer a complete coverage of the requirements. Frequent changes in requirements reduce the reusability of the manually …
-
Automating Regression Test Selection for Web Services
… use, so do the methods which are being used to test and maintain them. Regression Testing is a major component of most major testing systems but has only begun to be applied to Web services. The majority of the tools and techniques applying regression test to Web services are focused on …
-
A constraint solver for software engineering : finding models and cores of large relational specifications
… applications to design analysis, code checking, test-case generation, and declarative configuration. The solver provides analyses for both satisfiable and unsatisfiable specifications--a finite model finder for the former and a minimal unsatisfiable core extractor for the latter. It works by …
-
Conformance testing of peer-to-peer systems using message traffic analysis
… Internet connectivity that make the software testing process difficult. This research defines a method for conformance testing peer-to-peer content distribution systems called “Method for Conformance Testing by Analyzing Message Activity” (MCTAMA). MCTAMA uses a common representation for …
Page 1 of 2