Sharif Digital Repository

Generating test cases based on software input interface is a black-box testing technique that can be made more effective by using structured input models such as input grammars. Automatically generating grammar-based test inputs may lead to structurally valid but semantically invalid inputs that may be rejected in early semantic error checking phases of a system under test. This research aims to introduce a method for specifying a grammar-based input model with the model’s semantic constraints to be used in the generation of positive test inputs. It is also important that the method can generate effective test suites based on appropriate grammar-based coverage criteria. Formal specification... 

Software developers notice existence of faults by report of a fault in issue tracking systems or a failure in software tests. Then they try to locate the bug and understand the problem. Early detection of fault results in saving time and money and facilitates debugging process. Prediction models can be built and used easily by modern statistical tools. Software metrics are the most important part of prediction models. Therefore higher performance in models can be achieved using new and effective metrics. In this study, process metrics and metrics that built base on mutation analysis used and resulting models evaluated. In addition to using process metrics with mutation metrics, two group of... 

Design patterns as successful solutions of recurring problems, have attracted much attention in the field of Software Engineering. These Patterns, which are derived from the principles of Object-Oriented programming, are fine-grained architectures that have significant impact on software quality attributes such as maintainability, scalability, configurability, understandability, and so on. On the other hand, Refactoring as behavior protective method for making changes to software structure, to enhance maintainability and reduce the cost of changes, is now widely used in industry. This structural changes, can be as simple as moving a method or adding a parameter, or as complex as transforming... 

One of the most crucial methods to Ensure correct software performance is testing. On this ground, one of the most critical discussions regarding software testing is the effectiveness of a test suite. Program state coverage is a criterion for determining the effectiveness of a test suite. This criterion indicates the number of program states that are executed for the lines. Since the total number of program states cannot be calculated to measure coverage, this criterion proposes a fixed number of 10 to measure program state coverage. Also, according to calculations for the program state in the execution of each line, the time complexity of this criterion is high. In this thesis, providing... 

The test suite effectiveness concerns the ability of test suites to reveal faults. Mutation testing is a de facto standard to assess the test suite effectiveness. However, mutation testing is a time-consuming process. Over the years, researchers have proposed two kinds of approaches. The first category is related to code coverage criteria and assess the total test suite effectiveness. The second is known as Predictive Mutation Testing (PMT). The suggested approach is probabilistic, being in different levels of abstraction (macro and micro). First, in the macro level, there is a code coverage criterion that not only does outperform existing code coverage but also does not have a statistically... 

In industry it is usual to develop a family of similar software instead of a single one. Software product-line (SPL) engineering or family-based software engineering is an approach that tries to minimize needed effort and time-to-market and maximize quality of manufactured products through strategic planning for maximizing reuse among members of the family. On the other hand it is known that testing software is an indivisible part of software development process which requires considerable time and effort. With large number of products created from an SPL, it is obvious that testing should be conducted in such a way that needed effort does not maintain a linear relationship with number of... 

Less than a decade ago, Test Driven Development (TDD) emerged as a quality assurance approach and applied in agile software developments. In this method, test cases act as software development driver and a new piece of code is added just to satisfy the corresponding test case in the test repository. Although the results of applying TDD show its success in software quality promotion, but the method suffers from some limitations and shortcomings that make its usage hard in complicated and enterprise software projects, particularly in the industry. The goal of the following research is to mitigate the drawbacks of TDD and improve the method in order to make it more applicable for complicated... 

In the modern software era, testing plays an invaluable role in software development as a quality assurance measure. Estimates have been made that up to 50% of effort and resources in software projects are allocated to testing. Model based testing (MBT) is one of the important stages of model driven development (MDD), which involves creating test cases from software models. When test cases are created from models, they reside at a higher level of abstraction, therefore creating and maintaining them will cost less, and will utilize more automation possibilities. Also, MBT takes a systematic route to test generation; this allows for a more goal-oriented and direct approach in achieving... 

In the recent years, developing and using android applications has experienced a huge expansion. Due to the novelity of these applications and their environment for developers, we can find so many problems in their perfomance. At the same time as spread of developing these applications, new automatic and non-automatic methods are introduced for testing them. Usually mutation testing methods are used to evaluate new suggested software testing methods, so some rigorous and effective methods of mutation testing for android applications are needed too. Today, some primary methods are suggested for generating mutants of android applications which are not mature yet and have many defects. The goal... 

One of the most important methods to ensure correct software and check the quality of software is software testing. One of the most important discussions about software testing is the effectiveness of a test suite. Manufacturers need a benchmark to determine the effectiveness of the test suite to stop the software testing process. The proposed solutions for determining the effectiveness are mutation testing and code coverage. The mutation test has a higher accuracy than the code coverage, but it takes a long time to calculate. This dissertation has tried to improve the existing solutions by presenting a new coverage that has a higher degree of accuracy than the proposed coverages in... 

Mutation testing is known to be one of the best strategies to improve the quality of test suites, consequently the quality of the software. However, some challenges make mutaton testing unpractical. One of the main challenges confronting mutation testing is that it demands exhustive computation and is time consuming because of the large number of mutants that need to be compiled and executed on the test cases of the test suite. Many researches have been conducted to reduce the number of mutants without losing the main characteristics of the all possible mutants. Most of these researches select the mutants without considering the characteristics of the test suite, therefore the reduced set of... 

In recent years, the user interface of web-based applications has become more and more complicated. Various technologies, architectures, and tools are being used to create a modern user interface. Users interact directly with the user interface, so its functionality has a significant impact on their satisfaction and it is required to design special test suites for the user interface. Furthermore, we need a method to measure the quality and effectiveness of test suites. An effective test suite is a test suite which is able to detect real faults. But this definition is ambiguous, and hence, not practical. A method called Mutation Testing solves this problem and instead of real faults, uses... 

According to expanding penetration of Internet and the increased power of processing devices in the recent years, softwares are incisingly used for daily acitivies. The variety of hardware configuration and operating system of such devices leds the companies to take advantage of cross-platform software development methods. Although the production of cross platform software, resude development costs, it results in an specific type of faults known as platform-specific failures. These faults occur when software is running on specific platforms, and therefore, to identify and resolve them, the software test process should be performed on different platforms. To deal with this problem, we present... 

Grammar-based software's are the software's that their input can be expressed according to the grammars for example, reverse engineering software's, evolutional counting's, adjustable programming in product line and XML controllers are in this category; so we can use this capability of the software in its testing .In the field of criteria for the test coverage of the grammar-based software, 5 criteria have been offere so far, which contain rule coverage criterion, context-dependant rule coverage criterion, length-n successor coverage criterion, loop-K coverage criterion and full coverage criterian, any of which have benefits and defeats. The first questions which are asked in this field is...