论文研究 基于有向同步交互图的类族测试用例生成算法.pdf

根据类对象之间的消息通信产生的同步消息、消息传递以及消息等待的交互特征，设计了一种有向同步交互图(DSIG)模型，提出了类继承的同步交互路径(SIAPaths)测试用例生成方法，给出了自动生成同步交互路径的算法。同时，提出了同步交互序列测试充分性准则，并从基本交互路径序列和基本交互消息序列的测试覆盖率两方面阐述了测试的可行性。