Advanced integrated real-time control of combined Urban drainage systems using MPC

Combined urban drainage system (CUDS) collect both wastewater and raining water through sewer networks to wastewater treatment plants (WWTP) before releasing to the environment. During storm weather, rain and wastewater can overload the capacity of the CUDS and/or the WWTPs, producing combined sewer overflows (CSO). In order to improve the management efficiency of CUDS, advanced real-time control (RTC) of detention and diversion infrastructures in the sewer systems has been proven to contribute to reducing the CSO volumes. This work considers the integrated RTC of sewer network and WWTPs based on model predictive control (MPC) and taking into account the water quality as well as quantity, with the objective of minimizing the environmental impact of CSO on receiving waters. The control approach is validated using a real pilot Badalona sewer network in Spain. The first results, discussion and conclusions are also provided.Peer ReviewedPostprint (author's final draft

Model-Based Security Testing

Security testing aims at validating software system requirements related to security properties like confidentiality, integrity, authentication, authorization, availability, and non-repudiation. Although security testing techniques are available for many years, there has been little approaches that allow for specification of test cases at a higher level of abstraction, for enabling guidance on test identification and specification as well as for automated test generation. Model-based security testing (MBST) is a relatively new field and especially dedicated to the systematic and efficient specification and documentation of security test objectives, security test cases and test suites, as well as to their automated or semi-automated generation. In particular, the combination of security modelling and test generation approaches is still a challenge in research and of high interest for industrial applications. MBST includes e.g. security functional testing, model-based fuzzing, risk- and threat-oriented testing, and the usage of security test patterns. This paper provides a survey on MBST techniques and the related models as well as samples of new methods and tools that are under development in the European ITEA2-project DIAMONDS.Comment: In Proceedings MBT 2012, arXiv:1202.582

Partial PSABC Based Test Case Prioritization Using Regression Testing In Agile Software

The key component for assessing the software performance is how well it performs. Testing is broadly used in industry for quality assurance. Test case prioritization organizes the test cases in a test suite by ordering in such a manner that the most critical test cases are executed first thereby increasing the effectiveness of testing. Optimization techniques have been effectively used in test case generation and prioritization. In this paper a hybrid model called Partial Particle Swarm Artificial Bee Colony algorithm (Partial PSABC) has been proposed. The Partial PSABC algorithm is a combination of Particle Swarm Optimization (PSO) and Artificial Bee Colony (ABC) Algorithm. The main objective is to find the areas with highest coverage and highest usage, so that failures could be identified at an earlier stage

Search based software engineering: Trends, techniques and applications

© ACM, 2012. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version is available from the link below.In the past five years there has been a dramatic increase in work on Search-Based Software Engineering (SBSE), an approach to Software Engineering (SE) in which Search-Based Optimization (SBO) algorithms are used to address problems in SE. SBSE has been applied to problems throughout the SE lifecycle, from requirements and project planning to maintenance and reengineering. The approach is attractive because it offers a suite of adaptive automated and semiautomated solutions in situations typified by large complex problem spaces with multiple competing and conflicting objectives. This article provides a review and classification of literature on SBSE. The work identifies research trends and relationships between the techniques applied and the applications to which they have been applied and highlights gaps in the literature and avenues for further research.EPSRC and E

An integrated approach for requirement selection and scheduling in software release planning

It is essential for product software companies to decide which requirements should be included in the next release and to make an appropriate time plan of the development project. Compared to the extensive research done on requirement selection, very little research has been performed on time scheduling. In this paper, we introduce two integer linear programming models that integrate time scheduling into software release planning. Given the resource and precedence constraints, our first model provides a schedule for developing the requirements such that the project duration is minimized. Our second model combines requirement selection and scheduling, so that it not only maximizes revenues but also simultaneously calculates an on-time-delivery project schedule. Since requirement dependencies are essential for scheduling the development process, we present a more detailed analysis of these dependencies. Furthermore, we present two mechanisms that facilitate dynamic adaptation for over-estimation or under-estimation of revenues or processing time, one of which includes the Scrum methodology. Finally, several simulations based on real-life data are performed. The results of these simulations indicate that requirement dependency can significantly influence the requirement selection and the corresponding project plan. Moreover, the model for combined requirement selection and scheduling outperforms the sequential selection and scheduling approach in terms of efficiency and on-time delivery. \u