Within Ericsson AB, integration and verification activities is done on the network level in order to secure the functionality of the network. Protocol analysers are used to capture the traffic in the network. This results in many log files, which needs to be analysed. To do this, a protocol decoder tool called Scapy/LHC is used. Scapy/LHC is a framework that allows the users to write their own script to retrieve the data they need from the log files. The Scapy/LHC framework is incrementally developed as open source within Ericsson when there are needs for more functionality. This is often done by the users, outside normal working tasks. Because of this, there is almost no testing done to verify that old and new functionality works as expected, and there is no formal test strategy in use today. <br />The goal of this master’s thesis is to evaluate test strategies that are possible to use on the Scapy/LHC framework. To make the time needed for the testing process as short as possible, the test strategy needs to be automated. Therefore, possible test automation tools shall also be evaluated. <br />Two possible test strategies and two possible test automation tools are evaluated in this thesis. A test strategy, where the scripts that are written by the users are used, is then selected for implementation. The two test automation tools are also implemented. The evaluation of the implemented test strategy shows that it is possible to find defects in the Scapy/LHC framework in a time efficient way with help of the implemented test strategy and any of the implemented test automation tools.

Ericsson has a very big and expensive test environment with a lot of GSM AXE equipment. In order to decrease the cost of testing Ericsson has developed a combination of simulated and real hardware, the Hybrid Test Environment (HTE). There is no formal supervision and testing of the HTE system today and this has left the HTE system unstable and the testers have been avoiding using HTE. It is important for Ericsson that the confidence for HTE will increase. The goal of this thesis is to produce a method for testing the HTE system. An automated test tool has been implemented in order to monitor and test the HTE system. During the two weeks that the test tool has been operational it has discovered 4 servers in 3 different HTE rigs that malfunctioned. These servers were fixed and were operational before the end-users could discover any problem.

The first effective demonstration of a telescope using reflecting optics was made by Isaac Newton, and his invention was given widespread publicity by the Royal Society of London in 1672. Newtonts instrument was closely associated with the introduction of his new theory of the nature of white light and colour, and for Newton his telescopes practicability remained important to the acceptance of his optical theory. Newtonts telescope, influenced to some extent by the earlier work of James Gregory, encouraged the Royal Society to promote more ambitious trials, but instruments by Robert Hooke and Christopher Cock, and by Newton himself, achieved only limited success. Renewed interest in the reflector followed its re- emergence in Newtonts Opticks of 1704. John Hadleyes successful revival of Newtones instrument led in turn to the establishment in London of competitive commercial manufacture of reflectors in the early 18th century, and by 1710 the market was dominated by the instruments of James Short. Contemporary references to the reflecting telescopes of Newton and others have been analysed to allow the historical development of this work to be established more reliably, and to propose a relationship between the various instruments that may be ascribed to Newton. The emphasis has therefore been placed on the instrumentation itself, on practical detail, and on questions of provenance.

The phenomenon of thermoluminescence (TL) cannot yet be said to be completely understood, and cases of anomalous results from TL dating programmes are not infrequent, although explanations are rarely given. It is therefore useful to put TL dating into a firmer physical framework in which all relevant phenomena can be adequately described, whence the best action can be taken to avoid spurious results. However, TL dating embraces many varied aspects of physics, and a solution to all the problems is not a simple task. This thesis is intended to be an experimental study of some of the main physical techniques in thermoluminescence dating. Following a brief review of the whole field, selected areas presented here have been investigated in more detail. A new TL reader has been implemented with novel design features, including microprocessor controlled heating cycles, a switch-mode power supply direct current heating, all based on a modular concept to facilitate future improvements in the hardware. The use of a microprocessor as the heating controller should enable further development (eg. data collection and processing) to be a straightforward task. Non-linear heating profiles can be generated for glow curve analysis and for providing pre-heat zones. The radioisotope content of ceramics and soils is important in TL dating, and a comparison of commonly used radio assay techniques has been made with the aim of assigning a minimum detectable activity to each technique for a given required accuracy. The analytical methods have been applied to various ceramic samples, and the derived dose rates within the shards are calculated and presented for comparison. Some theoretical aspects of TL described in this thesis include a computer model to simulate common TL phenomena, which is used to investigate the effects of varying the model parameters. A complete solution of the equations determining glow curve shapes produced by hyperbolic heating profiles is presented, with techniques for extracting the mathematical constants describing the model, from them. A brief intercomparison of five quartz samples of differing origins is presented with a trace element analysis of the samples to determine whether there exists a correlation between trace element concentration and the magnitude of the TL properties.

Testing uniformity in the univariate case has been studied by many researchers. Many papers have been published on this issue, whereas the multi-dimensional uniformity test seems to have received less attention in the literature. A new test statistic for the multi-dimensional uniformity is proposed in this thesis. The proposed test statistic can be used to test whether an underlying multivariate probability distribution differs from a multi-dimensional uniform distribution. Some important properties of the proposed test statistic are discussed. As a special case, the bivariate test statistic is discussed in detail and the critical values of test statistic are obtained. By performing Monte Carlo simulation, the power of the new test is compared with the Distance to Boundary test, which was a recently proposed statistical test for multi-dimensional uniformity by Berrendero, Cuevas and Vazquez-Grande (2006). It has been shown that the test proposed in this thesis is more powerful than the Distance to Boundary test in some cases.

No description available.

No description available.

No description available.

No description available.

Aujourd'hui, les éditeurs logiciels ne conçoivent, développent et ne maintiennent plus leur offre logicielle avec comme cible un client unique. Au contraire, les offres logicielles sont conçues pour cibler plusieurs entités. Par conséquent, ces applications doivent s'intégrer dans des environnements différents et s'adapter aux besoins des clients. Ainsi, les produits logiciels développés ne sont plus des programmes uniques, mais des familles de produits. Les systèmes configurables facilitent la création de ces familles de produits. Grâce à eux il est possible de créer un produit logiciel en sélectionnant les fonctionnalités qui seront intégrées. Cependant, la validation de ces systèmes  est une tâche complexe. Un système configurable peut générer plusieurs millions de configurations possibles. Il ne s'agit donc plus de valider un seul et unique produit, mais un ensemble de produits. Cet important nombre de configurations est un problème pour les personnes chargées de la validation. Nous proposons trois contributions qui visent à mieux répondre aux problématiques liées à la variabilité lors des projets de test : une présentation détaillée de deux projets de test industriels faisant face à des problématiques de variabilité issus de deux entreprises : Cisco et Orange ; une méthode originale basée sur les techniques de programmation par contraintes pour extraire des configurations de test qui respectent le critère Pairwise à partir d'un modèle explicite de la variabilité ; une comparaison de cette approche par rapport aux techniques de l'état de l'art et une étude de l'application de cette technique de test sur deux projets de tests industriels. / Nowadays, software companies develop and maintain their software for several clients. Consequently, these applications have to  be integrated in heterogenous context and adapt to the user requriements. All these products are sharing commonalities but also differ in certain point due to business specific constraints. Configurable systems facilitate the creation of these product families. With them it is possible to create a software product by selecting the features that will be integrated, thus, the creation of a product is greatly simplified. However,  the validation of these systems is a complex task. A configurable system can generate millions of possible configurations. Thus, validation process doesn't consist in validating a single product but in validating a set of products. This large number of configurations is a problem for those responsible of the validation. In this thesis we propose three contributions that aim to solve issues raised by  variability during test projects : A detailled presentation of two industrial test projects coping tat variaibility issues; an original methodology based on constraint programming techniques to select test configurations that respect pairwise criteria from a feature model ; an exhaustive comparison of this approach with the existing approches and a detailled study of the application of a such techniques on the two industrials projects.