事件约束相关硕士博士期刊学术论文 - 搜论网

事件约束相关论文

基于CORBA分布式对象系统测试研究

软件测试是当今计算机科学与工程中起着至关重要作用的领域之一。近年来,随着软件测试理论和技术的不断发展,它已成为软件工程领域......

学位

软件测试分布式对象 CORBA 事件约束测试框架

基于有限状态进程的事件约束定义

测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化......

期刊

软件测试有限状态进程基于规约的测试并发程序事件约束

看过本文同时还关注