CAJ | 학술논문

基于规格说明的测试可以在不需要了解软件程序代码的情况下对软件进行功能测试.判定是形式规格说明中用于描述前、后置条件的主要形式.分析了基于规格说明的逻辑覆盖测试准则,针对已有的决定性逻辑覆盖测试准则的不足,提出了掩盖性逻辑覆盖测试准则,并对其进行了详细分析.提出了掩盖性逻辑覆盖测试准则的一个可行的测试生成算法.根据该准则生成的测试用例能够发现条件的掩盖性带来的错误.然后,从判定的结构入手,分析了条件之间的约束关系、复杂判定的分解与合成、判定之间的关系.这些分别能够阐明逻辑覆盖中条件间的耦合性问题、同一个条件在判定中的多次出现问题以及判定在程序中的位置问题.继而提出了全真判定覆盖、全假判定覆盖、完全子判定覆盖、唯一条件真覆盖以及唯一条件假覆盖等测试准则.满足这些测试准则的测试用例集能检测出不同类型的错误.最后,给出了这些测试准则之间的包含关系图,并建议了不同测试准则适用的应用场景.
기우규격설명적측시가이재불수요료해연건정서대마적정황하대연건진행공능측시.판정시형식규격설명중용우묘술전、후치조건적주요형식.분석료기우규격설명적라집복개측시준칙,침대이유적결정성라집복개측시준칙적불족,제출료엄개성라집복개측시준칙,병대기진행료상세분석.제출료엄개성라집복개측시준칙적일개가행적측시생성산법.근거해준칙생성적측시용례능구발현조건적엄개성대래적착오.연후,종판정적결구입수,분석료조건지간적약속관계、복잡판정적분해여합성、판정지간적관계.저사분별능구천명라집복개중조건간적우합성문제、동일개조건재판정중적다차출현문제이급판정재정서중적위치문제.계이제출료전진판정복개、전가판정복개、완전자판정복개、유일조건진복개이급유일조건가복개등측시준칙.만족저사측시준칙적측시용례집능검측출불동류형적착오.최후,급출료저사측시준칙지간적포함관계도,병건의료불동측시준칙괄용적응용장경.