Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instr...Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instruction-brief and instruction-category, and constructing test suite. Consequently, this approach is adopted to test oven embedded system, and detail process is deeply discussed. As a result, the factual result indicates that the “instruction-category” approach can be effectively applied in embedded system testing as a black-box method for conformity testing.展开更多
Significant progress has been made in the exploration and development of unconventional gas resources in China since the beginning of the 21st century.With a rapid increase in yield,the exploration and development of ...Significant progress has been made in the exploration and development of unconventional gas resources in China since the beginning of the 21st century.With a rapid increase in yield,the exploration and development of shale gas have been upgraded to a level of national strategy.Logging is one of the core technologies in gas exploration and development.However,logging technologies face the challenges of complex geological conditions and well casing environment,high temperature,high pressure,and strong heterogeneity.Despite the rich experience accumulated,unified understanding and implementation specifications are yet to be established for shale gas well logging.Given the analysis and comparison of the effectiveness and adaptability of logging technologies at different stages of shale gas exploration and development for the Sichuan Basin,this study optimizes the log suite to meet the demand for highefficiency exploration and development of shale gas.According to the adaptability analysis of shale gas log suite,the mandatory logging items of exploratory wells should include caliper log(CAL),natural gamma ray spectrometry(NGS)log,spontaneous potential(SP)log,directional survey,borehole compensated sonic log,litho-density log(LDL),compensated neutron log(CNL),dual laterologmicrospherically focused log/dual induction-laterolog log/array induction log,temperature log,elemental capture spectroscopy(ECS)log,formation microimager(FMI)log,and array sonic log.The log suite of appraisal wells is almost the same as that for exploratory wells,excluding the ECS log and microresistivity scanning imaging.Meanwhile,for the logging of horizontal/highly-deviated holes,the log suite of vertical wells should be referred to according to specific well conditions.展开更多
In this paper, the test suite construction for GUI (Graphical User Interface) software may be executed centered on grey-box approach with the prior test design of window access controls for unit testing, including fro...In this paper, the test suite construction for GUI (Graphical User Interface) software may be executed centered on grey-box approach with the prior test design of window access controls for unit testing, including front-end method of white box and follow-up black box method for integration testing. Moreover, two key opinions are proposed for the test suite construction for GUI software, the first one is that the “Triple-step method” should be used for unit testing with the prior disposing of data boundary value testing of input controls, and another one is that the “Grey-box approach” should be applied in integration testing for GUI software with necessary testing preparation in the precondition. At the same time, the testing of baseline version and the incremental testing should be considered for the test case construction to coordinate with the whole evolution of software product today. Additionally, all our opinion and thought are verified and tested with a typical case of GUI software—PQMS (Product Quality Monitoring Software/System), and results indicate that these methods and specific disposing are practical and effective.展开更多
有许多软件可以帮助分子生物学工作者解决一些他们日常实验室工作中遇到的问题。Vector NTI Su ite是一种高度集成、功能齐全的分子生物学应用软件,它可以对核酸、蛋白质等分子进行大量的操作和分析,以及建立和管理生物数据库。重点对Ve...有许多软件可以帮助分子生物学工作者解决一些他们日常实验室工作中遇到的问题。Vector NTI Su ite是一种高度集成、功能齐全的分子生物学应用软件,它可以对核酸、蛋白质等分子进行大量的操作和分析,以及建立和管理生物数据库。重点对Vector NTI Su ite软件的概况、应用现状及其在分子生物学领域的应用进行综述与探讨。展开更多
文摘Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instruction-brief and instruction-category, and constructing test suite. Consequently, this approach is adopted to test oven embedded system, and detail process is deeply discussed. As a result, the factual result indicates that the “instruction-category” approach can be effectively applied in embedded system testing as a black-box method for conformity testing.
文摘Significant progress has been made in the exploration and development of unconventional gas resources in China since the beginning of the 21st century.With a rapid increase in yield,the exploration and development of shale gas have been upgraded to a level of national strategy.Logging is one of the core technologies in gas exploration and development.However,logging technologies face the challenges of complex geological conditions and well casing environment,high temperature,high pressure,and strong heterogeneity.Despite the rich experience accumulated,unified understanding and implementation specifications are yet to be established for shale gas well logging.Given the analysis and comparison of the effectiveness and adaptability of logging technologies at different stages of shale gas exploration and development for the Sichuan Basin,this study optimizes the log suite to meet the demand for highefficiency exploration and development of shale gas.According to the adaptability analysis of shale gas log suite,the mandatory logging items of exploratory wells should include caliper log(CAL),natural gamma ray spectrometry(NGS)log,spontaneous potential(SP)log,directional survey,borehole compensated sonic log,litho-density log(LDL),compensated neutron log(CNL),dual laterologmicrospherically focused log/dual induction-laterolog log/array induction log,temperature log,elemental capture spectroscopy(ECS)log,formation microimager(FMI)log,and array sonic log.The log suite of appraisal wells is almost the same as that for exploratory wells,excluding the ECS log and microresistivity scanning imaging.Meanwhile,for the logging of horizontal/highly-deviated holes,the log suite of vertical wells should be referred to according to specific well conditions.
文摘In this paper, the test suite construction for GUI (Graphical User Interface) software may be executed centered on grey-box approach with the prior test design of window access controls for unit testing, including front-end method of white box and follow-up black box method for integration testing. Moreover, two key opinions are proposed for the test suite construction for GUI software, the first one is that the “Triple-step method” should be used for unit testing with the prior disposing of data boundary value testing of input controls, and another one is that the “Grey-box approach” should be applied in integration testing for GUI software with necessary testing preparation in the precondition. At the same time, the testing of baseline version and the incremental testing should be considered for the test case construction to coordinate with the whole evolution of software product today. Additionally, all our opinion and thought are verified and tested with a typical case of GUI software—PQMS (Product Quality Monitoring Software/System), and results indicate that these methods and specific disposing are practical and effective.
文摘有许多软件可以帮助分子生物学工作者解决一些他们日常实验室工作中遇到的问题。Vector NTI Su ite是一种高度集成、功能齐全的分子生物学应用软件,它可以对核酸、蛋白质等分子进行大量的操作和分析,以及建立和管理生物数据库。重点对Vector NTI Su ite软件的概况、应用现状及其在分子生物学领域的应用进行综述与探讨。
