This thesis presents a tool for SPEcification based teSTing (SPEST). SPEST is designed to use well known practices for automated black-box testing to reduce the burden of testing on developers. The tool uses a simple formal specification language to generate highly-readable unit tests that embody best practices for thorough software testing. Because the specification language used to generate the assertions about the code can be compiled, it can also be used to ensure that documentation describing the code is maintained during development and refactoring. The utility and effectiveness of SPEST were validated through several exper- iments conducted with students in undergraduate software engineering classes. The first experiment compared the understandability and efficiency of SPEST generated tests against student written tests based on the Java Modeling Lan- guage (JML)[25] specifications. JML is a widely used language for behavior program specification. A second experiment evaluated readability through a sur- vey comparing SPEST generated tests against tests written by well established software developers. The results from the experiments showed that SPEST’s specification language is at least understandable as JML, SPEST’s specification language is more readable than JML, and strongly suggest that SPEST is capable of reducing the effort required to produce effective tests.

Designing products and processes is a fundamental aspect of engineering that significantly impacts society and the world. Chemical process design aims to create more efficient and sustainable production processes that consume fewer resources and emit less pollution. Mathematical models that accurately describe process behavior are necessary to make informed and responsible decisions. However, as processes become more complex, purely symbolic formulations may be inadequate, and simulations using tailored computer code become necessary. The decision‐making process in optimal design requires a procedure for choosing the best option while complying with the system’s constraints, for which task optimization approaches are well suited. This doctoral thesis focuses on black‐box optimization problems that arise when using process simulators in optimal process design tasks and assesses the potential of derivative‐free, metaheuristics, and surrogate‐based optimization approaches. The optimal design of natural gas liquefaction processes is the case study of this research. To overcome numerical issues from black‐box problems, the first work of this doctoral thesis consisted of using the globally convergent Nelder‐Mead simplex method to the optimal process design problem. The second work introduced surrogate models to assist the search towards the global optimum of the black‐box problem and an adaptive sampling scheme comprising the optimization of an acquisition function with metaheuristics. Kriging as surrogate models to the simulation‐optimization problems are computationally cheaper and effective predictors suitable for global search. The third work aims to overcome the limitations of acquisition function optimization and the use of metaheuristics. The proposed comprehensive mathematical notation of the surrogate optimization problem was readily implementable in algebraic modeling language software. The presented framework includes kriging models of the objective and constraint functions, an adaptive sampling procedure, a heuristic for stopping criteria, and a readily solvable surrogate optimization problem with mathematical programming. The success of the surrogate‐based optimization framework relies on the kriging models’ prediction accuracy regarding the underlying, simulation‐based functions. The fourth publication extends the previous work to multi‐objective black‐box optimization problems. It applies the ε constraint method to transform the multi‐objective surrogate optimization problem into a sequence of single‐objective ones. The ε‐constrained surrogate optimization problems are implemented automatically in algebraic modeling language software and solved using a gradient‐based, state‐of‐the‐art solver. The fifth publication is application-driven and focuses on identifying the most suitable mixed‐refrigerant refrigeration technology for natural gas liquefaction in terms of energy consumption and costs. The study investigates five natural gas liquefaction processes using particle swarm optimization and concludes that there are flaws in the expected relationships between process complexity, energy consumption, and total annualized costs. In conclusion, the research conducted in this doctoral thesis demonstrates the importance and capabilities of using optimization to process simulators. The work presented here highlights the potential of surrogate‐based optimization approaches to significantly reduce the computational cost and guide the search in black‐box optimization problems with chemical process simulators embedded. Overall, this doctoral thesis contributes to developing optimization strategies for complex chemical processes that are essential for addressing some of the current most pressing environmental and social challenges. The methods and insights presented in this work can help engineers and scientists design more sustainable and efficient processes, contributing to a better future for all.

The aim of this thesis is to show that it is possible to damp mechanical vibrations in a given frame, constituted by Euler beam governed by the equations of an elastica, by means of piezoelectric actuators glued on every beam and interconnected each other via electrical networks.Since we believe that the most efficient way to damp mechanical vibrations by means of electrical networks, is to realize a strong modal coupling between the electrical and the mechanical motion, we will synthesize a distributed circuit analog to the Euler beam.We will approach this synthesis problem following the black box approach to mechanical systems, studied by many engineers and scientists during the 1940's in an attempt to design analog computers.It will be shown that it is possible to obtain a quick energy exchange between its mechanical and electrical forms, using available piezoelectric actuators.Finally we will study a numerical simulation for the damping of transverse vibrations of a beam clamped at both ends. / Master of Science

This study provides an examination and application of heterotopic dérive, a concept that combines spatial theories originated by Foucault and psychogeographical methods advocated by the Situationists, as enacted within theatrical performance spaces. The first chapter reviews theories related to space, place, and heterotopias, as well as the psychogeographical methods of the Situationists, particularly the dérive. The literature review is augmented with accounts of my experiences of serendipitous heterotopic dérive over a period of several years as a cast member in, or a technical director for, theatrical productions in the Department of Communication Studies Black Box Theatre. Based on the review, I postulate that heterotopic dérive is a potentially valuable phenomenon that performance studies scholar/artists can utilize consciously in the rehearsal process for mounting theatrical performances. To test this proposition, I worked collaboratively with a theatrical cast to craft a devised performance, Desire Lines, with a conscious effort to engender heterotopic dérive in the process of creating the performance. This performance served as the basis for the second chapter of the study, which analyzes and discusses of the results of that investigation. This project enhances understanding of the significance of the places and spaces in which performers practice their craft, and argues for the potential of recognizing and utilizing the agency of heterotopic spaces such as the Black Box.

No description available.

No description available.

Arduino Verkstad AB, the Swedish branch of Arduino, has developed a prototype that demonstrates a smart transducer network with a self-configurable communication protocol. The protocol is called I2C+, since it is based upon I2C. One of the possible areas of application is the EU funded PELARS project, where Arduino Verkstad is responsible for creating educational tools. Within the PELARS project, a maximum number of transducer modules is expected to be 20 modules, connected at the same time.The aim of this thesis was to create a testing tool and a test suite for the prototype system, which later could be used and also further developed by engineers at Arduino Verkstad, during the development of the final product. Though the testing tool was primarily needed for this particular system, it was considered desirable if it could be reused for similar projects as well.It was relevant to create the testing tool and the test suite in order to analyse the validity of the I2C+ protocol, which might become Arduino's future standard in connectivity between smart transducers. The performance of the I2C+ protocol also affects the implementation of the smart transducer system within the PELARS project.This work has been guided by a specification of requirements and also by a systematic top-down approach of solving several subproblems. A testing tool and a test suite was created, which serves as a proof-of-concept. The testing tool has a modular design, which makes the solution reusable for other purposes. The testing tool and the test suite was validated by using Arduino's prototype as a test object. Although only 10 transducer modules was used during these tests, the results showed that the prototype does not perform well for a growing number of modules. Therefore, improvement of the system and further testing is advised.

The aim of this work is to develop a two-port black-box dc-dc converter modeling methodology for system level simulation and analysis. The models do not require any information about the components, structure, or control parameters of the converter. Instead, all the information needed to build the models is collected from unterminated experimental frequency response function (FRF) measurements performed at the converter power terminals. These transfer funtions are known as audiosuceptibility, back current gain, output impedance, and input admittance. The measurements are called unterminated because they do not contain any information about the source and/or the load dynamics. This work provides insights into how the source and the load affect FRF measurements and how to decouple those effects from the measurements. The actual linear time invariant model is obtained from the experimental FRFs via system identification. Because the the two-port model obtained from a set of FRFs is linear, it will be valid in a specific operating region defined by the converter operating conditions. Therefore, to satisfy the need for models valid in a wide operating region, a model structure that combines a family of linear two-port models is proposed. One structure, known as the Wiener structure, is especially useful when the converter nonlinearities are reflected mainly in the steady state currents and voltage values. The other structure is known as a polytopic structure, and it is able to capture nonlinearities that affect the transient and steady state converter behavior. The models are used for prediction of steady state and transient behavior of voltages and currents at the converter terminals. In addition, the models are useful for subsystem interaction and small signal stability assesment of interconnected dc distribution systems comprising commericially available converters. This work presents for first time simulation and stability analysis results of a system that combines dc-dc converters from two different manufucturers. All simulation results are compared against experimental results to verify the usefulness of the approach. / Ph. D.

The threat of cyber attacks due to improper security is a real and evolving danger. Corporate and personal data is breached and lost because of web application vulnerabilities thousands of times every year. The large number of cyber attacks can partially be attributed to the fact that web application vulnerability scanners are not used by web site administrators to scan for flaws. Web application vulnerability scanners are tools that can be used by network administrators and security experts to help prevent and detect vulnerabilities such as SQL injection, buffer overflows, cross-site scripting, malicious file execution, and session hijacking. However, these tools have been found to have flaws and limitations as well. Research has shown that web application vulnerability scanners are not capable of always detecting vulnerabilities and attack vectors, and do not give effective measurements of web application security. This research presents a method to analyze the flaws and limitations of several of the most popular commercial and free/open-source web application scanners by using a secure and insecure version of a custom-built web application. Using this described method, key improvements that should be made to web application scanner techniques to reduce the number of false-positive and false-negative results are proposed. / Master of Science

The thesis compares several non-linear regression methods on synthetic data sets gen- erated using standard benchmarks for a continuous black-box optimization. For that com- parison, we have chosen the following regression methods: radial basis function networks, Gaussian processes, support vector regression and random forests. We have also included polynomial regression which we use to explain the basic principles of regression. The com- parison of these methods is discussed in the context of black-box optimization problems where the selected methods can be applied as surrogate models. The methods are evalu- ated based on their mean-squared error and on the Kendall's rank correlation coefficient between the ordering of function values according to the model and according to the function used to generate the data. 1