GB/T 30268的本部分規(guī)定了很多測(cè)試斷言,這些測(cè)試斷言是用GB/T 30268.1中規(guī)定的斷言語(yǔ)言來(lái)編寫的。本部分規(guī)定了GB/T 30267.1-2013中定義的BSP的5個(gè)一致性子類將要執(zhí)行本部分所有測(cè)試斷言中的哪些子集,同時(shí)還規(guī)定了一些附加的斷言,這些斷言的執(zhí)行取決于被測(cè)的軟硬件實(shí)現(xiàn)是否滿足GB/T 30267.1-2013的可選特征。本部分規(guī)定的測(cè)試斷言并不全面(見(jiàn)GB/T 30268.1-2013第6章)。BSP的軟硬件實(shí)現(xiàn)根據(jù)GB/T 30268.1中規(guī)定的方法以及本部分規(guī)定的測(cè)試斷言來(lái)測(cè)試,僅能表明與這些測(cè)試斷言涵蓋的GB/T 30267.1-2013的部分保持一致。