| 1. | Set in case the sequence numbers need to be synchronized 在需要同步序列号的情况下设置。 |
| 2. | Loss of sequence synchronisation lss 同步序列丢失 |
| 3. | Cipher feedback mode , a block cipher mode whereby it s implemented as a self - synchronizing stream cipher 密码反馈方式( cipher feedback mode ) ,作为自同步序列密码实现的一种分组密码方式。 |
| 4. | Jiangjun tang ( computer software and theory ) directed by huimin lin a method for selecting test synchronization sequences for concurrent programs is presented 本文提出一种基于带赋值符号迁移系统stga选取测试同步序列的方法。 |
| 5. | We also present some coverages for directing the selection of test synchronization sequences . the case study shows that the error - finding ability of these coverages is better than that of random method 在这个基础上我们还提出了若干覆盖率标准来指导同步序列的选取,实例研究也表明在发现错误的能力方面,根据这些覆盖率选取出来的同步序列要好于随机选取的同步序列。 |
| 6. | Compared with traditional approaches based on standard labelled transition system ( lts ) , stga preserves important structural information which has a great impact on test sequence selection . as a consequence , the stga - based method has significant advantage in test sequence selection 与传统的基于标号:迁移系统lts的方法相比, stga中保留了对测试同步序列的选取有重要影响的结构信息,因此有利于高效率同步序列的选取。 |
| 7. | We first propose and implement a sequential word - level pattern parallel fs algorithrn for synchionous sequential circuits . differing from other similar algorithins , it utilizes the relative independence of every fault test sequence generated by the g - f two - value tg algorithm , pwtitions and dynamically mounts test pattem , avoids redundant simulation for added synchlronous sequence , and gets better results 首先提出并实现了一个新的同步时序电路单机字级测试码并行fs算法,该算法与现有同类方法的不同在于,利用确定性g - f二值tg算法的每个故障测试序列之间的相对独立性,对测试码进行分解并动态组装,避免了对添加的同步序列的冗余模拟,效果较好。 |
| 8. | In this paper , we propose a strategy for selecting synchronization sequences from java multi - thread program based on the analyzing of reading and writing on shared variable , and implemented a deterministic testing framework of java multi - thread program by using the dynamic proxy class . a reachability testing system of java multi - thread program is constructed by the strategy and the deterministic testing framework 本文提出了一种基于共享变量读写操作分析的java多线程程序同步序列生成策略,采用动态代理类proxy实现了java多线程程序确定性测试框架系统,从而实现了一个java多线程可达性测试系统。 |