摘要
根据类对象之间的消息通信产生的同步消息、消息传递以及消息等待的交互特征,设计了一种有向同步交互图(DSIG)模型,提出了类继承的同步交互路径(SIAPaths)测试用例生成方法,给出了自动生成同步交互路径的算法。同时,提出了同步交互序列测试充分性准则,并从基本交互路径序列和基本交互消息序列的测试覆盖率两方面阐述了测试的可行性。
According to synchronization message, message transferring and message waiting which message communication between objects brought, a model of Directed Synchronous Interactions Graph (DSIG) was worked out. The paper proposed a class test-case generation method with SIAPaths based on the DSIG, and designed an algorithm of automatic generating SIAPaths. At the same time, it proposed a testing criteria of synchronization interactions sequences. The paper expounded the testing feasibility between basic interactions path sequences and basic interactions message sequences based on the new algorithm.
出处
《计算机应用研究》
CSCD
北大核心
2007年第6期48-51,共4页
Application Research of Computers
基金
国家自然科学基金资助项目(60474070)
湖南省科技计划资助项目(05JT1035)
湖南省教育厅科研资助项目(05C263)
关键词
类继承测试
有向同步图
交互路径
测试用例生成算法
同步交互序列
class hierarchical test
directed synchronous graph
interactions path
test case generation algorithm
synchro-nous interactions sequence