Testing times: on model-driven test generation for non-deterministic real-time systems

Summary form only given. Although testing has always been the most important technique for the validation of software systems it has only become a topic of serious academic research in the past decade or so. In this period research on the use of formal methods for model-driven test generation and execution of functional test cases has led to a number of promising methods and tools for systematic black-box testing of systems, examples are based on A. Belinfante et al. (1999), J. Tretmans and E. Brinksma (2003), J.-C. Fernandez et al. (1996) and J.-C. Fernandez et al. (1997). Most of these approaches are limited to the qualitative behaviour of systems, and exclude quantitative aspects such as real-time properties. The explosive growth of embedded software, however, has also caused a growing need to extend existing testing theories to the testing of real-time reactive systems. In our presentation we present an extension of Tretmans' ioco theory for test generation as stated in J. Tretmans (1996) for input/output transition systems that includes real-time behaviour

TOWARDS UTILIZATION OF LEAN CANVAS IN THE DEVOPS SOFTWARE

The growth of technology made human to depend more on the software applications in his daily life and nowadays software companies focused more on building robust error free software to end customers in very short time. Software development companies facing one side growth of technological complexity and another side build the products fast to win a competition in business. In recent years growth of a DevOps given lot of new growth opportunity for the software companies. DevOps basic principles focused on the collaboration and communication as a key in between software development information technology professional. It is concentrated on the automating the most of the routine tasks such as development, delivery, infrastructure, support, software testing in software development process. DevOps also emphasize on the building, testing and releasing the software more quickly and in a reliable way

A nonparametric software reliability growth model

Miller and Sofer have presented a nonparametric method for estimating the failure rate of a software program. The method is based on the complete monotonicity property of the failure rate function, and uses a regression approach to obtain estimates of the current software failure rate. This completely monotone software model is extended. It is shown how it can also provide long-range predictions of future reliability growth. Preliminary testing indicates that the method is competitive with parametric approaches, while being more robust

An empirical investigation of software reliability indicators

University of Technology, Sydney. Faculty of Engineering and Information Technology.This thesis investigates how individuals and organisations, without technical skills, might determine the reliability of open source software given the increased use of such software. Software reliability is normally indicated by the growth and subsequent decline of defects in the software. A notable observation is that reliability growth models require a definitive stabilisation phase during which testing can reveal the growth and decline of defects as the indication of the increase in reliability of software. However, there is not necessarily a definitive stabilisation phase in the open source software development. More importantly, the presence or absence of the stabilisation phase is an attribute of a software development method and is not restricted to open source software. When software is developed without a definitive stabilisation phase, reliability growth models are not applicable because the conditions for their validity have not been achieved. Consequently, this thesis looks for alternative information based on tests to aid decision-making about software acquisition. Data was collected by conducting semi-structured interviews from 29 participants who were currently engaged in software development. The information of tests; coverage, sufficiency and rigours of tests concerns the testing that has been performed on the software product and gives expectations on how well the software product has been tested

Adaptive Mean Value Function Based Quality Assessment of Software Reliable Growth Models

Software growth models aims for reliability of the application over a period of time. Assessment of such models is of great interest since many faults arises with the models during the operation over a span of time. In this paper a adaptive mean value function based testing and estimation of the parameters were discussed. The proposed approach is also compared against the conventional testing approaches and found that the proposed method able to detect the fault under different scenario and proves to give better performance under a constrained environment. Keywords: Software reliability, Growth models, testing analysis, Fault detection and correction

Impact of Software Testing Techniques on Software Project Success through Regression Analysis

This study is intended to evaluate the effectiveness of software testing techniques for the success of software project. The research studies Functional Testing, Performance Testing and Regression Testing as critical factors and characterizes the importance of them for the acquisition of project milestones. Furthermore, the study aims to address if software testing techniques have significant effect on project success and does software testing techniques have significant relationship with each other. The study contributes to making polices by government, by providing a broad vision about effective testing techniques implementations in software houses and shows how management can boast the business and get the rewards of successful business. This study is focused to lead new techniques in enhancing project quality in IT sector of Pakistan. Moreover, this study will give an opportunity to management to pay more attention on quality assurance department to enhance their project success and finally their business growth

Impact of Software Testing Techniques on Software Project Success through Regression Analysis

This study is intended to evaluate the effectiveness of software testing techniques for the success of software project. The research studies Functional Testing, Performance Testing and Regression Testing as critical factors and characterizes the importance of them for the acquisition of project milestones. Furthermore, the study aims to address if software testing techniques have significant effect on project success and does software testing techniques have significant relationship with each other. The study contributes to making polices by government, by providing a broad vision about effective testing techniques implementations in software houses and shows how management can boast the business and get the rewards of successful business. This study is focused to lead new techniques in enhancing project quality in IT sector of Pakistan. Moreover, this study will give an opportunity to management to pay more attention on quality assurance department to enhance their project success and finally their business growth