CAJ | 학술논문

文中将IOCO(Input-Output Conformance)一致性测试理论与着色Petri网(Colored Petri Nets,CPN)进行优势融合,提出一种使用CPN描述测试目的模型并驱动IOCO一致性测试选择的新方法,称为PN4TS方法.PN4TS方法首先定义了面向一致性测试的CPN模型(Conformance Testing oriented CPN,CT-CPN),描述软件系统的功能行为;定义了基于CT-CPN描述的PN-IOCO一致性关系;之后,构建CT-CPN描述的测试目的模型,并将该模型与描述软件功能行为的CT-CPN模型执行同步模拟,提出了一种测试目的模型驱动的IOCO一致性测试选择方法,并证明了所生成测试例的可靠性及其对测试目的的覆盖完备性.PN4TS方法以实际测试数据驱动测试例的生成过程,有效保证了经测试目的选择所生成的测试例是切实可执行的.文中使用简单文件传输协议例示了PN4TS方法的应用过程,之后结合数字内容点对点网络分发软件系统的实际测试生成和测试执行实践,证实了PN4TS方法应用于较大规模软件系统的一致性测试应用时具有更好的可用性和可靠性.
문중장IOCO(Input-Output Conformance)일치성측시이론여착색Petri망(Colored Petri Nets,CPN)진행우세융합,제출일충사용CPN묘술측시목적모형병구동IOCO일치성측시선택적신방법,칭위PN4TS방법.PN4TS방법수선정의료면향일치성측시적CPN모형(Conformance Testing oriented CPN,CT-CPN),묘술연건계통적공능행위;정의료기우CT-CPN묘술적PN-IOCO일치성관계;지후,구건CT-CPN묘술적측시목적모형,병장해모형여묘술연건공능행위적CT-CPN모형집행동보모의,제출료일충측시목적모형구동적IOCO일치성측시선택방법,병증명료소생성측시례적가고성급기대측시목적적복개완비성.PN4TS방법이실제측시수거구동측시례적생성과정,유효보증료경측시목적선택소생성적측시례시절실가집행적.문중사용간단문건전수협의례시료PN4TS방법적응용과정,지후결합수자내용점대점망락분발연건계통적실제측시생성화측시집행실천,증실료PN4TS방법응용우교대규모연건계통적일치성측시응용시구유경호적가용성화가고성.