Web applications are quickly replacing standalone applications for everyday tasks. These web applications need to be tested to ensure proper functionality and reliability. There have been substantial efforts to create tools that assist with the testing of web applications, but there is no standard set of tools or a recommended workflow to ensure speed of development and strength of application. We have used and outlined the merits of a number of existing testing tools and brought together the best among them to create what we believe is a fully- featured, easy to use, testing framework and workflow for web application devel- opment. We then took an existing web application, PolyXpress, and augmented its development process to include our workflow suggestions in order to incorporate testing at all levels. PolyXpress is a web application that “allows you to create location-based stories, build eTours, or create restaurant guides. It is the tool that will bring people to locations in order to entertain, educate, or provide amazing deals.”[10] After incorporating our testing procedures, we immediately detected previously unknown bugs in the software. In addition, there is now a workflow in place for future developers to use which will expedite their testing and development.

Ingeniero Civil en Computación / El lenguaje de programación R es muy popular para desarrollar programas estadísticos y de análisis de datos, gracias a sus numerosas librerías y amplia comunidad, su sintaxis concisa y expresiva, así como soporte para su uso interactivo. Aún así, su semántica es bastante compleja y contiene numerosos casos de borde, y no está formalmente especificada, lo que hace difícil confiar plenamente en los programas desarrollados en R. Esto tiene como consecuencia que, en el año 2017, se inicie el proyecto CoqR, que busca formalizar la semántica de R, definiendo para ello una semántica natural en la forma de un intérprete implementado en el asistente de pruebas Coq. Como primera fuente de confianza, para validar la formalización, se utiliza una codificación monádica, que permite establecer una correspondencia visual directa entre el código en Coq y el intérprete de referencia implementado en C, GNU R, de tal forma que una o dos líneas de CoqR equivalen a una o dos de GNU R. El sistema desarrollado en esta memoria sirve como infraestructura para ejecutar bancos de pruebas y poder comparar, de manera sistemática, el comportamiento de CoqR y GNU R, proporcionando una segunda fuente de confianza para validar la formalización. Además, pro- porciona herramientas para apoyar el proceso iterativo de desarrollo, permitiendo identificar y detectar tanto las funcionalidades más relevantes a implementar, como los errores que puedan surgir durante esta fase. De esta manera, el sistema se integra directamente al proceso de desarrollo y a la validación de CoqR, logrando que, en su versión actual, cubra cerca del 30 % de los casos de pruebas, tanto de GNU R como de otro proyecto relevante, FastR.

Integration and unit testing is a critical part of most software development processes and, as such, demands for reliability, complexity of the tests as well as test execution time are important factors to consider when developing tests. This thesis explores the idea of designing and creating a testing framework based on the principles of testing by contract. It contains an example of how such a framework can be designed as well as a comparison between this design and traditional integration tests.

<p>Software verification is an important part of software development and themost practical way to do this today is through dynamic testing. This reportexplains concepts connected to verification and testing and also presents thetesting-framework Trassel developed during the writing of this report.Constructing domain specific languages and tools by using an existinglanguage as a starting ground can be a good strategy for solving certainproblems, this was tried with Trassel where the description-language forwriting test-cases was written as a DSL using Python as the host-language.</p>

Exploratory testing (ET) is an agile approach towards software testing. It is simultaneous learning, testing, reporting of problems and then generating new tests based on the learning. The aim of this thesis is to investigate exploratory testing in the industry. This thesis was proposed by Sogeti AB in Lund. Therefore the research questions were formulated and finalized according to their requirements and consent. Initially, a literature survey was conducted to study the different concepts of ET. After that a descriptive case study was conducted to investigate ET practices in an industrial environment. The research methodology used is qualitative. It comprises of ten semistructured interviews with industrial practitioners including both ET testers and customers having different perspectives. The study explores the misconceptions about ET and also identifies its claimed pros and cons. The investigation also studies its suitability with different types of testing and its effective combination with other techniques. In addition to the interviews, a survey was conducted to further investigate and analyze our findings with a larger sample of 25 practitioners. A framework for a session-based exploratory testing as practiced by the industrial partner is presented as part of our results. ET has different opinions and it is hard to say whether they are misconceptions or not. The most prominent advantage of ET from the testers view point is utilization of tester’s creativity and experience however, customers think the biggest benefit of ET approach is its ability to provide focused testing. The major disadvantage according to the testers resulted to be, difficulty in finding testers with appropriate experience, skill set and knowledge. On the other hand Inability to produce decision material was the biggest concern of the customers. The results also showed that ET approach was preferred to be used in combination with other testing techniques. Combination of Risk Based Testing and ET was reported to be used the most. ET was considered very suitable for situations where the testing requirements included learning of the system, time constraints and complementary testing. It was considered unsuitable for testing critical systems. / +46- (0)762005979

Nowadays integration and interoperability can make or break an enterprise&apos;s business success. In the huge space that is software engi- neering a lot of ESBs have emerged but with vast di erences in imple- mentation, patterns and architectures. To create order in this disarray studies have been made, features eval- uated and performance measured. This is a good thing but it does not clear up all the confusion and adds another layer of confusion regarding the studies and tests themselves. The aim of this thesis is to make an attempt of rectifying some of the disorder by rst evaluating the current body of knowledge and to provide a humble attempt of making a transparent test framework which could be used for a more coherent ESB evaluation.

Software verification is an important part of software development and themost practical way to do this today is through dynamic testing. This reportexplains concepts connected to verification and testing and also presents thetesting-framework Trassel developed during the writing of this report.Constructing domain specific languages and tools by using an existinglanguage as a starting ground can be a good strategy for solving certainproblems, this was tried with Trassel where the description-language forwriting test-cases was written as a DSL using Python as the host-language.

No description available.

The problem of this study was to identify a minimum competency-testing framework for the state of Texas, based upon perceptions of superintendents of schools. Additionally, this study attempted to determine whether relationships existed between school district characteristics and the superintendents' perceptions of minimum competency testing. In summary, eight conclusions were reached with regard to minimum competency testing. Two implications have been presented which would direct the application of a minimum competency framework within the state of Texas. Finally, six recommendations have been made. Five recommendations dealt with additional studies, while one recommendation dealt with the Texas Education Agency's use of results from the five recommended studies.

In this study, the absence of enough usage of the agile methodology Test-driven development among embedded developers was highlighted, and a solution for getting more developers to start using that methodology was researched into. The research revolved around making the practice of unit testing, which is a large part of the test-driven development methodology, more available to developers by lowering the knowledge threshold of which unit testing framework to choose and how they work. The area of embedded development was narrowed down to the usage of microcontrollers and the development of software for those in the programming language C. This study managed to firstly gather the general opinion of developers of which the most sought after criteria was that a unit testing framework for embedded development should support. With the help of those criteria, an extensive comparison could be done between some of the most popular and recommended unit testing frameworks for embedded microcontroller development. The observations that was made during the experiment were then used to take away some lessons learned that could form recommendations containing information about which unit testing framework that should be used depending on which preferences a developer could have.