微计算机信息
微計算機信息
미계산궤신식
CONTROL & AUTOMATION
2006年
18期
252-254,36
,共4页
可达性测试%同步序列%伯恩斯坦条件%时序约束
可達性測試%同步序列%伯恩斯坦條件%時序約束
가체성측시%동보서렬%백은사탄조건%시서약속
Java程序的并发性使它比串行程序更难测试,而可达性测试是一种有效的并发程序测试方法.首先比较了现有的Java程序可达性测试技术,进而提出了一种融合的改进方案以提高同步序列集的生成效率.然后指出新方案已覆盖了用伯恩斯坦条件裁减同步序列集的功能.最后详述如何通过扫描源程序来自动获取同步事件的时序约束关系,进而减少不可行的同步序列,并介绍了相应的实现算法和数据结构.
Java程序的併髮性使它比串行程序更難測試,而可達性測試是一種有效的併髮程序測試方法.首先比較瞭現有的Java程序可達性測試技術,進而提齣瞭一種融閤的改進方案以提高同步序列集的生成效率.然後指齣新方案已覆蓋瞭用伯恩斯坦條件裁減同步序列集的功能.最後詳述如何通過掃描源程序來自動穫取同步事件的時序約束關繫,進而減少不可行的同步序列,併介紹瞭相應的實現算法和數據結構.
Java정서적병발성사타비천행정서경난측시,이가체성측시시일충유효적병발정서측시방법.수선비교료현유적Java정서가체성측시기술,진이제출료일충융합적개진방안이제고동보서렬집적생성효솔.연후지출신방안이복개료용백은사탄조건재감동보서렬집적공능.최후상술여하통과소묘원정서래자동획취동보사건적시서약속관계,진이감소불가행적동보서렬,병개소료상응적실현산법화수거결구.
