Results 11 to 20 of about 378,895 (264)
Ticket Coverage: Putting Test Coverage into Context [PDF]
2017 IEEE/ACM 8th Workshop on Emerging Trends in Software Metrics (WETSoM), 2017 There is no metric that determines how well the implementation of a ticket has been tested. As a consequence, code changed within the context of a ticket might unintentionally remain untested and get into production. This is a major problem, because changed code is more fault-prone than unchanged code.
Jakob Rott +3 more
openaire +2 more sources
Data Flow Testing and Tools Review [PDF]
مجلة التربية والعلم, 2023 Software engineering always strives to develop and identify software pitfalls and errors before publishing the software product, in testing the software. Bugs can appear during any stage of development or testing, even after the product has been released.
Abdullah H. Ali, Nada N. Saleem
doaj +1 more source
Testing Coverage Functions [PDF]
, 2012 A coverage function f over a ground set [m] is associated with a universe U of weighted elements and m subsets A_1,..., A_m of U, and for any subset T of [m], f(T) is defined as the total weight of the elements in the union $\cup_{j\in T} A_j$. Coverage functions are an important special case of submodular functions, and arise in many applications, for
Deeparnab Chakrabarty, Zhiyi Huang 0002
openaire +2 more sources
Dataflow approach to testing Java programs supported with DFC [PDF]
e-Informatica Software Engineering Journal, 2015 Code based (“white box”) approach to testing can be divided into two main types: control flow coverage and data flow coverage methods. Dataflow testing was introduced for structural programming languages and later adopted for object languages. Among many
Ilona Bluemke, Artur Rembiszewski
doaj +1 more source
A Semantic Framework for Test Coverage [PDF]
, 2006 Since testing is inherently incomplete, test selection has vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test cases with maximal impact at minimum cost. Existing coverage criteria for test suites are usually defined in terms of syntactic characteristics of the implementation under test or its ...
Laura Brandán Briones +2 more
openaire +4 more sources
Coverage Criteria for Model-Based Testing using Property Patterns [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We present in this paper a model-based testing approach aiming at generating test cases from a UML/OCL model and a given test property. The property is expressed using a dedicated formalism based on patterns, and automatically translated into an ...
Kalou Cabrera Castillos +2 more
doaj +1 more source
Increasing test coverage with Hapao
Science of Computer Programming, 2014 Test coverage is about assessing the relevance of unit tests against the tested application. It is widely acknowledged that software with a ''good'' test coverage is more robust against unanticipated execution, thus lowering the maintenance cost.
Alexandre Bergel, Vanessa Peña Araya
openaire +4 more sources
Adaptive Testing for Specification Coverage
CoRR, 2020 Ensuring correctness of cyber-physical systems (CPS) is an extremely challenging task that is in practice often addressed with simulation based testing. Formal specification languages, such as Signal Temporal Logic (STL), are used to mathematically express CPS requirements and thus render the simulation activity more systematic and principled.
Ezio Bartocci +4 more
openaire +2 more sources
Test Coverage for Network Configurations
CoRR, 2022 We develop NetCov, the first tool to reveal which network configuration lines are being tested by a suite of network tests. It helps network engineers improve test suites and thus increase network reliability. A key challenge in its development is that many network tests test the data plane instead of testing the configurations (control plane) directly.
Xieyang Xu +4 more
openaire +3 more sources
BMC Research Notes, 2020 Objective We conducted a descriptive cross-sectional study using survey and programme data to assess district-level performance along the HIV care cascade (HIV testing target achievement, linkage to ART and ART coverage) in order to formulate district ...
Richard Makurumidze +6 more
doaj +1 more source