Evolutionary computation for software testing

A variety of products undergo a transformation from a pure mechanical design to more and more software and electronic components. A polarized example are watches. Several decades ago they have been purely mechanical. Modern smart watches are almost completely electronic devices which heavily rely on software. Further, a smart watch offers a lot more features than just the information about the current time. This change had a crucial impact on how software is being developed. A first attempt to control the rising complexity was to move to agile development practices such as extreme programming or scrum. This rise in complexity is not only affecting the development process but also quality assurance and software testing. If a product contains more and more features then this leads to a higher number of tests necessary to ensure quality standards. Furthermore agile development practices work in an iterative manner which leads to repetitive testing that puts more effort on the testing team. We aimed within the thesis to ease the pain of testing. Thereby we examined a series of subproblems that arise. A key complexity is the number of test cases. We intended to reduce the number of test cases before they are executed manually or implemented as automated tests. Thereby we examined the test specification and based on the requirements coverage of the individual tests, we were able to identify redundant tests. We relied on a novel metaheuristic called GCAIS which we improved upon iteratively. Another task is to control the remaining complexity. Testing is often time crucial and an appropriate subset of the available tests must be chosen in order to get a quick insight into the status of the device under test. We examined this challenge in two different testing scenarios. The first scenario is located in semi-automated testing where engineers execute a set of automated tests locally and closely observe the behaviour of the system under test. We extended GCAIS to compute test suites that satisfy different criteria if provided with sufficient search time. The second use case is located in fully automated testing in a continuous integration (CI) setting. CI focuses on frequent software build cycles which also include testing. These builds contain a testing stage which greatly emphasizes speed. Thus there we also have to compute crucial tests. However, due to the nature of the process we have to continuously recompute a test suite for each build as the software and maybe even the test cases at hand have changed. Hence it is hard to compute the test suite ahead of time and these tests have to be determined as part of the CI execution. Thus we switched to a computational lightweight learning classifier system (LCS) to prioritize and select test cases. We integrated a series of innovations we made into an LCS known as XCSF such as continuous priorities, experience replay and transfer learning. This enabled us to outperform a state of the art artificial neural network which is used by companies such as Netflix. We further investigated how LCS can be made faster using parallelism. We developed generic approaches which may run on any multicore computing device. This is of interest for our CI use case as the build server's architecture is unknown. However, the methods are also independent of the concrete LCS and are not linked to our testing problem. We identified that many of the challenges that need to be faced in the CI use case have been tackled by Organic Computing (OC), for example the need to adapt to an ever changing environment. Hence we relied on OC design principles to create a system architecture which wraps the LCS developed and integrates it into existing CI processes. The final system is robust and highly autonomous. A side-effect of the high degree of autonomy is a high level of automatization which fits CI well. We also gave insight on the usability and delivery of the full system to our industrial partner. Test engineers can easily integrate it with a few lines of code and need no knowledge about LCS and OC in order to use it. Another implication of the developed system is that OC's ideas and design principles can also be employed outside the field of embedded systems. This shows that OC has a greater level of generality. The process of testing and correcting found errors is still only partially automated. We make a first step into automating the entire process and thereby take an analogy to the concept of self-healing of OC. As a first proof of concept of this school of thought we take a look at touch interfaces. There we can automatically manipulate the software to fulfill the specified behaviour. Thus only a minimalistic amount of manual work is required

Technology for large space systems: A bibliography with indexes (supplement 20)

This bibliography lists 694 reports, articles, and other documents introduced into the NASA Scientific and Technical Information System between July, 1988 and December, 1988. Its purpose is to provide helpful information to the researcher or manager engaged in the development of technologies related to large space systems. Subject areas include mission and program definition, design techniques, structural and thermal analysis, structural dynamics and control systems, electronics, advanced materials, assembly concepts, and propulsion

Proceedings of the EAA Spatial Audio Signal Processing symposium: SASP 2019

International audienc

Photovoltaic potential in building façades

Tese de doutoramento, Sistemas Sustentáveis de Energia, Universidade de Lisboa, Faculdade de Ciências, 2018Consistent reductions in the costs of photovoltaic (PV) systems have prompted interest in applications with less-than-optimum inclinations and orientations. That is the case of building façades, with plenty of free area for the deployment of solar systems. Lower sun heights benefit vertical façades, whereas rooftops are favoured when the sun is near the zenith, therefore the PV potential in urban environments can increase twofold when the contribution from building façades is added to that of the rooftops. This complementarity between façades and rooftops is helpful for a better match between electricity demand and supply. This thesis focuses on: i) the modelling of façade PV potential; ii) the optimization of façade PV yields; and iii) underlining the overall role that building façades will play in future solar cities. Digital surface and solar radiation modelling methodologies were reviewed. Special focus is given to the 3D LiDAR-based model SOL and the CAD/plugin models DIVA and LadyBug. Model SOL was validated against measurements from the BIPV system in the façade of the Solar XXI building (Lisbon), and used to evaluate façade PV potential in different urban sites in Lisbon and Geneva. The plugins DIVA and LadyBug helped assessing the potential for PV glare from façade integrated photovoltaics in distinct urban blocks. Technologies for PV integration in façades were also reviewed. Alternative façade designs, including louvers, geometric forms and balconies, were explored and optimized for the maximization of annual solar irradiation using DIVA. Partial shading impacts on rooftops and façades were addressed through SOL simulations and the interconnections between PV modules were optimized using a custom Multi-Objective Genetic Algorithm. The contribution of PV façades to the solar potential of two dissimilar neighbourhoods in Lisbon was quantified using SOL, considering local electricity consumption. Cost-efficient rooftop/façade PV mixes are proposed based on combined payback times. Impacts of larger scale PV deployment on the spare capacity of power distribution transformers were studied through LadyBug and SolarAnalyst simulations. A new empirical solar factor was proposed to account for PV potential in future upgrade interventions. The combined effect of aggregating building demand, photovoltaic generation and storage on the self-consumption of PV and net load variance was analysed using irradiation results from DIVA, metered distribution transformer loads and custom optimization algorithms. SOL is shown to be an accurate LiDAR-based model (nMBE ranging from around 7% to 51%, nMAE from 20% to 58% and nRMSE from 29% to 81%), being the isotropic diffuse radiation algorithm its current main limitation. In addition, building surface material properties should be regarded when handling façades, for both irradiance simulation and PV glare evaluation. The latter appears to be negligible in comparison to glare from typical glaze/mirror skins used in high-rises. Irradiation levels in the more sunlit façades reach about 50-60% of the rooftop levels. Latitude biases the potential towards the vertical surfaces, which can be enhanced when the proportion of diffuse radiation is high. Façade PV potential can be increased in about 30% if horizontal folded louvers becomes a more common design and in another 6 to 24% if the interconnection of PV modules are optimized. In 2030, a mix of PV systems featuring around 40% façade and 60% rooftop occupation is shown to comprehend a combined financial payback time of 10 years, if conventional module efficiencies reach 20%. This will trigger large-scale PV deployment that might overwhelm current grid assets and lead to electricity grid instability. This challenge can be resolved if the placement of PV modules is optimized to increase self-sufficiency while keeping low net load variance. Aggregated storage within solar communities might help resolving the conflicting interests between prosumers and grid, although the former can achieve self-sufficiency levels above 50% with storage capacities as small as 0.25kWh/kWpv. Business models ought to adapt in order to create conditions for both parts to share the added value of peak power reduction due to optimized solar façades.Fundação para a Ciência e a Tecnologia (FCT), SFRH/BD/52363/201

Research and Technology Objectives and Plans Summary (RTOPS)

A compilation of summary portions of each of the Research and Technology Objectives and Plans (RTOPS) used for management review and control of research currently in progress throughout NASA is presented. Subject, technical monitors, responsible NASA organization, and RTOP number indexes are included

Proceedings of the 9th Arab Society for Computer Aided Architectural Design (ASCAAD) international conference 2021 (ASCAAD 2021): architecture in the age of disruptive technologies: transformation and challenges.

The ASCAAD 2021 conference theme is Architecture in the age of disruptive technologies: transformation and challenges. The theme addresses the gradual shift in computational design from prototypical morphogenetic-centered associations in the architectural discourse. This imminent shift of focus is increasingly stirring a debate in the architectural community and is provoking a much needed critical questioning of the role of computation in architecture as a sole embodiment and enactment of technical dimensions, into one that rather deliberately pursues and embraces the humanities as an ultimate aspiration

Energy: A continuing bibliography with indexes

This bibliography lists 1428 reports, articles, and other documents introduced into the NASA scientific and technical information system from January 1, 1980 through March 31, 1980