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 12 of 12 for “"Black-Box Testing"”.
-
Evaluation of Modified Condition/Decision Coverage in Testing a Web Server
… a structural coverage criterion widely used in testing aviation software. Aviation software has a high level of state-based behavior, typically implemented with complex Boolean expressions. MC/DC was developed to provide the benefits of exhaustive testing of the Boolean expressions, without the …
-
Applying Software Engineering Black-Box Methods for Testing Machine Learning Models
… an approach to incorporate and align Software black-box testing methods into Machine Learning (ML) applications, specifically in the context of computer vision models. Typically, testing methods within Software Engineering (SE) encompass a range of test types that assess levels of a software …
-
An Investigation into Improving Test Effectiveness for Embedded Software
… investigation of the effectiveness of software testing on embedded systems. The aim was to improve confidence in the current methods employed or to find new methods which could improve the hit rate of defects found before software is sent to a customer. We investigate previous work into software …
-
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 …
-
Reliability quantification of nuclear safety-related software
… of a standard extensive integrated software testing strategy for safety-critical software, and Development of systematic test-based statistical software reliability quantification methodologies. The first step to improving the overall performance of software is to develop a comprehensive …
-
SPEST – A Tool for Specification-Based Testing
… thesis presents a tool for SPEcification based teSTing (SPEST). SPEST is designed to use well known practices for automated black-box testing to reduce the burden of testing on developers. The tool uses a simple formal specification language to generate highly-readable unit tests that embody …
-
Empirical assessment of architecture-based reliability of open-source software
… the failure behavior of the software using black-box testing, which treats the software as a monolithic whole. With the evolution of component based software development, the necessity to use white-box testing increased. A few architecture-based reliability models, which use white-box …
-
A Method for Systematically Generating Tests from Object-Oriented Class Interfaces
… the development and evaluation of a manual black-box testing method inspired by Zweben's test adequacy criteria, which apply white-box analogues of all-DU-pairs and all-nodes to a flow graph generated from the black-box specification. The approach described herein generates tests from a …
-
Cause-effect validation of requirements for distributed systems.
… technique, proposed by Elmendorf (Elme73) as a black-box testing technique, was used to derive test cases from an informal specification to test the corresponding implementation. The test cases obtained from this method are correct only if the requirements are correct in the first place. …
-
Using a Web Server Test Bed to Analyze the Limitations of Web Application Vulnerability Scanners
The threat of cyber attacks due to improper security is a real and evolving danger. Corporate and personal data is breached and lost because of web application vulnerabilities thousands of times every year. The large number of cyber attacks can partially be attributed to the fact that web …
-
Finding perceptually optimal operating points of a real time interactive video-conferencing system
… impacts. We then created a platform to perform black box testing on current video conferencing systems and observe how they handle the changes in operating conditions. The platform is then used to conduct a brief evaluation of the performance of Skype, a popular commercial video-conferencing …
-
ScenarioXP: A Complete Scenario-Based Testing Framework for the Exploration and Exploitation of Autonomous Vehicle Validation Scenarios
… environment means that these systems are also black-box and non-deterministic. Scenario-based V\&V testing of such systems, which involves constructing relevant and realistic scenarios to evaluate the performance of a complex system through observation, is a practical and effective means of …