Results 221 to 230 of about 422,930 (261)

Coverage criteria for GUI testing

ACM SIGSOFT Software Engineering Notes, 2001
A widespread recognition of the usefulness of graphical user interfaces (GUIs) has established their importance as critical components of today's software. GUIs have characteristics different from traditional software, and conventional testing techniques do not directly apply to GUIs.
Atif M. Memon, Mary Lou Soffa, Martha E. Pollack   +2 more
openaire   +1 more source

Verifiable Coverage Criteria for Automated Testing

2011
A key question for system testing of a software product is how to determine that the semantics of its requirements is adequately realized in the given implementation, or alternatively to find a series of concrete counter-examples demonstrating the violation of (a) particular requirement(s). An adequate test suite will aid in this determination.
Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert   +2 more
openaire   +1 more source

A model for concurrent states and its coverage criteria

2009 International Symposium on Autonomous Decentralized Systems, 2009
Recently, the embedded software, which is implemented in high definition TVs, recorders and cellar phones and so on, are complicated. There are several reasons. One of the reasons is that embedded software will be implemented with libraries for concurrent processing such as pthread in C language.
Hideharu Kojima, Yoshiaki Kakuda, Juichi Takahashi, Tomoyuki Ohta   +3 more
openaire   +1 more source

Structural test coverage criteria for lustre programs

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005
We present structural test coverage criteria for LUSTRE programs. LUSTRE is a synchronous data-flow declarative language widely used for safety-critical applications (avionics, energy, transport). Many coverage criteria are defined for sequential languages and are widely used in the software industry (for instance, statement or branch coverage).
Abdesselam Lakehal, Ioannis Parissis
openaire   +1 more source

Coverage Criteria for State Based Specifications

2008
Test engineers often face the task of developing a set of test cases that are appropriate for a given software artefact. The software testing literature is replete with testing methods tailored to the various specification, design, and implementation methods used in software engineering. This chapter takes a novel inverted view.
Paul Ammann, Jeff Offutt, Wuzhi Xu
openaire   +1 more source

Reducing and estimating the cost of test coverage criteria

Proceedings of IEEE 18th International Conference on Software Engineering, 2002
Test coverage criteria define a set of entities of a program flowgraph and require that every entity is covered by some test. We first identify Ec, the set of entities to be covered according to a criterion c, for a family of widely used test coverage criteria.
Marre M, Bertolino A
openaire   +4 more sources

Multigranularity Coverage Criteria for Deep Learning Libraries

Software Testing, Verification and Reliability
ABSTRACTDeep learning (DL) systems are becoming increasingly widely used in safety domains such as self‐driving cars and unmanned aerial vehicles, which arouse natural concerns about their trustworthiness. Underlying DL libraries used in the construction and execution of DL models are involved in the testing processes of DL systems.
Ying Shi, Zheng Zheng 0001, Beibei Yin, Zhiyu Xi   +3 more
openaire   +1 more source

Coverage Criteria for State-Based Testing

International Journal of Information Technology Project Management, 2019
State-based testing (SBT) is known as deriving test cases from state machines and examining the dynamic behaviour of the system. It helps to identify various types of state-based faults within a system under test (SUT). For SBT, test cases are generated from state chart diagrams based on various coverage criteria such as All Transition, Round Trip Path,
Sonali Pradhan, Mitrabinda Ray, Srikanta Patnaik   +2 more
openaire   +1 more source

USEFUL SPECIFICATION-BASED LOGIC COVERAGE CRITERIA

International Journal of Software Engineering and Knowledge Engineering, 2013
The specification-based testing can be employed to evaluate software functionalities without knowing program code. Decisions are the primary form of the pre- and post-conditions in formal specifications. This work expatiates on logic coverage criteria for specification-based testing at great length.
openaire   +1 more source

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, 2014
Automatic test data generation (ATG) is a major topic in software engineering. In this paper, we bridge the gap between the coverage criteria supported by state-of-the-art whitebox ATG technologies, especially Dynamic Symbolic Execution, and advanced coverage criteria found in the literature. We define a new testing criterion, label coverage, and prove
Sébastien Bardin, Nikolai Kosmatov, François Cheynier   +2 more
openaire   +1 more source