基于规则的联锁软件测试集自动生成

Automating Generation of CISS Test Set Based on Rule Base

通过对联锁软件需求规格的分级划分,提出了一种联锁软件分级测试策略。在此基础上,给出了基于规则的联锁软件测试集自动生成系统框架,这种覆盖全部控制对象的测试集能够用于对被测软件联锁功能的完备测试以及安全防护功能的充分测试。

After the hierarchical classification of CISS(Computer Interlocking Safety-critical Software) requirement specifications, an automatic hierarchical testing strategy is introduced. In the next place, an automatic test set generation system based on rule base is presented. The test set which covers all the objects controlled by CISS can be used to fulfill complete testing of interlocking control functions and adequate testing of safety-protection functions. ;;;