A Systematic Approach for Software Test Cases Generation Using Gray Box Testing with UML Activity Diagrams

Total Page:16

File Type:pdf, Size:1020Kb

A Systematic Approach for Software Test Cases Generation Using Gray Box Testing with UML Activity Diagrams ISSN : 0976-8491 (Online) | ISSN : 2229-4333 (Print) IJCST VOL . 2, Iss UE 4, Oct . - DE C . 2011 A Systematic Approach for Software Test Cases Generation using Gray Box Testing with UML Activity Diagrams 1Suppandeep Sandhu, 2Amardeep Singh 1,2Dept, of CSE, Swami Vivekanand Institute of Engineering & Technology, Banur, India Abstract A. Development time is reduced. As less time is required to buy The trend of software engineering is shifting towards Component- a component than to design, code, test, debug and document Based Software Engineering (CBSE) from the traditional it. methods of software engineering. Everybody wants the product B. Flexibility is increased, as there are more choices of to be ready quickly. This support is provided by Component- components from which to choose a component that meet Based Software engineering. Since the system is to be build the requirements. with the ready to use components or prefabricated components C. Process risk is reduced. If a component exists, there is less the testing of these components is of utmost importance. uncertainty in cost associated with its reuse as compared with Software testing is an important verification activity in Software new development. Development Life Cycle which requires resources and man D. Quality is enhanced. As design and implementation faults hours. It consist of the dynamic verification of the behavior of a are discovered and eliminated in the initial use, thus increasing program on a finite set of the test cases, suitably selected from the quality. the usually infinite executions domain, against the specified E. Low maintenance is there. Easy replacement of obsolete expected behavior. The testing effort can be divided into test components with new enhanced ones. case generation, test execution, test evaluation. To reduce the Test generation techniques can be white-box or black box. cost of testing process, efficient test case generation technique White-box testing techniques are used for unit testing and is required. So test case generation is an important part of for the cases where the size of the code is small. For larger software testing. As manual testing is error prone and time and complex codes white-box testing is not inappropriate, and consuming activity therefore as a part of our research work we black box testing techniques can be more useful. Black box have tried to automate manual test generation activity. We have testing usually requires generating test cases on the basis of a adopted two ways by which automated test data is generated, model which can represents the system, called the test model. namely test case generation from UML activity diagram based Model based representation enhances the understanding of on gray box method and automated test case generation using the system. It helps in making the test-generation process PETA Tool. These methods have been implemented and their faster. The Unified Modeling Language is a very good tool for results have been verified. modeling of large and complex systems. It is widely used to improve the testing. Keywords Activity diagram, Unit Testing, Peta tool, Eclipse. II. Objective In component-based software engineering, the major challenge I. Introduction is that different components can execute simultaneously. Mainly As there is an ever-growing need for techniques that could we will focus on model-based methods. For large systems, black improve the software development process and to reduce the box testing is used normally, but some of techniques mentioned time to market and improve the quality of delivered software in the report use the hybrid of white box and black box testing. products, a more organized and focus approach to reuse called We will try to overcome the shortcomings of the Manual test component based software engineering has emerged. In the data generation by following objectives: traditional software engineering process, the typical activities A. To identify the problem associated with manual test data involved in building a system are specification, implementation, generation testing and maintenance. Component-Based Software B. Automate the manual test case generation process as much Engineering (CBSE) not only focuses on system specification as we can. and development, but also requires additional consideration for overall system context, individual components properties III. Background Study and component acquisition and integration process [1] . Many different types of testing techniques and strategies have Components are the fundamental in the building of been studied and developed, however all of them share the same component based software system. Brown and WallnaTu final objective that is to increase the confidence in the correct describe a component as “a nontrivial, nearly independent, functioning of system when it will released. Testing searches and replaceable part of a system that fulfils a clear function for discrepancy among expected and observed behavior of in the context of a well-defined architecture” [2]. Component the system. This process involves executing the system on a Based Software development as the process for building set of inputs and determining if the actual behavior of system a system which consists of the searching and identifying corresponds to the expected behavior. These inputs to the components based on preliminary assessment; selecting system are known as test cases & a collection of test cases components based on stakeholder requirements; integrating is referred to as test set/test suite. Software organizations and assembling the selected components; and updating the spend considerable portion of their budget in testing related system as components evolve over time with newer versions. activities. The customer before acceptance will validate a well- With the help of component based software development we tested software system. The effectiveness of this verification have following benefits: and validation process depends upon the number of errors found and rectified before releasing the system. This in turn www.ijcst.com INTERNAT I ONAL JOURNAL OF COMPUTER Sci EN C E AND TE C HNOLOGY 521 IJCST VOL . 2, Iss UE 4, Oct . - DE C . 2011 ISSN : 0976-8491 (Online) | ISSN : 2229-4333 (Print) depends upon the quality of test cases generated. According using following approach: to Ron Patton (2001, p. 65), “Test cases are the specific inputs 1. Draw the Activity diagram representing the component. that you’ll try and the procedures that you’ll follow when you 2. Input file is created corresponding the Activity Diagram which test the software [3].” is in the form [initial state, transition ,next state] In order to reduce the high cost of manual software testing and at 3. Now store the Input File into appropriate data structure like the same time to increase the reliability of the testing processes we use Hash Map. researchers and practitioners have tried to automate it. One 4. Now create the final state transition table, add new states of the most important components in a testing environment is to handle fork join. an automatic test data generator a system that automatically 5. Finally test scenarios are generated generates test data for a given program [9]. V. Experiment Study IV. Proposed Work A. Automated Generation of Test Cases from UML Activity A. Automatic generation of test cases using PETA tool Diagram based on Gray Box Method PETA is Java/eclipse based platform for automated software Gray box method combines the white box method and the black testing. Under this various components of component based box method. It extends the logical coverage criteria of white box software systems like client/server and Service-Oriented- method and finds all the possible paths from the design model, Architectures (SOA) may be simulated as well as tested in which describes the expected behavior of an operation. Then it isolation and in their supposed interaction. For the generation generates test cases, which can satisfy the path conditions by of test cases: black box method. We define the basic path based coverage • Firstly we should have to apply settings under this tools. criteria of gray box method as the test Completion criteria. When • Class diagrams are generated. we traverse an activity diagram from the initial activity state • Finally test cases are generated. to the final activity state by DFS (Depth First Search Method), STEPS: we restrict that the loops be executed at most one time, and all action States and transitions be covered. Thus we can get 1. Apply settings all basic paths. (i). Creating the project. All information needed to define the tests and their test Execution organized in a PETA project that 1. Test Object contains the different PETA documents. These documents We have a tax calculator whose inputs are Employee code, are test case files, test suite files, template files, At least one Medical Claim amount, investment claim amount, and configuration file. salary. Corresponding to that output is tax that is paid by the (ii). Setting up Configuration (Client & Server) While the setups employee. are only needed the test case execution, the definition of the actors is required during test development. Therefore, before 2. Experimental Setup the creation of test cases, a PETA Configuration has to be (i). Draw an activity Diagram. Its modeling elements consist of created first. nodes and edges. The edges represent the occurring sequence (a). Create the Actors of activities, objects involving the activity, including control (b). Create the setup flows, message flows and signal flows. Activity states and action (c). Activating Configuration states are denoted with round cornered boxes. Transitions are (iii). Setting up Test Cases. It describes the (expected) message shown as arrows. Branches are shown as diamonds with one flow between the actors and the data of the exchanged incoming arrow and multiple exit arrows each labeled with messages. a Boolean expression to be satisfied to choose the branch. (iv). Select Actors Multiple arrows entering or leaving a synchronization bar show (v).
Recommended publications
  • Types of Software Testing
    Types of Software Testing We would be glad to have feedback from you. Drop us a line, whether it is a comment, a question, a work proposition or just a hello. You can use either the form below or the contact details on the rightt. Contact details [email protected] +91 811 386 5000 1 Software testing is the way of assessing a software product to distinguish contrasts between given information and expected result. Additionally, to evaluate the characteristic of a product. The testing process evaluates the quality of the software. You know what testing does. No need to explain further. But, are you aware of types of testing. It’s indeed a sea. But before we get to the types, let’s have a look at the standards that needs to be maintained. Standards of Testing The entire test should meet the user prerequisites. Exhaustive testing isn’t conceivable. As we require the ideal quantity of testing in view of the risk evaluation of the application. The entire test to be directed ought to be arranged before executing it. It follows 80/20 rule which expresses that 80% of defects originates from 20% of program parts. Start testing with little parts and extend it to broad components. Software testers know about the different sorts of Software Testing. In this article, we have incorporated majorly all types of software testing which testers, developers, and QA reams more often use in their everyday testing life. Let’s understand them!!! Black box Testing The black box testing is a category of strategy that disregards the interior component of the framework and spotlights on the output created against any input and performance of the system.
    [Show full text]
  • Comparison of GUI Testing Tools for Android Applications
    Comparison of GUI testing tools for Android applications University of Oulu Department of Information Processing Science Master’s Thesis Tomi Lämsä Date 22.5.2017 2 Abstract Test automation is an intriguing area of software engineering, especially in Android development. This is since Android applications must be able to run in many different permutations of operating system versions and hardware choices. Comparison of different tools for automated UI testing of Android applications is done in this thesis. In a literature review several different tools available and their popularity is researched and the structure of the most popular tools is looked at. The two tools identified to be the most popular are Appium and Espresso. In an empirical study the two tools along with Robotium, UiAutomator and Tau are compared against each other in test execution speed, maintainability of the test code, reliability of the test tools and in general issues. An empirical study was carried out by selecting three Android applications for which an identical suite of tests was developed with each tool. The test suites were then run and the execution speed and reliability was analysed based on these results. The test code written is also analysed for maintainability by calculating the lines of code and the number of method calls needed to handle asynchrony related to UI updates. The issues faced by the test developer with the different tools are also analysed. This thesis aims to help industry users of these kinds of applications in two ways. First, it could be used as a source on what tools are over all available for UI testing of Android applications.
    [Show full text]
  • Exploring Languages with Interpreters and Functional Programming Chapter 11
    Exploring Languages with Interpreters and Functional Programming Chapter 11 H. Conrad Cunningham 24 January 2019 Contents 11 Software Testing Concepts 2 11.1 Chapter Introduction . .2 11.2 Software Requirements Specification . .2 11.3 What is Software Testing? . .3 11.4 Goals of Testing . .3 11.5 Dimensions of Testing . .3 11.5.1 Testing levels . .4 11.5.2 Testing methods . .6 11.5.2.1 Black-box testing . .6 11.5.2.2 White-box testing . .8 11.5.2.3 Gray-box testing . .9 11.5.2.4 Ad hoc testing . .9 11.5.3 Testing types . .9 11.5.4 Combining levels, methods, and types . 10 11.6 Aside: Test-Driven Development . 10 11.7 Principles for Test Automation . 12 11.8 What Next? . 15 11.9 Exercises . 15 11.10Acknowledgements . 15 11.11References . 16 11.12Terms and Concepts . 17 Copyright (C) 2018, H. Conrad Cunningham Professor of Computer and Information Science University of Mississippi 211 Weir Hall P.O. Box 1848 University, MS 38677 1 (662) 915-5358 Browser Advisory: The HTML version of this textbook requires a browser that supports the display of MathML. A good choice as of October 2018 is a recent version of Firefox from Mozilla. 2 11 Software Testing Concepts 11.1 Chapter Introduction The goal of this chapter is to survey the important concepts, terminology, and techniques of software testing in general. The next chapter illustrates these techniques by manually constructing test scripts for Haskell functions and modules. 11.2 Software Requirements Specification The purpose of a software development project is to meet particular needs and expectations of the project’s stakeholders.
    [Show full text]
  • Software Testing: Essential Phase of SDLC and a Comparative Study Of
    International Journal of System and Software Engineering Volume 5 Issue 2, December 2017 ISSN.: 2321-6107 Software Testing: Essential Phase of SDLC and a Comparative Study of Software Testing Techniques Sushma Malik Assistant Professor, Institute of Innovation in Technology and Management, Janak Puri, New Delhi, India. Email: [email protected] Abstract: Software Development Life-Cycle (SDLC) follows In the software development process, the problem (Software) the different activities that are used in the development of a can be dividing in the following activities [3]: software product. SDLC is also called the software process ∑ Understanding the problem and it is the lifeline of any Software Development Model. ∑ Decide a plan for the solution Software Processes decide the survival of a particular software development model in the market as well as in ∑ Coding for the designed solution software organization and Software testing is a process of ∑ Testing the definite program finding software bugs while executing a program so that we get the zero defect software. The main objective of software These activities may be very complex for large systems. So, testing is to evaluating the competence and usability of a each of the activity has to be broken into smaller sub-activities software. Software testing is an important part of the SDLC or steps. These steps are then handled effectively to produce a because through software testing getting the quality of the software project or system. The basic steps involved in software software. Lots of advancements have been done through project development are: various verification techniques, but still we need software to 1) Requirement Analysis and Specification: The goal of be fully tested before handed to the customer.
    [Show full text]
  • Software Testing Training Module
    MAST MARKET ALIGNED SKILLS TRAINING SOFTWARE TESTING TRAINING MODULE In partnership with Supported by: INDIA: 1003-1005,DLF City Court, MG Road, Gurgaon 122002 Tel (91) 124 4551850 Fax (91) 124 4551888 NEW YORK: 216 E.45th Street, 7th Floor, New York, NY 10017 www.aif.org SOFTWARE TESTING TRAINING MODULE About the American India Foundation The American India Foundation is committed to catalyzing social and economic change in India, andbuilding a lasting bridge between the United States and India through high impact interventions ineducation, livelihoods, public health, and leadership development. Working closely with localcommunities, AIF partners with NGOs to develop and test innovative solutions and withgovernments to create and scale sustainable impact. Founded in 2001 at the initiative of PresidentBill Clinton following a suggestion from Indian Prime Minister Vajpayee, AIF has impacted the lives of 4.6million of India’s poor. Learn more at www.AIF.org About the Market Aligned Skills Training (MAST) program Market Aligned Skills Training (MAST) provides unemployed young people with a comprehensive skillstraining that equips them with the knowledge and skills needed to secure employment and succeed on thejob. MAST not only meets the growing demands of the diversifying local industries across the country, itharnesses India's youth population to become powerful engines of the economy. AIF Team: Hanumant Rawat, Aamir Aijaz & Rowena Kay Mascarenhas American India Foundation 10th Floor, DLF City Court, MG Road, Near Sikanderpur Metro Station, Gurgaon 122002 216 E. 45th Street, 7th Floor New York, NY 10017 530 Lytton Avenue, Palo Alto, CA 9430 This document is created for the use of underprivileged youth under American India Foundation’s Market Aligned Skills Training (MAST) Program.
    [Show full text]
  • Model-Based Verification for SIMULINK Design
    Minnesota State University, Mankato Cornerstone: A Collection of Scholarly and Creative Works for Minnesota State University, Mankato All Graduate Theses, Dissertations, and Other Graduate Theses, Dissertations, and Other Capstone Projects Capstone Projects 2015 Model-Based Verification for SIMULINK Design Victor Oke Minnesota State University - Mankato Follow this and additional works at: https://cornerstone.lib.mnsu.edu/etds Part of the Electrical and Computer Engineering Commons Recommended Citation Oke, V. (2015). Model-Based Verification for SIMULINK Design [Master’s thesis, Minnesota State University, Mankato]. Cornerstone: A Collection of Scholarly and Creative Works for Minnesota State University, Mankato. https://cornerstone.lib.mnsu.edu/etds/517/ This Thesis is brought to you for free and open access by the Graduate Theses, Dissertations, and Other Capstone Projects at Cornerstone: A Collection of Scholarly and Creative Works for Minnesota State University, Mankato. It has been accepted for inclusion in All Graduate Theses, Dissertations, and Other Capstone Projects by an authorized administrator of Cornerstone: A Collection of Scholarly and Creative Works for Minnesota State University, Mankato. Model-Based Verification for SIMULINK Design By Victor Oke Master’s Thesis submitted in partial fulfillment of the requirements for the degree of Masters of Science in Engineering. Department of Electrical and Computer Engineering and Technology Minnesota State University, Mankato Mankato, Minnesota December 2015 Advisor: Dr. Nannan
    [Show full text]
  • Software Testing: Way to Develop Quality Software Product 1Dipti Pawade, 2Harshada Sonkamble, 3Pranchal Chaudhari, 4Shubhangi Rathod 1,2,3Dept
    ISSN : 0976-8491 (Online) | ISSN : 2229-4333 (Print) IJCST VOL . 4, Iss UE SPL - 1, JAN - MAR C H 2013 Software Testing: Way to Develop Quality Software Product 1Dipti Pawade, 2Harshada Sonkamble, 3Pranchal Chaudhari, 4Shubhangi Rathod 1,2,3Dept. of I T, K. J. Somaiya College of Engineering, Mumbai, India 4Dept. of IT, P. I. I. T. M. S. R., Navi Mumbai, India Abstract reaction to the input. The testing is a process of comparing the Software testing is one of the most important phase of software behaviour of the software against oracles principles by which one development life cycle. No one can underestimate the importance can recognize a problem. The good practice is to test software of software testing process on software quality assurance. as early as it has been written. The testing concept is evolved Organization pays 40% of its efforts on testing process. A powerful with time. Table 1 illustrate the concept evolution of testing [1]. testing technique results in reduced software development cost Software testing life cycle comprises of the different phases [2] and time and improved performance. That is why choosing an mentioned in Table 2. appropriate testing technique is very important. In this paper we have discussed various testing approaches and methods, their Table 2: Software Testing Life Cycle peculiarities and finally discussed functional and non-functional Phase Activity testing. Phase I: Software requirements/design is Requirements/ reviewed in detail and basic idea of Keywords Design Review what needs to be tested is derived. Testing Evolution, Software Testing Life Cycle, Testing Approach, Testing Technique, Functional Testing, Non-functional Testing Phase II: Detailed test plan is derived.
    [Show full text]
  • Time Gray-‐Box Testing with DT
    Real-Time Gray-Box Testing with DT-10 Trinity Technologies About Gray-Box Testing: In 1999, Andre C. Coulter of Lockheed Martin Missiles and Fire Control - Orlando, published a paper on Gray-Box Testing, “Gray-Box Testing Methodology”, which repositioned the testing methodology that combines both White-Box Testing and Black-Box testing. In the following year, using the previous Gray-Box Testing knowledge as basis, Lockheed Martin has further perfected the Gray-Box Testing methodology by describing how to perform Gray-Box Testing in a real-time embedded device in a real environment [reference: Graybox Software Testing in the Real World in Real-Time]. The Gray-Box Testing methodology not only uses the coverage information to validate software’s correctness and test completeness, but also, uses the performance analysis to verify if the embedded device’s performance specs satisfy the real-time system’s requirement. We all know that from the system’s perspective, Black-Box testing scenarios are derived from system’s requirement documentations and design documentations, to see if the functionalities satisfy the requirement of the system. Because System-level testing is on a higher level and does not involve source code, testers only need to understand the require documentations and design and execute the testing scenario base on these documentations. This is simple, but the testing is not deep enough, thus unable to identify issues that are hard to find and pinpoint. White-Box Testing, also known as Unit Testing, normally is written by developer to perform testing on the code he or she has written.
    [Show full text]
  • 1 Analyzed Software Testing Techniques ~ Black-Box
    1 ANALYZED SOFTWARE TESTING TECHNIQUES ~ BLACK-BOX TESTING, WHITE-BOX TESTING, GRAYBOX-TESTING COSC 5370 - ADVANCED SOFTWARE ENGINEERING TEXAS A&M UNIVERSITY – CORPUS CHRISTI SPRING 2014 BY MERT EVREN 2 Abstract ~ Testing is an important phase in software engineering Software testing methods are used for examination, verification and validation of the source code of a program. These methods are applied to software applications and their components to uncover hidden errors. Software testing includes experimentally and scientifically inspecting the correctness of the application. Software testing determines the applications quality by evaluating the capability of the application. The entire testing procedure should be well-structured. In this paper, three testing methodologies; black-box testing, white- box testing, and gray-box testing, are analyzed in detail. The remainder of this paper is structured as follows; section 2 describes black-box testing, white-box testing, and gray-box testing. Different testing techniques of each method has shown. These testing methods are analyzed by providing pros and cons of each. Section 3 presents possible improvement on testing methods. Lastly, section 4 concludes the paper. 3 1. INTRODUCTION Testing is an important phase in software engineering. “To develop high-quality software, it is essential to use software testing methods.” [1] Software testing is defined “as a process of accessing the functionality and correctness of a software through analysis.” [4] Software testing methods are used for examination, verification and validation of the source code of a program. These methods are applied to software applications and their components to uncover hidden errors. Software testing includes experimentally and scientifically inspecting the correctness of the application.
    [Show full text]
  • Download Mobile Testing Tutorial (PDF Version)
    Mobile Testing About the Tutorial This tutorial will help the audience to learn the different aspect of the up-trending mobile device testing as well as mobile application testing. You will get familiar with many useful tools for black-box and white-box testing of a mobile application. This tutorial also provides a deep insight on mobile device automation testing. Using this tutorial, you can enable yourself for up-to-date test planning for mobile device and mobile device application testing. In addition, you shall be able to automate basic test scripts for mobile device application testing. Audience If you are a quality assurance engineer having interest in mobile device testing as well as mobile device application testing, this tutorial will turn out to be a helping guide. Prerequisites A reader should know basic software testing concepts such as test planning, black-box testing tricks, etc. In addition, it will help a great deal if the reader is familiar with any scripting languages, for example, JavaScript. Disclaimer & Copyright © Copyright 2016 by Tutorials Point (I) Pvt. Ltd. All the contents and graphics published in this e-book are the property of Tutorials Point (I) Pvt. Ltd. The user of this e-book can download, read, print, or keep it for his/her personal use. However, it is strictly prohibited to reuse, retain, print, copy, distribute, or republish whole or the part of this e-book in any manner for the commercial purpose without written consent of the publisher. We strive to produce and update the contents and tutorials of our website accurately and precisely, however, the contents may contain some inaccuracies or errors.
    [Show full text]
  • Comparison of Software Testing Review Black Box and White Box and Gray
    International Journal of Mathematics and Computer Sciences (IJMCS) ISSN: 2305-7661 Volume.43 2015 www.scholarism.net Comparison of software testing review Black Box and White Box and Gray Box 1,* Mahdi babaeian 2 Vajihe ghasemiyan 3 Reza Nourmandi-pour 1,*Department of Computer, Science and Research branch, Islamic Azad University, Sirjan, Iran [email protected] 2Department of Computer, Science and Research branch, Islamic Azad University, Sirjan, Iran [email protected] 3Department of Computer, Sirjan branch, Islamic Azad University, Sirjan, Iran [email protected] Abstract According to the basic needs of the growing market for software and community software products, process, software testing, both in terms of quality and reliability are important. The problem with most software testing is too low. In this article, we define the testing software and its goals and then testing different software debugging software to fully explain. After a full explanation cycle software testing, test methods include: Black Box and White Box and Gray Box provided and the differences and advantages and disadvantages of the three methods evaluated. And better methods have identified three methods of software testing. Keywords- software testing, software testing cycle, Black Box, White Box, Gray Box 1442 International Journal of Mathematics and Computer Sciences (IJMCS) ISSN: 2305-7661 Volume.43 2015 www.scholarism.net Introduction As we see software sales market gradually grows, so quality and product reliability is one of the most fundamental issues is the software production process. Software testing process that measures the quality of computer software. Software testing include the implementation of a program aimed at finding software bugs, but is not limited to it.
    [Show full text]
  • Software Testing – Levels, Methods and Types
    International Journal of Electrical, Electronics and Computer Systems (IJEECS) ________________________________________________________________________________________________ Software Testing – Levels, Methods and Types Priyadarshini. A. Dass Telecommunication Engineering, Dr Ambedkar Institute of Technology, Bangalore, India 3. System Testing Abstract-- An evaluation process to determine the presence of errors in computer Software is the Software testing. The 4. Acceptance Testing Software testing cannot completely test software because exhaustive testing is rarely possible due to time and resource constraints. Testing is fundamentally a comparison activity in which the results are monitored for specific inputs. The software is subjected to different probing inputs and its behavior is evaluated against expected outcomes. Testing is the dynamic analysis of the product meaning that the testing activity probes software for faults and failures while it is actually executed. Thus, the selection of right strategy at the right time will make the software testing efficient and effective. In this paper I have described software testing techniques which are Figure 1: Levels of Testing classified by purpose. 2.1 Unit Testing Keywords-- ISTQB, unit testing, integration, system, Unit Testing is a level of the software testing process acceptance, black-box, white-box, regression, load, stress, where individual units/components of a software/system endurance testing. are tested. The purpose is to validate that each unit of I. INTRODUCTION the software performs as designed. A unit is the smallest testable part of software. It usually has one or a few Software testing is a set of activities conducted with the inputs and usually a single output. Unit Testing is the intent of finding errors in software.
    [Show full text]