dataflow testing helps testers design effective tests by requiring the tests to execute sequences of statements from definitions of variables to one or more subsequent uses. These def-use associations are derived fro...
详细信息
ISBN:
(纸本)9781665424639
dataflow testing helps testers design effective tests by requiring the tests to execute sequences of statements from definitions of variables to one or more subsequent uses. These def-use associations are derived from graphs that model software behavior. A "flow graph" that only includes paths that cover defuse associations, and not other control flows, has been defined elsewhere. Although these flow graphs have several advantages over previous graphs, as computed, they omit some valid paths, which are needed to use the graphs to discover subsumption relationships and generate test data. These omissions lead to errors in the results. This paper extends previous solutions by presenting a graph that represents all paths that cover def-use associations. The paper presents empirical data showing that this graph can be generated at reasonable cost and efficiently applied for dataflow subsumption discovery.
Modern automotive E/E systems are implemented as distributed real-time software systems. The constantly growing complexity of safety-relevant software functions leads to an increased importance of testing during syste...
详细信息
ISBN:
(纸本)9781728117362
Modern automotive E/E systems are implemented as distributed real-time software systems. The constantly growing complexity of safety-relevant software functions leads to an increased importance of testing during system integration of such systems. Systematic metrics are required to guide the testing process during system integration by providing coverage measures and stopping criteria but few studied approaches exist. For this purpose, we introduce a data-flow based observation scheme which captures the interplay behavior of involved ECUs during test execution and failure occurrences. In addition, we introduce a dataflow-based coverage criterion designed for black box integration. By applying the observation scheme to test cases and associated faults found during execution, we first analyze similarities in data flow coverage. By further analyzing the dataflow of failures, that slipped through the phase of system integration testing, we evaluate the usefulness of test gaps identified by using the suggested coverage criterion. We found major differences in the usage of dataflow between undetected failures and existing test cases. In addition, we found that for the studied system under test the occurrence of failures is not necessarily a direct consequence of the test execution due to functional dependencies and side effects. Overall, these findings highlight the potential and limitations of dataflow-based measures to be formalized as coverage or stopping criteria for the integration testing of distributed software systems.
Locate the faults is more complex for software program. In this paper propose a control flow and data flow coverage based fault localization technique used to locate the fault and less complexity to calculate an execu...
详细信息
ISBN:
(纸本)9781538608074
Locate the faults is more complex for software program. In this paper propose a control flow and data flow coverage based fault localization technique used to locate the fault and less complexity to calculate an executing program. Fault localization technique can be locating the fault in a program. Control flowcoverage based fault localization get the suspicious lines to drawn as control flow graph for the purpose of visualize of the code that can be include the number of test cases. All the control statements can be covered by the test cases that can be arise the problem for more failed test cases and less successful test cases. The quality of suspiciousness lines affected to the effective test cases, so program dependency proposed in this paper that can be used to improve the quality of test cases. An experiments results provide a Siemen suite program that can be include whole information about test cases.
nowadays, software testing is viewed as an important phase in software engineering life cycle as it aims to improve the quality of software under development. Due to limited software testing tools available for free, ...
详细信息
ISBN:
(纸本)9781467373197
nowadays, software testing is viewed as an important phase in software engineering life cycle as it aims to improve the quality of software under development. Due to limited software testing tools available for free, many developers cannot do a comprehensive testing to the software under development before launching the software. For this reason, this research aims to provide a prototype of a software testing tool that can be used as an initial base model for further development. The tool implements white box testing method that means the testing explores source codes of software under test to find the errors inside. We focus on one of data flow coverage techniques known as all p-uses coverage. The tool is able to calculate the all p-uses coverage percentage of the software under testing.
We introduce a family of coverage criteria, called Multi-Point Stride coverage (MPSC). MPSC generalizes branch coverage to coverage of tuples of branches taken from the execution sequence of a program. We investigate ...
详细信息
ISBN:
(纸本)9781467330763
We introduce a family of coverage criteria, called Multi-Point Stride coverage (MPSC). MPSC generalizes branch coverage to coverage of tuples of branches taken from the execution sequence of a program. We investigate its potential as a replacement for dataflowcoverage, such as def-use coverage. We find that programs can be instrumented for MPSC easily, that the instrumentation usually incurs less overhead than that for def-use coverage, and that MPSC is comparable in usefulness to def-use in predicting test suite effectiveness. We also find that the space required to collect MPSC can be predicted from the number of branches in the program.
We introduce a family of coverage criteria, called Multi-Point Stride coverage (MPSC). MPSC generalizes branch coverage to coverage of tuples of branches taken from the execution sequence of a program. We investigate ...
详细信息
ISBN:
(纸本)9781467330763
We introduce a family of coverage criteria, called Multi-Point Stride coverage (MPSC). MPSC generalizes branch coverage to coverage of tuples of branches taken from the execution sequence of a program. We investigate its potential as a replacement for dataflowcoverage, such as def-use coverage. We find that programs can be instrumented for MPSC easily, that the instrumentation usually incurs less overhead than that for def-use coverage, and that MPSC is comparable in usefulness to def-use in predicting test suite effectiveness. We also find that the space required to collect MPSC can be predicted from the number of branches in the program.
A new security testing method is proposed that combines the advantages of both traditional "black box" (monolithic functional) testing and "white box" (functional-synthesis-based) testing. The new ...
详细信息
A new security testing method is proposed that combines the advantages of both traditional "black box" (monolithic functional) testing and "white box" (functional-synthesis-based) testing. The new method allows significant coverage both for security model-based tests and for individual kernel-call tests. It eliminates redundant kernel test cases 1) by using a variant of control synthesis graphs, 2) by analyzing dependencies between descriptive kernel-call specifications, and 3) by exploiting access check separability. A higher degree of test assurance is achieved than that of other security testing methods because the new method helps eliminate cyclic dependencies among test programs for different kernel calls. The application of this method to the testing of the Secure Xenix? kernel is illustrated.
暂无评论