A model comparison based software testing method （MCST） is proposed. In this method, the requirements aria programs or software under test are transformed into the ones in the same form, and described by the same mo...A model comparison based software testing method （MCST） is proposed. In this method, the requirements aria programs or software under test are transformed into the ones in the same form, and described by the same model describe language （MDL）. Then, the requirements are transformed into a specification model and the programs into an implementation model. Thus, the elements and structures of the two models are compared, and the differences between them are obtained. Based on the diffrences, a test suite is generated. Different MDLs can be chosen for the software under test. The usages of two classical MDLs in MCST, the equivalence classes model and the extended finite state machine （EFSM） model, are described with example applications. The results show that the test suites generated by MCST are more efficient and smaller than some other testing methods, such as the pathcoverage testing method, the object state diagram testing method, etc.展开更多
Software testing is an important part of software engineering and has been more and more popular as the rapid growth of the software products market. Good skills of communication with clients and programmers play a si...Software testing is an important part of software engineering and has been more and more popular as the rapid growth of the software products market. Good skills of communication with clients and programmers play a significant role for a tester during the test process. This paper presents some important and basic software testing applications （such as static testing, dynamic testing, black-box testing, white-box testing and their combinations） based on a virtual reality system, named as rocket digital simulation system （RDSS）. Different testing methods are exercised during the software developing lifecycle and finally achieving significant quality improvement.展开更多
Coalbed methane (CBM) predicting recovery in high rank coal reservoir varies greatly in Jincheng area and it seriously influences efficient and economic exploitation of CBM resource. In order to predict more accurate ...Coalbed methane (CBM) predicting recovery in high rank coal reservoir varies greatly in Jincheng area and it seriously influences efficient and economic exploitation of CBM resource. In order to predict more accurate CBM recovery, we conducted history matching and productivity prediction of vertical well by using COMET 3 reservoir modeling software, innovatively adopted the gas desorption experiment of bulk coal at fixed test pressure, analyzed the recovery extent method of Daning multiple-hole horizontal well and Panzhuang well group, and calculated recovery by sorption isotherm method of 14 vertical CBM wells at the abandonment pressures 1.0, 0.7, 0.5 and 0.3 MPa, respectively. The results show that the reservoir simulation methods (numerical simulation method and the recovery extent method) is more reliable than the theoretical analysis of coal sample (sorption isotherm method and desorption experiment method). Also, desorption experiment method at fixed pressure is superior to sorption isotherm method. Through the comprehensive analysis and linear correction, CBM recovery ratios in high rank coal reservoir of Jincheng area were found to be 38.64%, 49.30%, 59.30%, and 69.20% at the abandonment pressures 1.0, 0.7, 0.5 and 0.3 MPa, respectively. The research results are of significant importance in the CBM exploration and development in Jincheng area.展开更多
基金The National Natural Science Foundationof Hubei Province (No.2005ABA266)
文摘A model comparison based software testing method （MCST） is proposed. In this method, the requirements aria programs or software under test are transformed into the ones in the same form, and described by the same model describe language （MDL）. Then, the requirements are transformed into a specification model and the programs into an implementation model. Thus, the elements and structures of the two models are compared, and the differences between them are obtained. Based on the diffrences, a test suite is generated. Different MDLs can be chosen for the software under test. The usages of two classical MDLs in MCST, the equivalence classes model and the extended finite state machine （EFSM） model, are described with example applications. The results show that the test suites generated by MCST are more efficient and smaller than some other testing methods, such as the pathcoverage testing method, the object state diagram testing method, etc.
文摘Software testing is an important part of software engineering and has been more and more popular as the rapid growth of the software products market. Good skills of communication with clients and programmers play a significant role for a tester during the test process. This paper presents some important and basic software testing applications （such as static testing, dynamic testing, black-box testing, white-box testing and their combinations） based on a virtual reality system, named as rocket digital simulation system （RDSS）. Different testing methods are exercised during the software developing lifecycle and finally achieving significant quality improvement.
基金supported by the National Basic Research Program of China (No. 2011ZX05034)the key program of the National Science and Technology of China (No. 2008ZX05034)+1 种基金the Tianshan Scholars Program Fund of Xinjiang Uygur Autonomous Regionthe Priority Academic Program Development of Jiangsu Higher Education Institutions of China (PAPD)
文摘Coalbed methane (CBM) predicting recovery in high rank coal reservoir varies greatly in Jincheng area and it seriously influences efficient and economic exploitation of CBM resource. In order to predict more accurate CBM recovery, we conducted history matching and productivity prediction of vertical well by using COMET 3 reservoir modeling software, innovatively adopted the gas desorption experiment of bulk coal at fixed test pressure, analyzed the recovery extent method of Daning multiple-hole horizontal well and Panzhuang well group, and calculated recovery by sorption isotherm method of 14 vertical CBM wells at the abandonment pressures 1.0, 0.7, 0.5 and 0.3 MPa, respectively. The results show that the reservoir simulation methods (numerical simulation method and the recovery extent method) is more reliable than the theoretical analysis of coal sample (sorption isotherm method and desorption experiment method). Also, desorption experiment method at fixed pressure is superior to sorption isotherm method. Through the comprehensive analysis and linear correction, CBM recovery ratios in high rank coal reservoir of Jincheng area were found to be 38.64%, 49.30%, 59.30%, and 69.20% at the abandonment pressures 1.0, 0.7, 0.5 and 0.3 MPa, respectively. The research results are of significant importance in the CBM exploration and development in Jincheng area.
