As the great progress has appeared in the field of protection of new varieties of plants, the standardization of the DUS (Distinctness, Uniformity, Stability) test procedure has become more important. However, the s...As the great progress has appeared in the field of protection of new varieties of plants, the standardization of the DUS (Distinctness, Uniformity, Stability) test procedure has become more important. However, the specification of filming technique plays an important role in the DUS test of new varieties of plants. In this paper, we analyzed the status quo and significance of the application of filming technique in the PVP (Plant Variety Protection) system, and provided an introduction about the application of filming technique in DUS test in China.展开更多
With the arrival of the age of large information data, the education also gradually tends to educate the information, which has forced the demand of the teachers’ educational information technology application abilit...With the arrival of the age of large information data, the education also gradually tends to educate the information, which has forced the demand of the teachers’ educational information technology application ability of the major universities and universities to be higher and higher. Therefore, in order to meet the needs of the development of higher education in the information age and to meet the needs of the college English teaching innovation, this paper will explore the application ability of the educational information technology of the college English teachers from various angles.展开更多
The water Cherenkov detector array(WCDA) is an important part of the large high-altitude air shower observatory(LHAASO),which is in a research and development phase.The central scientific goal of LHAASO is to explore ...The water Cherenkov detector array(WCDA) is an important part of the large high-altitude air shower observatory(LHAASO),which is in a research and development phase.The central scientific goal of LHAASO is to explore the origin of high-energy cosmic rays of the universe and to push forward the frontier of new physics.To simplify the WCDA's readout electronics,a prototype of a front-end readout for an application-specific integrated circuit(ASIC) is designed based on the timeover-threshold method to achieve charge-to-time conversion.High-precision time measurement and charge measurement are necessary over a full dynamic range[1-4000photoelectrons(P.E.)].To evaluate the performance of this ASIC,a test system is designed that includes the front-end ASIC test module,digitization module,and test software.The first module needs to be customized for different ASIC versions,whereas the digitization module and test software are tested for general-purpose use.In the digitization module,a field programmable gate array-based time-todigital converter is designed with a bin size of 333 ps,which also integrates an inter-integrated circuit to configure the ASIC test module,and a universal serial bus interface is designed to transfer data to the remote computer.Test results indicate that the time resolution is better than 0.5 ns,and the charge resolution is better than 30%root mean square(RMS) at 1 P.E.and 3%RMS at 4000 P.E.,which are beyond the application requirements.展开更多
In order to improve the efficiency of regression testing in web application,the control flow graph and the greedy algorithm are adopted.This paper considers a web page as a basic unit and introduces a test case select...In order to improve the efficiency of regression testing in web application,the control flow graph and the greedy algorithm are adopted.This paper considers a web page as a basic unit and introduces a test case selection method for web application regression testing based on the control flow graph.This method is safe enough to the test case selection.On the base of features of request sequence in web application,the minimization technique and the priority of test cases are taken into consideration in the process of execution of test cases in regression testing for web application.The improved greedy algorithm is also raised resulting in optimization of execution of test cases.The experiments indicate that the number of test cases which need to be retested is reduced,and the efficiency of execution of test cases is also improved.展开更多
Objective:To explore the clinical evaluation role of the Digits-in-Noise(DIN)test and Hearing Handicap Inventory for Adults Screening(HHIA-S)for patients with occupational noise-induced hearing loss and to observe and...Objective:To explore the clinical evaluation role of the Digits-in-Noise(DIN)test and Hearing Handicap Inventory for Adults Screening(HHIA-S)for patients with occupational noise-induced hearing loss and to observe and analyze their application values.Methods:Fifty patients with suspected occupational noise-induced hearing loss were randomly selected from the Department of Otolaryngology at the hospital as the research target.The collection period for the research cases spanned from January 2022 to November 2023,and all patients had a history of noise exposure.The DIN test and HHIA-S were used for hearing examinations,with clinical,comprehensive diagnosis serving as the gold standard to study their diagnostic performance.Results:The compliance rate of the DIN test was 88.00%,the HHIA-S’s compliance rate was 80.00%,and the combined compliance rate was 94.00%.The compliance rate of the DIN test and the combined compliance rates of the patients were statistically significant compared to the clinical gold standard data(P<0.05),while there was no difference between the compliance rate of the HHIA-S and the gold standard(P>0.05).The data shows that the sensitivity of the combined diagnosis is significantly higher than the sensitivity data of the DIN test and HHIA-S examination alone(P<0.05).Its specificity is 100.00%,and the accuracy data of the joint diagnosis in the degree were higher than those of the DIN test alone(P>0.05)and the HHIA-S alone(P<0.05).Conclusion:For patients with occupational noise-induced hearing loss,the joint evaluation of the DIN test and HHIA-S can significantly improve their diagnostic value with high sensitivity and accuracy.展开更多
<div style="text-align:justify;"> A test method and system for AI industrial application capabilities of smart terminals. The method includes the following steps: According to the temperature change va...<div style="text-align:justify;"> A test method and system for AI industrial application capabilities of smart terminals. The method includes the following steps: According to the temperature change values of different AI industrial applications executed by standard smart terminal equipment under different equipment parameters, the equipment parameters and temperature changes of standard smart terminal equipment are constructed. Correlation model;obtain the device parameters of the smart terminal device to be tested, and obtain the predicted value of the temperature change of the smart terminal device to be tested based on the correlation model between the device parameters of the standard smart terminal device and the temperature change;Measure the actual value of the temperature change of the intelligent terminal device executing different AI industrial applications;obtain the test result of the intelligent terminal device to be tested according to the predicted value of the temperature change and the actual value of the temperature change. </div>展开更多
Building an abstract model of the web application is the chief task of software test based on model, which is an efficient way for testing the web application. One problem with current web application test technologie...Building an abstract model of the web application is the chief task of software test based on model, which is an efficient way for testing the web application. One problem with current web application test technologies is the lack of tools for modeling the whole web software, especially the lack of support for describing web application from the view of action and function. This paper is concerned with providing the support for development and test of the web application. The presented novel model, named component-based and tree-oriented web application development model (CBTOWADM), abstracts the web application as a tree based on its system function and business process. CBTOWADM not only simplifies the design and development of the web application, but also acts as the model middleware for software test. The basic model definition, the system framework and the application in software test of CBTOWADM is described.展开更多
According to the physical and chemical characteristics of superfine powder extinguishing agent,three test methods are selected to measure the flow ability.By studying and comparing various test methods,apparatus and c...According to the physical and chemical characteristics of superfine powder extinguishing agent,three test methods are selected to measure the flow ability.By studying and comparing various test methods,apparatus and conditions,the optimum method and conditions to test flow property of superfine powder extinguishing agent are confirmed.展开更多
[Objectives]This study was conducted to establish a microbial limit test method for Qingyan Zhisou Powder.[Methods]Applicability tests were carried out according to Microbial Limit Tests of Non-sterile Products,Genera...[Objectives]This study was conducted to establish a microbial limit test method for Qingyan Zhisou Powder.[Methods]Applicability tests were carried out according to Microbial Limit Tests of Non-sterile Products,General Rules 1105-1107 of Part IV of Chinese Pharmacopoeia,2020.[Results]Qingyan Zhisou Powder had a strong bacteriostatic effect on Pseudomonas aeruginosa.After increasing the dilution ratio(1:40),the bacteriostatic effect was obviously eliminated.When the total number of aerobic microbes was determined by the test liquid dilution method(1:40),the recovery values were in the range of 50%-200%;and when using the test liquid(1:10)to determine the total number of mold and yeasts,the recovery ranged from 50%to 200%.Escherichia coli,Salmonella and bile-tolerant Gram-negative bacteria were detected by both the routine method and dilution method in experimental groups.[Conclusions]The microbial limit test of Qingyan Zhisou Powder adopted the test liquid dilution method,and the routine method could be used for the test of Escherichia coli,Salmonella and bile-tolerant Gram-negative bacteria.The applicability test of the method is feasible,with scientific and accurate results,and the method can effectively control the quality of the preparation and is recommended for popularization.展开更多
Quality of software systems is highly demanded in today’s scenario. Highly testable system enhances the reliability also. More than 50% of test effort-time and cost are used to produce a highly testable system. Thus,...Quality of software systems is highly demanded in today’s scenario. Highly testable system enhances the reliability also. More than 50% of test effort-time and cost are used to produce a highly testable system. Thus, design-for-testability is needed to reduce the test effort. In order to enhance the quality, productivity and reduced cost of the software organizations are promoting to produce the reuse-oriented products. Incorporating reuse technology in both aspects-software development process and test process may payoff many folds. Keeping this view, our study focus the testability of the object-oriented framework based software systems and identify that flexibility at the variable points of the object-oriented framework, chosen for framework instantiation, greatly affects the testability of object-oriented framework based software at each level of testing. In the current paper, we propose a testability model considering the flexible aspect of the variable point to estimate testability in the early phase, requirement analysis phase, of development process of the framework based software. The proposed model helps to improve the testability of the software before the implementation starts thus reducing the overall development cost.展开更多
Augmented randomized complete block test was conducted to evaluate the heterosis of 80 hybrid combinations from TGMS line 402S and its original parent Xiangyou 91S,and the combining a-bility of 40 testcrossing lines.T...Augmented randomized complete block test was conducted to evaluate the heterosis of 80 hybrid combinations from TGMS line 402S and its original parent Xiangyou 91S,and the combining a-bility of 40 testcrossing lines.The results of identification test showed that among 47 combinations yielding over the control Xiangyou 15,17 ones with 402S and 3 ones with Xiangyou 91S overyielded more than 20%,reaching the significant level of 1 %;and among 51 combinations yielding over their corresponding higher yield parents,18 ones with 402S and 9 ones with Xiangyou 91S overyielded at 5% or 1% significant level.The test for the GCA effect of all parents indicated that 402S possessed a stronger combining ability than Xiangyou 91S on yield,ailiquae of main inflorescence,total siliquae per plant,seed yield of single plant and 1000 seed weight.10 testcrossing lines with high GCA were picked out for next testcrosses.Among 8 agronomic traits,total siliquae per plant and seed yield of single plant were regarded as the key selecting indexes according to the correlation analysis between yield and the agronomic traits on heterosis and on the GCA effect of all parents.展开更多
This article is mainly talked about CET English writing tests from the perspective of language testing.Writing tests designed to test the language proficiency,have direct and integrative characteristics.Writing requir...This article is mainly talked about CET English writing tests from the perspective of language testing.Writing tests designed to test the language proficiency,have direct and integrative characteristics.Writing requires the candidates to use language accurately,fluently and appropriately.展开更多
In order to analyze and test the component-based web application and decide when to stop the testing process, the concept of coverage criteria and test requirement reduction approach are proposed. First, four adequacy...In order to analyze and test the component-based web application and decide when to stop the testing process, the concept of coverage criteria and test requirement reduction approach are proposed. First, four adequacy criteria are defined and subsumption relationships among them are proved. Then, a translation algorithm is presented to transfer the test model into a web application decision-to-decision graph(WADDGraph)which is used to reduce testing requirements. Finally, different sets of test requirements can be generated from WADDGraph by analyzing subsumption and equivalence relationships among edges based on different coverage criteria, and testers can select different test requirements according to different testing environments. The case study indicates that coverage criteria follow linear subsumption relationships in real web applications. Test requirements can be reduced more than 55% on average based on different coverage criteria and the size of test requirements increases with the increase in the complexity of the coverage criteria.展开更多
Many landslides in reservoir areas continuously deform under cyclic water level fluctuations due to reservoir operations. In this paper,a landslide model, developed for a typical colluvial landslide in the Three Gorge...Many landslides in reservoir areas continuously deform under cyclic water level fluctuations due to reservoir operations. In this paper,a landslide model, developed for a typical colluvial landslide in the Three Gorges Reservoir area, is used to study the effect of cyclic water level fluctuations on the landslide. Five cyclic water level fluctuations were implemented in the test, and the fluctuation rate in the last two fluctuations doubled over the first three fluctuations. The pore water pressure and lateral landslide profiles were obtained during the test. A measurement of the landslide soil loss was proposed to quantitatively evaluate the influence of water level fluctuations. The test results show that the first water level rising is most negative to the landslide among the five cycles. The fourth drawdown with a higher drawdown rate caused further large landslide deformation. An increase of the water level drawdown rate is much more unfavorable to the landslide than an increase of the water level rising rate. In addition, the landslide was found to have an adaptive ability to resist subsequent water level fluctuations after undergoing large deformation during a water level fluctuation. The landslide deformation and observations in the field were found to support the test results well.展开更多
Forms enhance both the dynamic and interactive abilities of Web applications and the system complexity. And it is especially important to test forms completely and thoroughly. Therefore, this paper discusses how to ca...Forms enhance both the dynamic and interactive abilities of Web applications and the system complexity. And it is especially important to test forms completely and thoroughly. Therefore, this paper discusses how to carry out the form testing by different methods in the related testing phases. Namely, at first, automatically abstracting forms in the Web pages by parsing the HTML documents; then, ohtai ning the testing data with a certain strategies, such as by requirement specifications, by mining users' hefore input informarion or by recording meehanism; and next executing the testing actions automatically due to the well formed test cases; finally, a case study is given to illustrate the convenient and effective of these methods.展开更多
A formal model representing the navigation behavior of a Web application as the Kripke structure is proposed and an approach that applies model checking to test case generation is presented. The Object Relation Diagra...A formal model representing the navigation behavior of a Web application as the Kripke structure is proposed and an approach that applies model checking to test case generation is presented. The Object Relation Diagram as the object model is employed to describe the object structure of a Web application design and can be translated into the behavior model. A key problem of model checking-based test generation for a Web application is how to construct a set of trap properties that intend to cause the violations of model checking against the behavior model and output of counterexamples used to construct the test sequences. We give an algorithm that derives trap properties from the object model with respect to node and edge coverage criteria.展开更多
基金Supported by the Special Fund for Agro-scientific Research in the Public Interest(200903008-15)~~
文摘As the great progress has appeared in the field of protection of new varieties of plants, the standardization of the DUS (Distinctness, Uniformity, Stability) test procedure has become more important. However, the specification of filming technique plays an important role in the DUS test of new varieties of plants. In this paper, we analyzed the status quo and significance of the application of filming technique in the PVP (Plant Variety Protection) system, and provided an introduction about the application of filming technique in DUS test in China.
文摘With the arrival of the age of large information data, the education also gradually tends to educate the information, which has forced the demand of the teachers’ educational information technology application ability of the major universities and universities to be higher and higher. Therefore, in order to meet the needs of the development of higher education in the information age and to meet the needs of the college English teaching innovation, this paper will explore the application ability of the educational information technology of the college English teachers from various angles.
基金supported by the Knowledge Innovation Program of the Chinese Academy of Sciences(KJCX2-YW-N27)the CAS Center for Excellence in Particle Physics(CCEPP)
文摘The water Cherenkov detector array(WCDA) is an important part of the large high-altitude air shower observatory(LHAASO),which is in a research and development phase.The central scientific goal of LHAASO is to explore the origin of high-energy cosmic rays of the universe and to push forward the frontier of new physics.To simplify the WCDA's readout electronics,a prototype of a front-end readout for an application-specific integrated circuit(ASIC) is designed based on the timeover-threshold method to achieve charge-to-time conversion.High-precision time measurement and charge measurement are necessary over a full dynamic range[1-4000photoelectrons(P.E.)].To evaluate the performance of this ASIC,a test system is designed that includes the front-end ASIC test module,digitization module,and test software.The first module needs to be customized for different ASIC versions,whereas the digitization module and test software are tested for general-purpose use.In the digitization module,a field programmable gate array-based time-todigital converter is designed with a bin size of 333 ps,which also integrates an inter-integrated circuit to configure the ASIC test module,and a universal serial bus interface is designed to transfer data to the remote computer.Test results indicate that the time resolution is better than 0.5 ns,and the charge resolution is better than 30%root mean square(RMS) at 1 P.E.and 3%RMS at 4000 P.E.,which are beyond the application requirements.
基金The National Natural Science Foundation of China(No.60503020,60503033,60703086)Opening Foundation of Jiangsu Key Laboratory of Computer Information Processing Technology in Soochow University(No.KJS0714)
文摘In order to improve the efficiency of regression testing in web application,the control flow graph and the greedy algorithm are adopted.This paper considers a web page as a basic unit and introduces a test case selection method for web application regression testing based on the control flow graph.This method is safe enough to the test case selection.On the base of features of request sequence in web application,the minimization technique and the priority of test cases are taken into consideration in the process of execution of test cases in regression testing for web application.The improved greedy algorithm is also raised resulting in optimization of execution of test cases.The experiments indicate that the number of test cases which need to be retested is reduced,and the efficiency of execution of test cases is also improved.
文摘Objective:To explore the clinical evaluation role of the Digits-in-Noise(DIN)test and Hearing Handicap Inventory for Adults Screening(HHIA-S)for patients with occupational noise-induced hearing loss and to observe and analyze their application values.Methods:Fifty patients with suspected occupational noise-induced hearing loss were randomly selected from the Department of Otolaryngology at the hospital as the research target.The collection period for the research cases spanned from January 2022 to November 2023,and all patients had a history of noise exposure.The DIN test and HHIA-S were used for hearing examinations,with clinical,comprehensive diagnosis serving as the gold standard to study their diagnostic performance.Results:The compliance rate of the DIN test was 88.00%,the HHIA-S’s compliance rate was 80.00%,and the combined compliance rate was 94.00%.The compliance rate of the DIN test and the combined compliance rates of the patients were statistically significant compared to the clinical gold standard data(P<0.05),while there was no difference between the compliance rate of the HHIA-S and the gold standard(P>0.05).The data shows that the sensitivity of the combined diagnosis is significantly higher than the sensitivity data of the DIN test and HHIA-S examination alone(P<0.05).Its specificity is 100.00%,and the accuracy data of the joint diagnosis in the degree were higher than those of the DIN test alone(P>0.05)and the HHIA-S alone(P<0.05).Conclusion:For patients with occupational noise-induced hearing loss,the joint evaluation of the DIN test and HHIA-S can significantly improve their diagnostic value with high sensitivity and accuracy.
文摘<div style="text-align:justify;"> A test method and system for AI industrial application capabilities of smart terminals. The method includes the following steps: According to the temperature change values of different AI industrial applications executed by standard smart terminal equipment under different equipment parameters, the equipment parameters and temperature changes of standard smart terminal equipment are constructed. Correlation model;obtain the device parameters of the smart terminal device to be tested, and obtain the predicted value of the temperature change of the smart terminal device to be tested based on the correlation model between the device parameters of the standard smart terminal device and the temperature change;Measure the actual value of the temperature change of the intelligent terminal device executing different AI industrial applications;obtain the test result of the intelligent terminal device to be tested according to the predicted value of the temperature change and the actual value of the temperature change. </div>
基金Project supported by the National High-Technology Research and Development Program of China(Grant No.2007AA01Z144)the Shanghai Leading Academic Discipline Project(Grant No.J50103)
文摘Building an abstract model of the web application is the chief task of software test based on model, which is an efficient way for testing the web application. One problem with current web application test technologies is the lack of tools for modeling the whole web software, especially the lack of support for describing web application from the view of action and function. This paper is concerned with providing the support for development and test of the web application. The presented novel model, named component-based and tree-oriented web application development model (CBTOWADM), abstracts the web application as a tree based on its system function and business process. CBTOWADM not only simplifies the design and development of the web application, but also acts as the model middleware for software test. The basic model definition, the system framework and the application in software test of CBTOWADM is described.
文摘According to the physical and chemical characteristics of superfine powder extinguishing agent,three test methods are selected to measure the flow ability.By studying and comparing various test methods,apparatus and conditions,the optimum method and conditions to test flow property of superfine powder extinguishing agent are confirmed.
基金Supported by Traditional Chinese Medicine and Ethnic Minority Medicine Technology Research Subject of Guizhou Administrative Bureau(QZYY-2018-095)。
文摘[Objectives]This study was conducted to establish a microbial limit test method for Qingyan Zhisou Powder.[Methods]Applicability tests were carried out according to Microbial Limit Tests of Non-sterile Products,General Rules 1105-1107 of Part IV of Chinese Pharmacopoeia,2020.[Results]Qingyan Zhisou Powder had a strong bacteriostatic effect on Pseudomonas aeruginosa.After increasing the dilution ratio(1:40),the bacteriostatic effect was obviously eliminated.When the total number of aerobic microbes was determined by the test liquid dilution method(1:40),the recovery values were in the range of 50%-200%;and when using the test liquid(1:10)to determine the total number of mold and yeasts,the recovery ranged from 50%to 200%.Escherichia coli,Salmonella and bile-tolerant Gram-negative bacteria were detected by both the routine method and dilution method in experimental groups.[Conclusions]The microbial limit test of Qingyan Zhisou Powder adopted the test liquid dilution method,and the routine method could be used for the test of Escherichia coli,Salmonella and bile-tolerant Gram-negative bacteria.The applicability test of the method is feasible,with scientific and accurate results,and the method can effectively control the quality of the preparation and is recommended for popularization.
文摘Quality of software systems is highly demanded in today’s scenario. Highly testable system enhances the reliability also. More than 50% of test effort-time and cost are used to produce a highly testable system. Thus, design-for-testability is needed to reduce the test effort. In order to enhance the quality, productivity and reduced cost of the software organizations are promoting to produce the reuse-oriented products. Incorporating reuse technology in both aspects-software development process and test process may payoff many folds. Keeping this view, our study focus the testability of the object-oriented framework based software systems and identify that flexibility at the variable points of the object-oriented framework, chosen for framework instantiation, greatly affects the testability of object-oriented framework based software at each level of testing. In the current paper, we propose a testability model considering the flexible aspect of the variable point to estimate testability in the early phase, requirement analysis phase, of development process of the framework based software. The proposed model helps to improve the testability of the software before the implementation starts thus reducing the overall development cost.
文摘Augmented randomized complete block test was conducted to evaluate the heterosis of 80 hybrid combinations from TGMS line 402S and its original parent Xiangyou 91S,and the combining a-bility of 40 testcrossing lines.The results of identification test showed that among 47 combinations yielding over the control Xiangyou 15,17 ones with 402S and 3 ones with Xiangyou 91S overyielded more than 20%,reaching the significant level of 1 %;and among 51 combinations yielding over their corresponding higher yield parents,18 ones with 402S and 9 ones with Xiangyou 91S overyielded at 5% or 1% significant level.The test for the GCA effect of all parents indicated that 402S possessed a stronger combining ability than Xiangyou 91S on yield,ailiquae of main inflorescence,total siliquae per plant,seed yield of single plant and 1000 seed weight.10 testcrossing lines with high GCA were picked out for next testcrosses.Among 8 agronomic traits,total siliquae per plant and seed yield of single plant were regarded as the key selecting indexes according to the correlation analysis between yield and the agronomic traits on heterosis and on the GCA effect of all parents.
文摘This article is mainly talked about CET English writing tests from the perspective of language testing.Writing tests designed to test the language proficiency,have direct and integrative characteristics.Writing requires the candidates to use language accurately,fluently and appropriately.
基金The National Natural Science Foundation of China(No.90818027,60873050)the National High Technology Research andDevelopment Program of China (863 Program) (No.2009AA01Z147)+2 种基金Opening Foundation of State Key Laboratory Software Engineering in Wu-han University(No.SKLSE20080717)Opening Foundation of State KeyLaboratory for Novel Software Technology in Nanjing University(No.ZZ-KT2008F12)the Key Laboratory Foundation of Shanghai Municipal Science and Technology Commission (No.09DZ2272600)
文摘In order to analyze and test the component-based web application and decide when to stop the testing process, the concept of coverage criteria and test requirement reduction approach are proposed. First, four adequacy criteria are defined and subsumption relationships among them are proved. Then, a translation algorithm is presented to transfer the test model into a web application decision-to-decision graph(WADDGraph)which is used to reduce testing requirements. Finally, different sets of test requirements can be generated from WADDGraph by analyzing subsumption and equivalence relationships among edges based on different coverage criteria, and testers can select different test requirements according to different testing environments. The case study indicates that coverage criteria follow linear subsumption relationships in real web applications. Test requirements can be reduced more than 55% on average based on different coverage criteria and the size of test requirements increases with the increase in the complexity of the coverage criteria.
基金funded by the Key Program of National Natural Science Foundation of China (41630643)the National Key Research and Development Program of China (2017YFC1501302)the Fundamental Research Funds for the Central Universities, China University of Geosciences (Wuhan) (CUGCJ1701)
文摘Many landslides in reservoir areas continuously deform under cyclic water level fluctuations due to reservoir operations. In this paper,a landslide model, developed for a typical colluvial landslide in the Three Gorges Reservoir area, is used to study the effect of cyclic water level fluctuations on the landslide. Five cyclic water level fluctuations were implemented in the test, and the fluctuation rate in the last two fluctuations doubled over the first three fluctuations. The pore water pressure and lateral landslide profiles were obtained during the test. A measurement of the landslide soil loss was proposed to quantitatively evaluate the influence of water level fluctuations. The test results show that the first water level rising is most negative to the landslide among the five cycles. The fourth drawdown with a higher drawdown rate caused further large landslide deformation. An increase of the water level drawdown rate is much more unfavorable to the landslide than an increase of the water level rising rate. In addition, the landslide was found to have an adaptive ability to resist subsequent water level fluctuations after undergoing large deformation during a water level fluctuation. The landslide deformation and observations in the field were found to support the test results well.
基金Supported by the National Natural Science Foun-dation of China (60425206 ,90412003 ,60503033)the National Bas-ic Research Program of China (973 Program 2002CB312000 ) Opening Foundation of State Key Laboratory of Software Engineeringin Wuhan University, High Technology Research Project of JiangsuProvince (BG2005032)
文摘Forms enhance both the dynamic and interactive abilities of Web applications and the system complexity. And it is especially important to test forms completely and thoroughly. Therefore, this paper discusses how to carry out the form testing by different methods in the related testing phases. Namely, at first, automatically abstracting forms in the Web pages by parsing the HTML documents; then, ohtai ning the testing data with a certain strategies, such as by requirement specifications, by mining users' hefore input informarion or by recording meehanism; and next executing the testing actions automatically due to the well formed test cases; finally, a case study is given to illustrate the convenient and effective of these methods.
基金Supported by the National Natural Science Foundation of China (60673115)the National Basic Research Program of China (973 Program) (2002CB312001)the Open Foundation of State Key Laboratory of Soft-ware Engineering (SKLSE05-13)
文摘A formal model representing the navigation behavior of a Web application as the Kripke structure is proposed and an approach that applies model checking to test case generation is presented. The Object Relation Diagram as the object model is employed to describe the object structure of a Web application design and can be translated into the behavior model. A key problem of model checking-based test generation for a Web application is how to construct a set of trap properties that intend to cause the violations of model checking against the behavior model and output of counterexamples used to construct the test sequences. We give an algorithm that derives trap properties from the object model with respect to node and edge coverage criteria.