In this paper, the roughness of the model function to the basis functions and its properties have been considered. We also consider some conditions to take the limit of the roughness when the observations are i.i.d. A...In this paper, the roughness of the model function to the basis functions and its properties have been considered. We also consider some conditions to take the limit of the roughness when the observations are i.i.d. An explicit formula to calculate the power of change-point test for the two phases regression through the roughness was obtained.展开更多
Test points selection for integer-coded fault wise table is a discrete optimization problem. The global minimum set of test points can only be guaranteed by an exhaustive search which is eompurationally expensive. In ...Test points selection for integer-coded fault wise table is a discrete optimization problem. The global minimum set of test points can only be guaranteed by an exhaustive search which is eompurationally expensive. In this paper, this problem is formulated as a heuristic depth-first graph search problem at first. The graph node expanding method and rules are given. Then, rollout strategies are applied, which can be combined with the heuristic graph search algorithms, in a computationally more efficient manner than the optimal strategies, to obtain solutions superior to those using the greedy heuristic algorithms. The proposed rollout-based test points selection algorithm is illustrated and tested using an analog circuit and a set of simulated integer-coded fault wise tables. Computa- tional results are shown, which suggest that the rollout strategy policies are significantly better than other strategies.展开更多
Test points selection for integer-coded fault wise table is a discrete optimization problem. On one hand, traditional exhaustive search method is computationally expensive. On the other hand, the space complexity of t...Test points selection for integer-coded fault wise table is a discrete optimization problem. On one hand, traditional exhaustive search method is computationally expensive. On the other hand, the space complexity of traditional exhaustive is low. A tradeoff method between the high time complexity and low space complexity is proposed. At first, a new fault-pair table is constructed based on the integer-coded fault wise table. The fault-pair table consists of two columns: one column represents fault pair and the other represents test points set that can distinguish the corresponding faults. Then, the rows are arranged in ascending order according to the cardinality of corresponding test points set. Thirdly, test points in the top rows are selected one by one until all fault pair are isolated. During the test points selection process, the rows that contain selected test points are deleted and then the dimension of fault-pair table decreases gradually. The proposed test points selection algorithm is illustrated and tested using an integercoded fault wise table derived from a real analog circuit. Computational results suggest show policies are better than the exhaustive strategy.展开更多
The quantitative analysis of damage position of concrete beam is established.The method of damage position free of models used in this paper is based on the variations of strain mode and test of even change point.The ...The quantitative analysis of damage position of concrete beam is established.The method of damage position free of models used in this paper is based on the variations of strain mode and test of even change point.The discrete model and the position criterion are presented.Numerical example is conducted,the result demonstrates that the method of damage position is correct and effective.展开更多
Bamboo became the best material choice for sustainable construction because it is fully renewable materials. Indonesian people traditionally choose bamboo for their housing since a long time ago. Bamboo stems usually ...Bamboo became the best material choice for sustainable construction because it is fully renewable materials. Indonesian people traditionally choose bamboo for their housing since a long time ago. Bamboo stems usually have unique shape. Its geometrical shape assumed as tapered hollow pipe. This study aims to find the effect of bamboo taper to its strength properties on center point bending test. The ratio between the Modulus of Rupture (S~) calculated in the center point, and the maximum bending stress along the beam is called strength ratio of taper (Ct). The theoretical calculation results Ct value is 1 if the taper lower than 0.023, while Ct value become lower if the taper is higher than 0.023. The survey on Ampel (Bambusa vulgaris Schrad.), Tali (Gigantochloa apus (BI. Ex Schult. f) Kurz), Gombong (Gigantochloa verticillata (Willd.) Munro), and Mayan (Gigantochloa robusta Kurz.) found that the overall taper range is -0.0047-0.0088 and 0-0.0127 for inner and outer taper respectively. On that overall range the Ct value is always 1, so it is reasonable to ignore the taper effect on one point bending test.展开更多
The Jing-well point temperatures test method is a method to diagnose and guide the treatment of diseases by measuring the subjects' symmetrical well point temperature. it is improved from the method of knowing hea...The Jing-well point temperatures test method is a method to diagnose and guide the treatment of diseases by measuring the subjects' symmetrical well point temperature. it is improved from the method of knowing heat sensitivity. The application of Jing-well point temperatures test method is wide, and it can be used in internal and external gynecology and pediatrics and facial features department. at the same time, it has the advantage of objective and accurate diagnosis. The old law has some shortcomings, such as poor intuition, unavoidable omission of information, incomplete interpretation of information and so on. In this paper, Excel software is used to transform the data into line chart form, which improves the intuition and comprehensiveness of this method, so that the data can be better interpreted and used. It is newly proposed in this article that in addition to observing the longitudinal di fference of well point temperature, more attention should be paid to the horizontal contrast difference of well point temperature in different meridians. The article also summarizes a number of treatment methods, including acupuncture, moxa moxibustion, cupping and scraping, and the selection of acupoints, including mother acupoints, tenderness points and heat-sensitive moxibustion, so that doctors can combine traditional Chinese medicine professional knowledge in clinic.展开更多
A point-of-care test system has been studied in this paper.It was used to determine substances in blood such as Hemoglobin (HB),Aspartate Aminotransferase (AST),Creatine Kinase (CK) and so on.Based on the principle ...A point-of-care test system has been studied in this paper.It was used to determine substances in blood such as Hemoglobin (HB),Aspartate Aminotransferase (AST),Creatine Kinase (CK) and so on.Based on the principle of amperometric determination,the research on detecting weak current signals was carried on.At the same time as to the weak signals (nA level),magnifying,sampling and processing the signals were also studied.Controlled by ADUC824 and assisted by other units, every substance could be determined automatically and rapidly integrated with the corresponding biosensor.In the experiment, the minimum detectable current of the instrument (YT2005-1) is 0.2 nA.With regard to the 1 nA which the experiment demanded,it could be up to the mustard.And the system can provide results in 180 s with a long term stability.展开更多
A new approach to select anoptimal set of test points is proposed. The described method uses fault-wise table and multi-objective genetic algorithm to find the optimal set of test points. First, the fault-wise table i...A new approach to select anoptimal set of test points is proposed. The described method uses fault-wise table and multi-objective genetic algorithm to find the optimal set of test points. First, the fault-wise table is constructed whose entries are measurements associated with faults and test points. The selection of optimal test points is transformed to the selection of the columns that isolate the rows of the table. Then, four objectives are described according to practical test requirements. The multi-objective genetic algorithm is explained. Finally, the presented approach is illustrated by a practical example. The results indicate that the proposed method can efficiently and accurately find the optimal set of test points and is practical for large scale systems.展开更多
Introduction: Our aim was to determine what patient volume, if any, in-laboratory testing provides results faster than Point-of-Care-Testing (POCT). Methods: To evaluate POCT effectiveness during high volume situation...Introduction: Our aim was to determine what patient volume, if any, in-laboratory testing provides results faster than Point-of-Care-Testing (POCT). Methods: To evaluate POCT effectiveness during high volume situations, POCT was compared to in-laboratory testing during busy periods with large numbers of patients. Our setting was an urban level 1 trauma center with an academic emergency medicine department (ED) and annual patient volume of 70,000. Patients seen requiring laboratory testing during peak volume between 11 a.m. and 7 p.m. were enrolled over a five-week period. One tube of blood was sent to the laboratory and the other tube was run in the ED using POCT. Turnaround time was recorded as time from when the tube was received to when the result was available. We also completed a time-motion study to assess the number of POCT machines that would be needed to process the entire average hourly hospital laboratory volume. Results: We collected 539 hematology and chemistry specimens. The POCT group was significantly faster than in-laboratory testing, with mean POCT [complete blood count (CBC) and chemistry] 3.5 minutes compared to in-laboratory CBC test time of 30.9 minutes and chemistry test time of 55 minutes. As the volume of samples peaked, there was a slight but insignificant decrease in POCT turnaround time. If POCT was used to process the entire average hospital laboratory volume which approached 54 samples an hour, 3 POCT machines would be necessary to maintain turnaround times. Conclusion: Even during ED high volume situations, POCT provided results significantly faster than in-laboratory testing.展开更多
Objective: To examine the correlation between plasma hCG results obtained with the new i-STAT® hCG point of care test with those concomitantly obtained from the central hospital laboratory utilizing the same pa...Objective: To examine the correlation between plasma hCG results obtained with the new i-STAT® hCG point of care test with those concomitantly obtained from the central hospital laboratory utilizing the same patient samples. Methods: Prospective cross-sectional laboratory test evaluation. We compared plasma hCG results obtained with the i-STAT® hCG test (Abbott Point of Care, Princeton, NJ, USA) with Architect Ci8200 (Abbott Laboratories, Abbott Park, IL, USA). We also calculated the total coefficient of variation (CV) for the i-STAT® method. Results: The two methods showed a good linear correlation (R2 = 0.994;slope 1.03) and CV for the i-STAT® method was 2.1% - 5.2%. Conclusion: We suggest that the i-STAT® hCG blood assay could be used as a complement to urine hCG assays in clinical situations when rapid test results are needed and urine is not available.展开更多
Point of Care (PoC) devices and systems can be categorized into three broad classes (CAT 1, CAT 2, and CAT 3) based on the context of operation and usage. In this paper, the categories are defined to address certain u...Point of Care (PoC) devices and systems can be categorized into three broad classes (CAT 1, CAT 2, and CAT 3) based on the context of operation and usage. In this paper, the categories are defined to address certain usage models of the PoC device. PoC devices that are used for PoC testing and diagnostic applications are defined CAT 1 devices;PoC devices that are used for patient monitoring are defined as CAT 2 devices (PoCM);PoC devices that are used for as interfacing with other devices are defined as CAT 3 devices (PoCI). The PoCI devices provide an interface gateway for collecting and aggregating data from other medical devices. In all categories, data security is an important aspect. This paper presents a security framework concept, which is applicable for all of the classes of PoC operation. It outlines the concepts and security framework for preventing security challenges in unauthorized access to data, unintended data flow, and data tampering during communication between system entities, the user, and the PoC system. The security framework includes secure layering of basic PoC system architecture, protection of PoC devices in the context of application and network. Developing the security framework is taken into account of a thread model of the PoC system. A proposal for a low-level protocol is discussed. This protocol is independent of communications technologies, and it is elaborated in relation to providing security. An algorithm that can be used to overcome the threat challenges has been shown using the elements in the protocol. The paper further discusses the vulnerability scanning process for the PoC system interconnected network. The paper also presents a four-step process of authentication and authorization framework for providing the security for the PoC system. Finally, the paper concludes with the machine to machine (M2M) security viewpoint and discusses the key stakeholders within an actual deployment of the PoC system and its security challenges.展开更多
We have presented a three dimensional optical protein chip that fulfills the demanding for point-of-care diagnostics in terms of ease-of-use (one step assay), miniaturization (5 μl). The artful combination of magneti...We have presented a three dimensional optical protein chip that fulfills the demanding for point-of-care diagnostics in terms of ease-of-use (one step assay), miniaturization (5 μl). The artful combination of magnetic nanoparticles on chip and total internal reflection imaging (TIRI) technology permits the sensitive and rapid detection of hs-CRP (high-sensitivity C-reactive protein). The whole test was complete within 10 min using “all in one step” assay with a limit of detection of 0.1 ng/mL hs-CRP. The measuring range for hs-CRP could be extended to 10 ng/mL. The chip can also be used to detect more parameters in blood samples.展开更多
This paper presents a holistic methodology for the design of medical device software, which encompasses of a new way of eliciting requirements, system design process, security design guideline, cloud architecture desi...This paper presents a holistic methodology for the design of medical device software, which encompasses of a new way of eliciting requirements, system design process, security design guideline, cloud architecture design, combinatorial testing process and agile project management. The paper uses point of care diagnostics as a case study where the software and hardware must be robust, reliable to provide accurate diagnosis of diseases. As software and software intensive systems are becoming increasingly complex, the impact of failures can lead to significant property damage, or damage to the environment. Within the medical diagnostic device software domain such failures can result in misdiagnosis leading to clinical complications and in some cases death. Software faults can arise due to the interaction among the software, the hardware, third party software and the operating environment. Unanticipated environmental changes and latent coding errors lead to operation faults despite of the fact that usually a significant effort has been expended in the design, verification and validation of the software system. It is becoming increasingly more apparent that one needs to adopt different approaches, which will guarantee that a complex software system meets all safety, security, and reliability requirements, in addition to complying with standards such as IEC 62304. There are many initiatives taken to develop safety and security critical systems, at different development phases and in different contexts, ranging from infrastructure design to device design. Different approaches are implemented to design error free software for safety critical systems. By adopting the strategies and processes presented in this paper one can overcome the challenges in developing error free software for medical devices (or safety critical systems).展开更多
Reusing test cases from existing test case library is quite common in the software testing field. Testing practice tells us that there is a strong relationship between the granularity of a function unit under testing ...Reusing test cases from existing test case library is quite common in the software testing field. Testing practice tells us that there is a strong relationship between the granularity of a function unit under testing and that of the test case. A function unit with small granularity usually results in the test cases with the same small granularity. Therefore a test case defined as the function point,i. e.,the smallest size function unit,was provided for the first time.Though test cases with smaller granularity usually have better reusability,the cost of accurately reusing and integrating such test cases is also higher. In order to balance the test case reusability and the cost of test case reuse,a novel test case reuse model based on the function point was proposed in this paper. In this model,a reusable test case for specification-based testing was defined and some reuse strategies and three formal reuse methods were given. Finally,the complete automatic software process was realized by a reusing generation tool. The new method has improved reuse accuracy,while greatly enhances the software productivity.展开更多
文摘In this paper, the roughness of the model function to the basis functions and its properties have been considered. We also consider some conditions to take the limit of the roughness when the observations are i.i.d. An explicit formula to calculate the power of change-point test for the two phases regression through the roughness was obtained.
基金supported by Commission of Science Technology and Industry for National Defence of China under Grant No.A1420061264National Natural Science Foundation of China under Grant No.60934002General Armament Department under Grand No.51317040102)
文摘Test points selection for integer-coded fault wise table is a discrete optimization problem. The global minimum set of test points can only be guaranteed by an exhaustive search which is eompurationally expensive. In this paper, this problem is formulated as a heuristic depth-first graph search problem at first. The graph node expanding method and rules are given. Then, rollout strategies are applied, which can be combined with the heuristic graph search algorithms, in a computationally more efficient manner than the optimal strategies, to obtain solutions superior to those using the greedy heuristic algorithms. The proposed rollout-based test points selection algorithm is illustrated and tested using an analog circuit and a set of simulated integer-coded fault wise tables. Computa- tional results are shown, which suggest that the rollout strategy policies are significantly better than other strategies.
基金supported by National Natural Science Foundation of China under Grant No.60934002General Armament Department under Grant No.51317040102
文摘Test points selection for integer-coded fault wise table is a discrete optimization problem. On one hand, traditional exhaustive search method is computationally expensive. On the other hand, the space complexity of traditional exhaustive is low. A tradeoff method between the high time complexity and low space complexity is proposed. At first, a new fault-pair table is constructed based on the integer-coded fault wise table. The fault-pair table consists of two columns: one column represents fault pair and the other represents test points set that can distinguish the corresponding faults. Then, the rows are arranged in ascending order according to the cardinality of corresponding test points set. Thirdly, test points in the top rows are selected one by one until all fault pair are isolated. During the test points selection process, the rows that contain selected test points are deleted and then the dimension of fault-pair table decreases gradually. The proposed test points selection algorithm is illustrated and tested using an integercoded fault wise table derived from a real analog circuit. Computational results suggest show policies are better than the exhaustive strategy.
文摘The quantitative analysis of damage position of concrete beam is established.The method of damage position free of models used in this paper is based on the variations of strain mode and test of even change point.The discrete model and the position criterion are presented.Numerical example is conducted,the result demonstrates that the method of damage position is correct and effective.
文摘Bamboo became the best material choice for sustainable construction because it is fully renewable materials. Indonesian people traditionally choose bamboo for their housing since a long time ago. Bamboo stems usually have unique shape. Its geometrical shape assumed as tapered hollow pipe. This study aims to find the effect of bamboo taper to its strength properties on center point bending test. The ratio between the Modulus of Rupture (S~) calculated in the center point, and the maximum bending stress along the beam is called strength ratio of taper (Ct). The theoretical calculation results Ct value is 1 if the taper lower than 0.023, while Ct value become lower if the taper is higher than 0.023. The survey on Ampel (Bambusa vulgaris Schrad.), Tali (Gigantochloa apus (BI. Ex Schult. f) Kurz), Gombong (Gigantochloa verticillata (Willd.) Munro), and Mayan (Gigantochloa robusta Kurz.) found that the overall taper range is -0.0047-0.0088 and 0-0.0127 for inner and outer taper respectively. On that overall range the Ct value is always 1, so it is reasonable to ignore the taper effect on one point bending test.
文摘The Jing-well point temperatures test method is a method to diagnose and guide the treatment of diseases by measuring the subjects' symmetrical well point temperature. it is improved from the method of knowing heat sensitivity. The application of Jing-well point temperatures test method is wide, and it can be used in internal and external gynecology and pediatrics and facial features department. at the same time, it has the advantage of objective and accurate diagnosis. The old law has some shortcomings, such as poor intuition, unavoidable omission of information, incomplete interpretation of information and so on. In this paper, Excel software is used to transform the data into line chart form, which improves the intuition and comprehensiveness of this method, so that the data can be better interpreted and used. It is newly proposed in this article that in addition to observing the longitudinal di fference of well point temperature, more attention should be paid to the horizontal contrast difference of well point temperature in different meridians. The article also summarizes a number of treatment methods, including acupuncture, moxa moxibustion, cupping and scraping, and the selection of acupoints, including mother acupoints, tenderness points and heat-sensitive moxibustion, so that doctors can combine traditional Chinese medicine professional knowledge in clinic.
文摘A point-of-care test system has been studied in this paper.It was used to determine substances in blood such as Hemoglobin (HB),Aspartate Aminotransferase (AST),Creatine Kinase (CK) and so on.Based on the principle of amperometric determination,the research on detecting weak current signals was carried on.At the same time as to the weak signals (nA level),magnifying,sampling and processing the signals were also studied.Controlled by ADUC824 and assisted by other units, every substance could be determined automatically and rapidly integrated with the corresponding biosensor.In the experiment, the minimum detectable current of the instrument (YT2005-1) is 0.2 nA.With regard to the 1 nA which the experiment demanded,it could be up to the mustard.And the system can provide results in 180 s with a long term stability.
基金supported by the Advanced Research Project of a National Department of China under Grant No.51317040102
文摘A new approach to select anoptimal set of test points is proposed. The described method uses fault-wise table and multi-objective genetic algorithm to find the optimal set of test points. First, the fault-wise table is constructed whose entries are measurements associated with faults and test points. The selection of optimal test points is transformed to the selection of the columns that isolate the rows of the table. Then, four objectives are described according to practical test requirements. The multi-objective genetic algorithm is explained. Finally, the presented approach is illustrated by a practical example. The results indicate that the proposed method can efficiently and accurately find the optimal set of test points and is practical for large scale systems.
文摘Introduction: Our aim was to determine what patient volume, if any, in-laboratory testing provides results faster than Point-of-Care-Testing (POCT). Methods: To evaluate POCT effectiveness during high volume situations, POCT was compared to in-laboratory testing during busy periods with large numbers of patients. Our setting was an urban level 1 trauma center with an academic emergency medicine department (ED) and annual patient volume of 70,000. Patients seen requiring laboratory testing during peak volume between 11 a.m. and 7 p.m. were enrolled over a five-week period. One tube of blood was sent to the laboratory and the other tube was run in the ED using POCT. Turnaround time was recorded as time from when the tube was received to when the result was available. We also completed a time-motion study to assess the number of POCT machines that would be needed to process the entire average hourly hospital laboratory volume. Results: We collected 539 hematology and chemistry specimens. The POCT group was significantly faster than in-laboratory testing, with mean POCT [complete blood count (CBC) and chemistry] 3.5 minutes compared to in-laboratory CBC test time of 30.9 minutes and chemistry test time of 55 minutes. As the volume of samples peaked, there was a slight but insignificant decrease in POCT turnaround time. If POCT was used to process the entire average hospital laboratory volume which approached 54 samples an hour, 3 POCT machines would be necessary to maintain turnaround times. Conclusion: Even during ED high volume situations, POCT provided results significantly faster than in-laboratory testing.
文摘Objective: To examine the correlation between plasma hCG results obtained with the new i-STAT® hCG point of care test with those concomitantly obtained from the central hospital laboratory utilizing the same patient samples. Methods: Prospective cross-sectional laboratory test evaluation. We compared plasma hCG results obtained with the i-STAT® hCG test (Abbott Point of Care, Princeton, NJ, USA) with Architect Ci8200 (Abbott Laboratories, Abbott Park, IL, USA). We also calculated the total coefficient of variation (CV) for the i-STAT® method. Results: The two methods showed a good linear correlation (R2 = 0.994;slope 1.03) and CV for the i-STAT® method was 2.1% - 5.2%. Conclusion: We suggest that the i-STAT® hCG blood assay could be used as a complement to urine hCG assays in clinical situations when rapid test results are needed and urine is not available.
文摘Point of Care (PoC) devices and systems can be categorized into three broad classes (CAT 1, CAT 2, and CAT 3) based on the context of operation and usage. In this paper, the categories are defined to address certain usage models of the PoC device. PoC devices that are used for PoC testing and diagnostic applications are defined CAT 1 devices;PoC devices that are used for patient monitoring are defined as CAT 2 devices (PoCM);PoC devices that are used for as interfacing with other devices are defined as CAT 3 devices (PoCI). The PoCI devices provide an interface gateway for collecting and aggregating data from other medical devices. In all categories, data security is an important aspect. This paper presents a security framework concept, which is applicable for all of the classes of PoC operation. It outlines the concepts and security framework for preventing security challenges in unauthorized access to data, unintended data flow, and data tampering during communication between system entities, the user, and the PoC system. The security framework includes secure layering of basic PoC system architecture, protection of PoC devices in the context of application and network. Developing the security framework is taken into account of a thread model of the PoC system. A proposal for a low-level protocol is discussed. This protocol is independent of communications technologies, and it is elaborated in relation to providing security. An algorithm that can be used to overcome the threat challenges has been shown using the elements in the protocol. The paper further discusses the vulnerability scanning process for the PoC system interconnected network. The paper also presents a four-step process of authentication and authorization framework for providing the security for the PoC system. Finally, the paper concludes with the machine to machine (M2M) security viewpoint and discusses the key stakeholders within an actual deployment of the PoC system and its security challenges.
文摘We have presented a three dimensional optical protein chip that fulfills the demanding for point-of-care diagnostics in terms of ease-of-use (one step assay), miniaturization (5 μl). The artful combination of magnetic nanoparticles on chip and total internal reflection imaging (TIRI) technology permits the sensitive and rapid detection of hs-CRP (high-sensitivity C-reactive protein). The whole test was complete within 10 min using “all in one step” assay with a limit of detection of 0.1 ng/mL hs-CRP. The measuring range for hs-CRP could be extended to 10 ng/mL. The chip can also be used to detect more parameters in blood samples.
文摘This paper presents a holistic methodology for the design of medical device software, which encompasses of a new way of eliciting requirements, system design process, security design guideline, cloud architecture design, combinatorial testing process and agile project management. The paper uses point of care diagnostics as a case study where the software and hardware must be robust, reliable to provide accurate diagnosis of diseases. As software and software intensive systems are becoming increasingly complex, the impact of failures can lead to significant property damage, or damage to the environment. Within the medical diagnostic device software domain such failures can result in misdiagnosis leading to clinical complications and in some cases death. Software faults can arise due to the interaction among the software, the hardware, third party software and the operating environment. Unanticipated environmental changes and latent coding errors lead to operation faults despite of the fact that usually a significant effort has been expended in the design, verification and validation of the software system. It is becoming increasingly more apparent that one needs to adopt different approaches, which will guarantee that a complex software system meets all safety, security, and reliability requirements, in addition to complying with standards such as IEC 62304. There are many initiatives taken to develop safety and security critical systems, at different development phases and in different contexts, ranging from infrastructure design to device design. Different approaches are implemented to design error free software for safety critical systems. By adopting the strategies and processes presented in this paper one can overcome the challenges in developing error free software for medical devices (or safety critical systems).
基金National Natural Science Foundation of China(No.61262010)
文摘Reusing test cases from existing test case library is quite common in the software testing field. Testing practice tells us that there is a strong relationship between the granularity of a function unit under testing and that of the test case. A function unit with small granularity usually results in the test cases with the same small granularity. Therefore a test case defined as the function point,i. e.,the smallest size function unit,was provided for the first time.Though test cases with smaller granularity usually have better reusability,the cost of accurately reusing and integrating such test cases is also higher. In order to balance the test case reusability and the cost of test case reuse,a novel test case reuse model based on the function point was proposed in this paper. In this model,a reusable test case for specification-based testing was defined and some reuse strategies and three formal reuse methods were given. Finally,the complete automatic software process was realized by a reusing generation tool. The new method has improved reuse accuracy,while greatly enhances the software productivity.