“Software test-coverage measures” quantify the degree of thoroughness of testing. Tools are now available that measure test-coverage in terms of blocks, branches, computation-uses, predicate-uses, etc. that are covered. This paper models the relations among testing time, coverage, and reliability. An LE (logarithmic-exponential) model is presented that relates testing effort to test coverage (b...

Background As universal health coverage becomes the norm in many countries, it is important to determine public priorities regarding benefits to include in health insurance coverage. We report results of participation in a decision exercise among residents of Switzerland, a high-income country with a long history of universal health insurance and deliberative democracy.   Methods We adapted the...

Engineering software systems is a multidisciplinary activity, whereby a number of artifacts must be created — and maintained — synchronously. In this paper we investigate whether production code and the accompanying tests co-evolve by exploring a project’s versioning system, code coverage reports and size-metrics. Three open source case studies teach us that testing activities usually start lat...

We present a novel methodology for test case generation based on UML sequence diagrams. We create message dependence graphs (MDG) from UML sequence diagrams. Edge marking dynamic slicing method is applied on MDG to create slices. Based on the slice created with respect to each predicate on the sequence diagram, we generate test data. We formulate a test adequacy criterion named slice coverage c...

Testing is one of the very important component of software development process. Properly generated test sequences may not only locate the defects in software, but also help in reducing the high cost associated with software testing. It is often desired that test sequences should be automatically generated to achieve required test coverage. Automatic test sequence generation is a major problem i...

This document discusses data flow testing: a form of structural (white box) testing that is a variant on path testing, focussing on the definition and usage of variables, rather than the structure of the program. Two different topics relating to data flow testing are discussed: define/use testing, along with a set of test coverage metrics; and the concept of splitting a program into slices, acc...

Software testing is a proven technique widely used to increase confidence that a software product behaves as expected and to gather system usage information to support evolution. Many structural coverage criteria techniques are used to perform and measure testing activities, but their complete satisfaction is rarely achieved resulting in code release with neglected test obligations. This paper ...

We discuss how specification coverage and fault coverage based test derivation strategies can be combined. In particular, the problem of deriving a test suffix, which raises tester confidence in the configuration of the system, reached after a test derived by a specification coverage criterion, is formalized and solved in the CEFSM setting. The traditional mutant-based test derivation approach ...

Although there are quite a few approaches to Coverage Directed test Generation aided by Machine Learning which have been applied successfully to small and medium size digital designs, it is not clear how they would scale on more elaborate industrial-level designs. This paper evaluates one of these techniques, called MicroGP, on a fully fledged industrial design. The results indicate relative su...