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 7 of 7 for “"Conformance testing"”.
-
Conformance Testing and Error Explanation for Software Models
Error explanation addresses the question of how to correct faults. Many heuristics have been proposed, but there has been little effort to characterize the complexity of the problem. Because this is a vital part of any verification endeavor, we analyze the complexity of the most popular error …
-
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 …
-
Ensuring interoperability between network elements in next generation networks
… The reason for this caused by insufficient testing at the developing companies. The testing of such products is by nature a costly and time-consuming exercise and therefore cut down to what is considered the maximum acceptable level. Ensuring the interoperability between network elements is …
-
Bisimulation as a verification and validation technique for message sequence charts
… use of real time concurrent systems. This testing process has however been simplified with the emergence of Formal Description Techniques. FDTs not only provide the means for formally specifying a system, but also supply the theoretical basis for conformance testing. One such FDT is Message …
-
On TESTGEN+, an environment for protocal test generation and validation
… TEST Generation and Selection Environment for conformance testing which has been developed at the University of British Columbia. This environment is menu driven and unique in that it is effective, general, flexible and portable. It is based on an intermediate extended transition system …
-
Development of a High Sensitivity, Multiplex Vertical Flow Immunoassay System for the Detection of Biothreat Agents
… and industry partners for human factors and conformance testing. This final evaluation verified the system’s promising analytical specificity and competitive sensitivity for detecting viable Y. pestis pathogens, while identifying targeted paths for optimization and validation of the remaining …
-
A framework for testing cyber-physical systems : input generation and causal analysis
… In this work, we propose a framework for (conformance) testing and (causality) analysis of cyber-physical systems. The framework is divided into two stages, i) a search-based testing approach that generates effective inputs for finding faults in CPSs and ii) a notion of causality that …