A novel interoperability test sequences optimization scheme is proposed in which the genetic algorithm (GA) is used to obtain the minimal-length interoperability test sequences. During our work, the basic interopera...A novel interoperability test sequences optimization scheme is proposed in which the genetic algorithm (GA) is used to obtain the minimal-length interoperability test sequences. During our work, the basic interoperability test sequences are generated based on the minimal-complete-coverage criterion, which removes the redundancy from conformance test sequences. Then interoperability sequences minimization problem can be considered as an instance of the set covering problem, and the GA is applied to remove redundancy in interoperability transitions. The results show that compared to conventional algorithm, the proposed algorithm is more practical to avoid the state space explosion problem, for it can reduce the length of the test sequences and maintain the same transition coverage.展开更多
BACKGROUND Comamonas kerstersii(C.kerstersii)infections have considered as non-pathogenic to humans,however due to new techniques such as matrix-assisted laser desorption ionization-time of flight mass spectrometry(MA...BACKGROUND Comamonas kerstersii(C.kerstersii)infections have considered as non-pathogenic to humans,however due to new techniques such as matrix-assisted laser desorption ionization-time of flight mass spectrometry(MALDI-TOF-MS),more cases have been identified.CASE SUMMARY This is the first report of a maternal patient with a C.kerstersii bacteremia following caesarean section.Due to the severity of the patient’s condition;high fever and rapidly progressing organ damage,the patient was transferred to the intensive care unit.C.kerstersii was detected by metagenomic next-generation sequencing testing.Based on the drug sensitivity test,appropriate antibiotic treatment was given and the patient recovered fully.CONCLUSION This case report confirms that the detection via MALDI-TOF-MS and metagenomic next-generation sequencing testing provides a reliable basis for the diagnosis of this rare bacterial infection.展开更多
Even if two implementations of a protocol pass the conformance testing,it cannot guarantee that they can interoperate properly;so direct testing of interoperation is considered indispensable.During the interoperabilit...Even if two implementations of a protocol pass the conformance testing,it cannot guarantee that they can interoperate properly;so direct testing of interoperation is considered indispensable.During the interoperability testing,a minimal number of test sequences are expected to check as many as possible implementation errors.By using minimal-complete-coverage criterion,the test sequence generation based on digraph can produce more effective test sequences.展开更多
Network protocols are divided into stateless and stateful. Stateful network protocols have complex communication interactions and state transitions. However, the existing network protocol fuzzing does not support stat...Network protocols are divided into stateless and stateful. Stateful network protocols have complex communication interactions and state transitions. However, the existing network protocol fuzzing does not support state transitions very well. This paper focuses on this issue and proposes the Semi-valid Fuzzing for the Stateful Network Protocol (SFSNP). The SFSNP analyzes protocol interactions and builds an extended finite state machine with a path marker for the network protocol; then it obtains test sequences of the extended finite state machine, and further performs the mutation operation using the semi-valid algorithm for each state transition in the test sequences; finally, it obtains fuzzing sequences. Moreover, because different test sequences may have the same state transitions, the SFSNP uses the state transition marking algorithm to reduce redundant test cases. By using the stateful rule tree of the protocol, the SFSNP extracts the constraints in the protocol specifications to construct semi-valid fuzz testing cases within the sub-protocol domain, and finally forms fuzzing sequences. Experimental results indicate that the SFSNP is reasonably effective at reducing the quantity of generated test cases and improving the quality of fuzz testing cases. The SFSNP can reduce redundancy and shorten testing time.展开更多
Built-in-test (BIT) is responsible for equipment fault detection, so the test data correct- ness directly influences diagnosis results. Equipment suffers all kinds of environment stresses, such as temperature, vibra...Built-in-test (BIT) is responsible for equipment fault detection, so the test data correct- ness directly influences diagnosis results. Equipment suffers all kinds of environment stresses, such as temperature, vibration, and electromagnetic stress. As embedded testing facility, BIT also suffers from these stresses and the interferences/faults are caused, so that the test course is influenced, resulting in incredible results. Therefore it is necessary to monitor test data and judge test failures. Stress monitor and BIT self-diagnosis would redound to BIT reliability, but the existing anti- jamming researches are mainly safeguard design and signal process. This paper focuses on test results monitor and BIT equipment (BITE) failure judge, and a series of improved approaches is proposed. Firstly the stress influences on components are illustrated and the effects on the diagnosis results are summarized. Secondly a composite BIT program is proposed with information integra- tion, and a stress monitor program is given. Thirdly, based on the detailed analysis of system faults and forms of BIT results, the test sequence control method is proposed. It assists BITE failure judge and reduces error probability. Finally the validation cases prove that these approaches enhance credibility.展开更多
Previous test sequencing algorithms only consider the execution cost of a test at the application stage. Due to the fact that the placement cost of some tests at the design stage is considerably high compared with the...Previous test sequencing algorithms only consider the execution cost of a test at the application stage. Due to the fact that the placement cost of some tests at the design stage is considerably high compared with the execution cost, the sequential diagnosis strategy obtained by previous methods is actually not optimal from the view of life cycle. In this paper, the test sequencing problem based on life cycle cost is presented. It is formulated as an optimization problem, which is non-deterministic polynomial-time hard (NP-hard). An algorithm and a strategy to improve its computational efficiency are proposed. The formulation and algorithms are tested on various simulated systems and comparisons are made with the extant test sequencing methods. Application on a pump rotational speed control (PRSC) system of a spacecraft is studied in detail. Both the simulation results and the real-world case application results suggest that the solution proposed in this paper can significantly reduce the life cycle cost of a sequential fault diagnosis strategy.展开更多
Traditional solutions have encountered some bottleneck in improving the efficiency of protocol testing.A novel method that records the test sequence dynamically is proposed.Three dynamically reordering algorithms are ...Traditional solutions have encountered some bottleneck in improving the efficiency of protocol testing.A novel method that records the test sequence dynamically is proposed.Three dynamically reordering algorithms are brought forward in line with different fault conditions.The impact of the new method of testing efficiency is also presented.Simulation results demonstrate that the proposed solution is better than the traditional ones in terms of testing efficiency.展开更多
文摘A novel interoperability test sequences optimization scheme is proposed in which the genetic algorithm (GA) is used to obtain the minimal-length interoperability test sequences. During our work, the basic interoperability test sequences are generated based on the minimal-complete-coverage criterion, which removes the redundancy from conformance test sequences. Then interoperability sequences minimization problem can be considered as an instance of the set covering problem, and the GA is applied to remove redundancy in interoperability transitions. The results show that compared to conventional algorithm, the proposed algorithm is more practical to avoid the state space explosion problem, for it can reduce the length of the test sequences and maintain the same transition coverage.
文摘BACKGROUND Comamonas kerstersii(C.kerstersii)infections have considered as non-pathogenic to humans,however due to new techniques such as matrix-assisted laser desorption ionization-time of flight mass spectrometry(MALDI-TOF-MS),more cases have been identified.CASE SUMMARY This is the first report of a maternal patient with a C.kerstersii bacteremia following caesarean section.Due to the severity of the patient’s condition;high fever and rapidly progressing organ damage,the patient was transferred to the intensive care unit.C.kerstersii was detected by metagenomic next-generation sequencing testing.Based on the drug sensitivity test,appropriate antibiotic treatment was given and the patient recovered fully.CONCLUSION This case report confirms that the detection via MALDI-TOF-MS and metagenomic next-generation sequencing testing provides a reliable basis for the diagnosis of this rare bacterial infection.
基金supported by the National Natural Science Foundation of China(Grant Nos.60241004,60602016 and 60602016)the National Basic Research Program of China(Grant No.2003CB314801)HUAWEI Foundation(No.YJCB2006044TS).
文摘Even if two implementations of a protocol pass the conformance testing,it cannot guarantee that they can interoperate properly;so direct testing of interoperation is considered indispensable.During the interoperability testing,a minimal number of test sequences are expected to check as many as possible implementation errors.By using minimal-complete-coverage criterion,the test sequence generation based on digraph can produce more effective test sequences.
基金supported by the National Key R&D Program of China(No.2016YFB0800700)
文摘Network protocols are divided into stateless and stateful. Stateful network protocols have complex communication interactions and state transitions. However, the existing network protocol fuzzing does not support state transitions very well. This paper focuses on this issue and proposes the Semi-valid Fuzzing for the Stateful Network Protocol (SFSNP). The SFSNP analyzes protocol interactions and builds an extended finite state machine with a path marker for the network protocol; then it obtains test sequences of the extended finite state machine, and further performs the mutation operation using the semi-valid algorithm for each state transition in the test sequences; finally, it obtains fuzzing sequences. Moreover, because different test sequences may have the same state transitions, the SFSNP uses the state transition marking algorithm to reduce redundant test cases. By using the stateful rule tree of the protocol, the SFSNP extracts the constraints in the protocol specifications to construct semi-valid fuzz testing cases within the sub-protocol domain, and finally forms fuzzing sequences. Experimental results indicate that the SFSNP is reasonably effective at reducing the quantity of generated test cases and improving the quality of fuzz testing cases. The SFSNP can reduce redundancy and shorten testing time.
基金supported by the Ministry Level Project of China
文摘Built-in-test (BIT) is responsible for equipment fault detection, so the test data correct- ness directly influences diagnosis results. Equipment suffers all kinds of environment stresses, such as temperature, vibration, and electromagnetic stress. As embedded testing facility, BIT also suffers from these stresses and the interferences/faults are caused, so that the test course is influenced, resulting in incredible results. Therefore it is necessary to monitor test data and judge test failures. Stress monitor and BIT self-diagnosis would redound to BIT reliability, but the existing anti- jamming researches are mainly safeguard design and signal process. This paper focuses on test results monitor and BIT equipment (BITE) failure judge, and a series of improved approaches is proposed. Firstly the stress influences on components are illustrated and the effects on the diagnosis results are summarized. Secondly a composite BIT program is proposed with information integra- tion, and a stress monitor program is given. Thirdly, based on the detailed analysis of system faults and forms of BIT results, the test sequence control method is proposed. It assists BITE failure judge and reduces error probability. Finally the validation cases prove that these approaches enhance credibility.
基金supported by China Civil Space Foundation(No.C1320063131)
文摘Previous test sequencing algorithms only consider the execution cost of a test at the application stage. Due to the fact that the placement cost of some tests at the design stage is considerably high compared with the execution cost, the sequential diagnosis strategy obtained by previous methods is actually not optimal from the view of life cycle. In this paper, the test sequencing problem based on life cycle cost is presented. It is formulated as an optimization problem, which is non-deterministic polynomial-time hard (NP-hard). An algorithm and a strategy to improve its computational efficiency are proposed. The formulation and algorithms are tested on various simulated systems and comparisons are made with the extant test sequencing methods. Application on a pump rotational speed control (PRSC) system of a spacecraft is studied in detail. Both the simulation results and the real-world case application results suggest that the solution proposed in this paper can significantly reduce the life cycle cost of a sequential fault diagnosis strategy.
基金supported by the National Natural Science Foundation of China (Grant No.60241004 and 60602016)the National Basic Research and Development Program of China (No.2003CB314801)+1 种基金MOE-MS Key Laboratory of Multimedia Calculation and Communication Open Foundation (No.05071801)Huawei Foundation (No.YJCB2006044TS).
文摘Traditional solutions have encountered some bottleneck in improving the efficiency of protocol testing.A novel method that records the test sequence dynamically is proposed.Three dynamically reordering algorithms are brought forward in line with different fault conditions.The impact of the new method of testing efficiency is also presented.Simulation results demonstrate that the proposed solution is better than the traditional ones in terms of testing efficiency.