Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
1,268
Prioritizing test cases for regression testing
- IEEE Transactions on Software Engineering
, 2001
"... Test case prioritization techniques schedule test cases for execution in an order that attempts to increase their effectiveness at meeting some performance goal. Various goals are possible; one involves rate of fault detection — a measure of how quickly faults are detected within the testing process ..."
Abstract
-
Cited by 234 (15 self)
- Add to MetaCart
Test case prioritization techniques schedule test cases for execution in an order that attempts to increase their effectiveness at meeting some performance goal. Various goals are possible; one involves rate of fault detection — a measure of how quickly faults are detected within the testing
A.: Evolutionary generation of whole test suites
- In: International Conference On Quality Software (QSIC
, 2011
"... Abstract—Recent advances in software testing allow automatic derivation of tests that reach almost any desired point in the source code. There is, however, a fundamental problem with the general idea of targeting one distinct test coverage goal at a time: Coverage goals are neither independent of ea ..."
Abstract
-
Cited by 25 (17 self)
- Add to MetaCart
Abstract—Recent advances in software testing allow automatic derivation of tests that reach almost any desired point in the source code. There is, however, a fundamental problem with the general idea of targeting one distinct test coverage goal at a time: Coverage goals are neither independent
Experience With The Cost Of Different Coverage Goals For Testing
- In Proceedings of the Ninth Pacific Northwest Software Quality Conference
, 1991
"... this paper. What percentage of branch, loop, multi-condition, and weak mutation coverage can be expected from thorough unit testing? Seven units from application programs were tested using an extension of traditional black box testing. Nearly 100% feasible coverage was consistently achieved. Except ..."
Abstract
-
Cited by 12 (0 self)
- Add to MetaCart
testing goal of 100% for branch, loop, multi-condition, and a subset of weak mutation coverage. However, reaching that goal after measuring coverage is less important than nearly reaching it with the initial black box test suite. A low initial coverage signals a problem in the testing process
Test-suite reduction and prioritization for modified condition/decision coverage
- In ICSM
, 2001
"... Abstract—Software testing is particularly expensive for developers of high-assurance software, such as software that is produced for commercial airborne systems. One reason for this expense is the Federal Aviation Administration’s requirement that test suites be modified condition/decision coverage ..."
Abstract
-
Cited by 98 (4 self)
- Add to MetaCart
Abstract—Software testing is particularly expensive for developers of high-assurance software, such as software that is produced for commercial airborne systems. One reason for this expense is the Federal Aviation Administration’s requirement that test suites be modified condition/decision coverage
True Coverage: A Goal of Verification
"... There are a number of RTL coverage tools on the market today that essentially tells you only that a set of signals has been toggled by a particular diagnostic test. This is useful in showing what areas of the RTL design are definitely not covered by the diagnostic test but tells you very little abou ..."
Abstract
- Add to MetaCart
There are a number of RTL coverage tools on the market today that essentially tells you only that a set of signals has been toggled by a particular diagnostic test. This is useful in showing what areas of the RTL design are definitely not covered by the diagnostic test but tells you very little
Experience With The Cost Of Different Coverage Goals For Testing
- In Proceedings of the Ninth Pacific Northwest Software Quality Conference
, 1991
"... this paper. ..."
A theory of predicate-complete test coverage and generation
- In FMCO’2004: Symp. on Formal Methods for Components and Objects. SpringerPress
, 2004
"... This page intentionally left blank. A Theory of Predicate-Complete Test Coverage and Generation ∗ Consider a program with m statements and n predicates, where the predicates are derived from the conditional statements and assertions in a program, as well as from implicit run-time safety checks. An o ..."
Abstract
-
Cited by 66 (4 self)
- Add to MetaCart
. An observable state is an evaluation of the n predicates under some state at a program statement. The goal of predicate-complete testing (PCT) is to cover every reachable observable state (at most m × 2 n of them) in a program. PCT coverage is a new form of coverage motivated by the observation that certain
An Approach to Regression Testing using Slicing
- In Proceedings of the Conference on Software Maintenance
, 1992
"... After changes are made to a previously tested program, a goal of regression testing is to perform retesting based on the modifications while maintaining the same testing coverage as completely retesting the program. We present a novel approach to data flow based regression testing that uses slicing ..."
Abstract
-
Cited by 117 (16 self)
- Add to MetaCart
After changes are made to a previously tested program, a goal of regression testing is to perform retesting based on the modifications while maintaining the same testing coverage as completely retesting the program. We present a novel approach to data flow based regression testing that uses slicing
Robust Test Generation and Coverage for Hybrid Systems
, 2007
"... Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system meets its design requirements, particularly the safety and correctness requirements of the system. In this paper, we develop a fr ..."
Abstract
-
Cited by 42 (13 self)
- Add to MetaCart
framework for generating tests from hybrid systems’ models. The core idea of the framework is to develop a notion of robust test, where one nominal test can be guaranteed to yield the same qualitative behavior with any other test that is close to it. Our approach offers three distinct advantages. 1
CoverageCity: Test Coverage for Clinical Guidelines
"... Abstract. In this paper, we introduce various metrics for test coverage of clinical guidelines, modeled in the graphical language DiaFlux. Additionally, an intuitive visualization method supports the process of test creation and communicating the reached coverage levels to medical experts involved i ..."
Abstract
- Add to MetaCart
in the authoring of the guideline. The goal is to reach a sufficiently high test coverage to assure patient safety under all circumstances. 1
Results 1 - 10
of
1,268
