|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
The Effectiveness of T-way Test Data Generation
If you have a question about this talk, please contact Joseph Bonneau.
This talk reports the results of a study comparing the effectiveness of automatically generated tests constructed using random and t-way combinatorial techniques on safety related industrial code using mutation adequacy as the acceptance metric. A reference point to current best practice is provided by using hand generated test vectors constructed during development to establish minimum acceptance criteria. The study shows that 2-way adequate test sets are not adequate as measured by the mutants kill rate compared with hand generated test sets of similar size, but that higher factor t-way test sets can perform at least as well. To reduce the computation overhead of testing large numbers of vectors over large numbers of mutants a staged optimising approach to applying t-way tests is proposed and evaluated which shows improvements in execution time and final test set size.
This talk is part of the Computer Laboratory Security Seminar series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsMartin Centre Research Seminar Series - 42nd Annual Series of Lunchtime Lectures Art and Education Graduate Conference Ecology Lunchtime Series
Other talks(SP Wednesday Workshop) - TBC Inferno XXVI, Purgatorio XXVI, Paradiso XXVI TBC Engineered Quantum Systems (Prof. Gerard J. Milburn, The University of Queensland) 2D or not 2D? Two-dimensional nanostructures for sensing and solar energy conversion Re-building the diseased retina with stem cells