Test method and tool for master-slave systems on multicore processors
AssigneeNational Tsing Hua University
InventorsJENQ KUEN LEE, SHOU WEI CHANG
Life of this patent
Estimating the term…
Abstract
A test method for a master-slave concurrent system running on a multicore processor includes the steps of establishing a PFA, otherwise called probabilistic finite automata, or probabilistic finite state machine, for a given regular expression; generating test patterns by running the PFA; splitting and merging the test patterns to generate an interleaved test pattern; and performing test on the master-slave system according to the interleaved test pattern. In an embodiment, the method further includes a step of debugging failures of the multicore processor during testing.
Claims13
A test method for a master-slave system running on a multicore processor, comprising the steps of:
- establishing a probabilistic finite automata (FPA) for a given regular expression;
- generating test patterns by running the PFA;
- splitting and merging the test patterns to generate an interleaved test pattern;
- and
- performing test on the master-slave system according to the interleaved test pattern.
A test tool for a master-slave system running on a multicore processor, comprising:
- a pattern generator configured to generate test patterns by running a probabilistic finite automaton (PFA) for a given regular expression;
- a pattern merger configured to split and merge the test patterns to generate an interleaved test pattern;
- and
- a bug detector configured to debug failures of the master-slave system while performing test on the master-slave system according to the interleaved test pattern.
Dependencies are inferred from the claim text.