Automated test data generation for safety critical software
Gang Yu · Jisuanji yingyong yanjiu · 2009
Automated test data generation is the most crucial technology to evaluate safety-critical software.However,the current thesis are not fully considered the safety requirement of safety-critical software,therefore the paper presented an automated test data generation strategy for safety-critical software using safety coverage criteria.At last applied the strategy to the railway station computer interlocking software.Compared with all nodes coverage criteria,it shows that has higher safety guarantee to critical transition.