基于规约的测试相关论文
测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化......
UML作为面向对象软件开发的事实上的标准建模语言,近年来得到了广泛的应用,基于UML的测试也成为面向对象软件测试的研究热点.该文......
