Combined sewer overflows represent significant risks to human health as untreated water is discharged to the environment.Municipalities,such as the Metropolitan Sewer District of Greater Cincinnati(MSDGC),recently beg...Combined sewer overflows represent significant risks to human health as untreated water is discharged to the environment.Municipalities,such as the Metropolitan Sewer District of Greater Cincinnati(MSDGC),recently began collecting large amounts of water-related data and considering the adoption of deep learning(DL)solutions like recurrent neural network(RNN)for predicting overflow events.Clearly,assessing the DL's fitness for the purpose requires a systematic understanding of the problem context.In this study,we propose a requirements engineering framework that uses the problem frames to identify and structure the stakeholder concerns,analyses the physical situations in which the highquality data assumptions may not hold,and derives the software testing criteria in the form of metamorphic relations that incorporate both input transformations and output comparisons.Applying our framework to MSDGC's overflow prediction problem enables a principled way to evaluate different RNN solutions in meeting the requirements.展开更多
基金the National Natural Science Foundation of China,Grant/Award Number:62177003。
文摘Combined sewer overflows represent significant risks to human health as untreated water is discharged to the environment.Municipalities,such as the Metropolitan Sewer District of Greater Cincinnati(MSDGC),recently began collecting large amounts of water-related data and considering the adoption of deep learning(DL)solutions like recurrent neural network(RNN)for predicting overflow events.Clearly,assessing the DL's fitness for the purpose requires a systematic understanding of the problem context.In this study,we propose a requirements engineering framework that uses the problem frames to identify and structure the stakeholder concerns,analyses the physical situations in which the highquality data assumptions may not hold,and derives the software testing criteria in the form of metamorphic relations that incorporate both input transformations and output comparisons.Applying our framework to MSDGC's overflow prediction problem enables a principled way to evaluate different RNN solutions in meeting the requirements.
