In order to evaluate the performance of a molecular Hain line probe assay (Hain LPA) for rapid detection of rifampicin and isoniazid resistance of Mycobocterium tuberculosis in China, 1612 smear positive patients we...In order to evaluate the performance of a molecular Hain line probe assay (Hain LPA) for rapid detection of rifampicin and isoniazid resistance of Mycobocterium tuberculosis in China, 1612 smear positive patients were consecutively enrolled in this study. Smear positive sputum specimens were collected for Hain LPA and conventional drug susceptibility testing (DST). The sensitivity and specificity of Hain LPA were analyzed by using conventional DST as golden reference. The sensitivity, specificity, positive predictive value {PPV) and negative predictive value (NPV) for rifampicin resistance detection were 88.33%, 97.66%, 81.54%, and 98.62%, respectively. The sensitivity, specificity, PPV and NPV for isoniazid resistance detection were 80.25%, 98.07%, 87.25%, and 96.78%, respectively. These findings suggested that Hain LPA can be an effective method worthy of broader use in China.展开更多
Dynamic software update(DSU)patches programs on the fly.It often involves the critical task of object transformation that converts live objects of the old-version program to their semantically consistent counterparts ...Dynamic software update(DSU)patches programs on the fly.It often involves the critical task of object transformation that converts live objects of the old-version program to their semantically consistent counterparts under the new-version program.This task is accomplished by invoking an object transformer on each stale object.However,a defective transformer failing to maintain consistency would cause errors or even crash the program.We propose TOAST(Test Object trAnSformaTion),an automated approach to detecting potential inconsistency caused by object transformers.TOAST first analyzes an update to identify multiple target methods and then adopts a fuzzer with specially designed inconsistency guidance to randomly generate object states to drive two versions of a target method.This creates two corresponding execution traces and a pair of old and new objects.TOAST finally performs object transformation to create a transformed object and detects inconsistency between it and the corresponding new object produced from scratch by the new program.Moreover,TOAST checks behavior inconsistency by comparing the return variables and exceptions of the two executions.Experimental evaluation on 130 updates with default transformers shows that TOAST is promising:it got 96.0%precision and 85.7%recall in state inconsistency detection,and 81.4%precision and 94.6%recall in behavior inconsistency detection.The inconsistency guidance improved the fuzzing efficiency by 14.1%for state inconsistency detection and 40.5%for behavior inconsistency detection.展开更多
基金supported by Bill&Melinda Gates Foundation Tuberculosis Prevention and Control Project(2009-04-01)
文摘In order to evaluate the performance of a molecular Hain line probe assay (Hain LPA) for rapid detection of rifampicin and isoniazid resistance of Mycobocterium tuberculosis in China, 1612 smear positive patients were consecutively enrolled in this study. Smear positive sputum specimens were collected for Hain LPA and conventional drug susceptibility testing (DST). The sensitivity and specificity of Hain LPA were analyzed by using conventional DST as golden reference. The sensitivity, specificity, positive predictive value {PPV) and negative predictive value (NPV) for rifampicin resistance detection were 88.33%, 97.66%, 81.54%, and 98.62%, respectively. The sensitivity, specificity, PPV and NPV for isoniazid resistance detection were 80.25%, 98.07%, 87.25%, and 96.78%, respectively. These findings suggested that Hain LPA can be an effective method worthy of broader use in China.
基金supported by the National Natural Science Foundation of China under Grant Nos.62025202 and 61690204。
文摘Dynamic software update(DSU)patches programs on the fly.It often involves the critical task of object transformation that converts live objects of the old-version program to their semantically consistent counterparts under the new-version program.This task is accomplished by invoking an object transformer on each stale object.However,a defective transformer failing to maintain consistency would cause errors or even crash the program.We propose TOAST(Test Object trAnSformaTion),an automated approach to detecting potential inconsistency caused by object transformers.TOAST first analyzes an update to identify multiple target methods and then adopts a fuzzer with specially designed inconsistency guidance to randomly generate object states to drive two versions of a target method.This creates two corresponding execution traces and a pair of old and new objects.TOAST finally performs object transformation to create a transformed object and detects inconsistency between it and the corresponding new object produced from scratch by the new program.Moreover,TOAST checks behavior inconsistency by comparing the return variables and exceptions of the two executions.Experimental evaluation on 130 updates with default transformers shows that TOAST is promising:it got 96.0%precision and 85.7%recall in state inconsistency detection,and 81.4%precision and 94.6%recall in behavior inconsistency detection.The inconsistency guidance improved the fuzzing efficiency by 14.1%for state inconsistency detection and 40.5%for behavior inconsistency detection.