Regardless of which (model-centric or code-centric) development process is adopted, industrial software production ultimately and necessarily requires the delivery of an executable implementation. It is generally acce...Regardless of which (model-centric or code-centric) development process is adopted, industrial software production ultimately and necessarily requires the delivery of an executable implementation. It is generally accepted that the quality of such an implementation is of utmost importance. Yet current verification techniques, including software testing, remain problematic. In this paper, we focus on acceptance testing, that is, on the validation of the actual behavior of the implementation under test against the requirements of stakeholder(s). This task must be as objective and automated as possible. Our first goal is to review existing code-based and model-based tools for testing in light of what such an objective and automated approach to acceptance testing entails. Our contention is that the difficulties we identify originate mainly in a lack of traceability between a testable model of the requirements of the stakeholder(s) and the test cases used to validate these requirements. We then investigate whether such traceability is addressed in other relevant specification-based approaches.展开更多
Scenario modelling and the risk assessment of natural disasters is one of the hotspots in disaster research. However, up until now, urban natural disaster risk assessments lack common procedures and programmes. This p...Scenario modelling and the risk assessment of natural disasters is one of the hotspots in disaster research. However, up until now, urban natural disaster risk assessments lack common procedures and programmes. This paper selects rainstorm waterlogging as a disaster to research, which is one of the most frequently occurring hazards for most cities in China. As an example, we used a small-scale integrated methodology to assess risks relating to rainstorm waterlogging hazards in the Jing＇an District of Shanghai. Based on the basic concept of disaster risk, this paper applies scenario modelling to express the risk of small-scale urban rainstorm waterlogging disasters in different return periods. Through this analysis of vulnerability and exposure, we simulate different disaster scenarios and propose a comprehensive analysis method and procedure for small-scale urban storm waterlogging disaster risk assessments. A grid-based Geographical Information System （GIS） approach, including an urban terrain model, an urban rainfall model and an urban drainage model, was applied to simulate inundation area and depth. Stage-damage curves for residential buildings and contents were then generated by the loss data of waterlogging from field surveys, which were further applied to analyse vulnerability, exposure and loss assessment. Finally, the exceedance probability curve for disaster damage was constructed using the damage of each simulated event and the respective exceedance probabilities. A framework was also developed for coupling the waterlogging risk with the risk planning and management through the exceedance probability curve and annual average waterlogging loss. This is a new exploration for small-scale urban natural disaster scenario simulation and risk assessment.展开更多
文摘Regardless of which (model-centric or code-centric) development process is adopted, industrial software production ultimately and necessarily requires the delivery of an executable implementation. It is generally accepted that the quality of such an implementation is of utmost importance. Yet current verification techniques, including software testing, remain problematic. In this paper, we focus on acceptance testing, that is, on the validation of the actual behavior of the implementation under test against the requirements of stakeholder(s). This task must be as objective and automated as possible. Our first goal is to review existing code-based and model-based tools for testing in light of what such an objective and automated approach to acceptance testing entails. Our contention is that the difficulties we identify originate mainly in a lack of traceability between a testable model of the requirements of the stakeholder(s) and the test cases used to validate these requirements. We then investigate whether such traceability is addressed in other relevant specification-based approaches.
基金National Nature Science Foundation of China, No.41071324 No.40730526+2 种基金 Key Subject Developing Project by Shanghai Municipal Education Commission, No.J50402 Science and Technology Commission of Shanghai Municipality, No.08240514000 Leading Academic Discipline Project of Shanghai Normal University, No.DZL809
文摘Scenario modelling and the risk assessment of natural disasters is one of the hotspots in disaster research. However, up until now, urban natural disaster risk assessments lack common procedures and programmes. This paper selects rainstorm waterlogging as a disaster to research, which is one of the most frequently occurring hazards for most cities in China. As an example, we used a small-scale integrated methodology to assess risks relating to rainstorm waterlogging hazards in the Jing＇an District of Shanghai. Based on the basic concept of disaster risk, this paper applies scenario modelling to express the risk of small-scale urban rainstorm waterlogging disasters in different return periods. Through this analysis of vulnerability and exposure, we simulate different disaster scenarios and propose a comprehensive analysis method and procedure for small-scale urban storm waterlogging disaster risk assessments. A grid-based Geographical Information System （GIS） approach, including an urban terrain model, an urban rainfall model and an urban drainage model, was applied to simulate inundation area and depth. Stage-damage curves for residential buildings and contents were then generated by the loss data of waterlogging from field surveys, which were further applied to analyse vulnerability, exposure and loss assessment. Finally, the exceedance probability curve for disaster damage was constructed using the damage of each simulated event and the respective exceedance probabilities. A framework was also developed for coupling the waterlogging risk with the risk planning and management through the exceedance probability curve and annual average waterlogging loss. This is a new exploration for small-scale urban natural disaster scenario simulation and risk assessment.
