发明名称 Generation of a computer program to test for correct operation of a data processing apparatus
摘要 Software built in self test computer programs 12 are generated using a genetic algorithm 14 technique. A fault simulator 20 is used to simulate candidate software built in self test computer programs and compare the simulated execution, such to deliberately introduced test faults, with expected execution outcomes previously derived for that candidate program to determine the sensitivity of that candidate program to the faults which are introduced. This score can be fed back into the genetic algorithm mutation to converge the mutation process upon appropriately fault sensitive software built in self test program code.
申请公布号 US7373550(B2) 申请公布日期 2008.05.13
申请号 US20050049296 申请日期 2005.02.03
申请人 ARM LIMITED 发明人 BRAWN JONATHAN WILLIAM;CRASKE SIMON JOHN;HARROD PETER LOGAN;FURBISH ERIC JASON
分类号 G06F11/00 主分类号 G06F11/00
代理机构 代理人
主权项
地址