Specification Based Testing of on Android Systems

Fu, Yujian; Choosilp, Wichien

doi:10.5121/ijwmn.2017.9501

Cited by 2 publications

(1 citation statement)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As with any form of software testing, it is intrinsically an incomplete technique that cannot provide any formal compliance guarantee; it is rather aimed at helping developers find defects -specific inputs for which the specification is violated, and which can then be used to fix the system's implementation. Despite this incompleteness, specification-based testing has proved its bugfinding capability in numerous use cases over the years [2], [15].…”

Section: Imentioning

confidence: 99%

Test Sequence Generation with Cayley Graphs

Hallé

Khoury

2021

2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

View full text Add to dashboard Cite

The paper presents a theoretical foundation for test sequence generation based on an input specification. The set of possible test sequences is first partitioned according to a generic "triaging" function, which can be created from a statemachine specification in various ways. The notion of coverage metric is then expressed in terms of the categories produced by this function. Many existing test generation problems, such as tway state or transition coverage, become particular cases of this generic framework. We then present algorithms for generating sets of test sequences providing guaranteed full coverage with respect to a metric, by building and processing a special type of graph called a Cayley graph. An implementation of these concepts is then experimentally evaluated against existing techniques, and shows it provides better performance in terms of running time and test suite size.

show abstract

Section: Imentioning

confidence: 99%