事件约束相关论文
软件测试是当今计算机科学与工程中起着至关重要作用的领域之一。近年来,随着软件测试理论和技术的不断发展,它已成为软件工程领域......
测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化......
分布式程序目前被大量使用.由于并发的存在,测试分布式程序需要采用事件约束来判定运行事件序列的正确性,事件约束之间需要判定一......
由于程序的分布运行,测试分布式程序必须同时考虑并发特性和运行环境.介绍了一个面向Java语言的分布式程序测试系统JDPT(Java-orie......
软件过程是以人为中心的系统,其特点是动态性和不断演化.既定过程模型在实际执行时往往有所偏差.基于E-CSPE(extendedconstraintso......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
