Random Testing: The Best Coverage Technique - An Empirical Proof
|
|
- Hester Rodgers
- 8 years ago
- Views:
Transcription
1 , pp Random Testing: The Best Coverage Technique - An Empirical Proof K Koteswara Rao 1 and Prof GSVP Raju 2 1 Asst prof, CSE Department, GMRIT Rajam 2 Department of CS&ST, Andhra University, VIZAG, AP, INDIA Abstract Soft testing is one way of assuring quality of the software. There are many testing techniques to test the software, however random testing is one among the best alternatives, which will generate the test inputs based on some dissemination. It is evaluated theoretically and concluded that the performance of random testing is very impressive when it is compared with partition testing even though it gives good results for testing. Here in this paper we addressed the difference in coverage between random testing and partition testing, here we have taken one example program and written the test cases for that. To test the program we have used automated tools JUnit for partition testing and Randoop for random testing. Once it is over using EclEmma the coverage of test cases is evaluated and proved RT is best. Keywords: Random testing, Partition Testing, Randoop, Eclemma, Junit, Coverage 1. Introduction Software testing [1] is essential in the development of software life cycle, to uncover the bugs in the software. Testing is essential to uncover the bugs in the software, testing is the tedious job, there are many testing techniques but the exhaustive testing is impossible for every software, we can say testing a software is nothing but checking the each and every line of code if we are able to get maximum coverage then that testing technique will reveals more number of bugs. For testing the software one best alternative approach is that dividing the test input into partitions this type testing is called partition testing if the input parameters are many then partition testing will very difficult to perform and the coverage of the partition testing is very poor if the input domain consists of too many parameters. If the input domain is too large then Random testing [2] is a useful testing technique in finding the low frequency bugs with maximum coverage rate, since the low frequency bugs may cause huge disaster like Ariane-5 which is crashed due to a small exception in conversion of 64-bit number to 16-bit, the cost of this bug is over 1 billion dollars to cover this type of mint errors random testing is best approach [4], [6]. 2. Partition Testing Partition testing [10] was first introduced by Weyuker and Ostrand. The input domain is divided into subsets, the system under test is executed and the results are compared with system requirements [3], Here a simple example Sample Grade.java To show the test case coverage we used EclEmma, it is a code coverage tool which is available with eclipse. EclEmma is a coverage tool; it is an Eclipse plug-in that generates code coverage reports and provides simple trace information about test cases. Coverage is defined as a measure of the completeness of the set of test cases. In other words your test ISSN: IJSEIA Copyright c 2015 SERSC
2 cases are better when they cover more source code [7]. Basically there are four types of coverage s cases? cases? Method coverage: how many of your methods have been called by your test Statement coverage: how many of your statements have been run by your test Decision/Branch coverage: how many decision points (if statements) have evaluated both true and false? Condition coverage: how many Boolean sub-expressions have been evaluated both true and false at a decision point? We can easily calculate coverage for smaller programs, however, for larger programs, it is much more difficult. Coverage tools, like EclEmma, help by automating the coverage process and providing readable reports. EclEmma can be used with JUnit. EclEmma runs with the JUnit test cases and generates the coverage report from the execution. EclEmma provides overall, package, and file level information on statement. EclEmma can be downloaded for a manual install from its Source Forge Project Page. Additionally, we can also install EclEmma with eclipse. For more information on installing eclipse plugins, consult the tutorial on the subject. EclEmma's update site is Sample Grade.java Public static char getlettergrade(int mark) { // assume that mark is between 0 and 100 (inclusive) assert (mark >= 0 && mark <= 100) : "mark is out-of-range: " + mark; if (mark >= 75) { return'a'; elseif (mark >= 60) { return'b'; elseif (mark >= 50) { // an logical error here return'c'; elseif (mark < 0&& mark >100){ return'n'; //not valid else { return'f'; For this simple program the partition testing is performed as follows, as we can see in the code the how the input is divided into partitions. Here we are dividing the test input into four subsets 1. Test with the typical value in the partition 2. Test at the lower and higher boundary values 116 Copyright c 2015 SERSC
3 3. Test at exact boundaries 4. Test with out of bound values Test cases developed for Grade.java Public void testtypical() { // test a typical(in between values) value in partitions assertequals("wrong grade", 'A', Grade.getLetterGrade(95)); assertequals("wrong grade", 'B', Grade.getLetterGrade(72)); assertequals("wrong grade", 'C', Grade.getLetterGrade(55)); assertequals("wrong grade", 'F', Grade.getLetterGrade(30)); Public void testgreatestboundaries() { // test the boundaries of the partitions assertequals("wrong grade", 'A', Grade.getLetterGrade(100)); assertequals("wrong grade", 'B', Grade.getLetterGrade(60)); assertequals("wrong grade", 'B', Grade.getLetterGrade(74)); assertequals("wrong grade", 'C', Grade.getLetterGrade(58)); assertequals("wrong grade", 'C', Grade.getLetterGrade(59)); assertequals("wrong grade", 'F', Grade.getLetterGrade(0)); assertequals("wrong grade", 'F', Grade.getLetterGrade(49)); Public void testboundariesatequal() { // test the equal boundaries of the partitions assertequals("wrong grade", 'A', Grade.getLetterGrade(75)); assertequals("wrong grade", 'B', Grade.getLetterGrade(60)); assertequals("wrong grade", 'C', Grade.getLetterGrade(50)); assertequals("wrong grade", 'F', Grade.getLetterGrade(49)); Public void testlowest() { // test with out of bound values assertequals("wrong grade", 'F', Grade.getLetterGrade(-1)); assertequals("wrong grade", 'F', Grade.getLetterGrade(101)); assertequals("wrong grade", 'F', Grade.getLetterGrade(-100)); assertequals("wrong grade", 'F', Grade.getLetterGrade(-75)); The detailed procedure of partition testing with automated JUnit tool [8] can be viewed in following steps Step1: Create a JUnit test case for Grade.java; you can see the following figure for creating test case for Grade.java Copyright c 2015 SERSC 117
4 Figure 2.1. Creating JUnit Test Cases Step2: Whenever we click on JUnit test case a new dialog box will be appeared to select the testing frame work you would like to test (i.e., JUnit 3 or JUnit 4) here we used JUnit 3. Figure 2.2. Selecting Framework Step 3: After selecting testing frame work it will be displayed as you can see in the following figure the JUnit 3 framework displayed for new test case 118 Copyright c 2015 SERSC
5 Figure 2.3. Showing Selected Framework Step 4: Write the manual test cases for all the input partitions that we are divided the input domain (here for Grade.java we divided the input domain into 4 subsets). Figure 2.4. Displaying Test Cases for the Grade Class Copyright c 2015 SERSC 119
6 Step 4: Once if we write test cases for all partitions run the test class and you can see passed and failure test cases after that click on EclEmma code coverage icon it will display the coverage as you can see in the following figure(coverage, Covered instructions, Missed Instructions, total instructions). The coverage for Grade.java with partition testing is 61.5% over all coverage for entire source code with all test cases is 64.3%. 3. Random Testing Figure 2.5. Showing Partition Testing Code Coverage Random testing is a test technique [4-5] where test cases are chosen at random from the input domain of the program. As explained above, random testing uses a minimum of knowledge about the SUT and is therefore considered to be a black-box testing technique. Sometimes an unsystematic approach to selecting test data is appealing. It could be the case that a systematic plan is hard to develop or too expensive to perform functional or structural testing and therefore a random test approach is preferred. To increase its relevancy, Random Testing may choose the input according to an operational profile [6]. Random testing with Randoop Randoop [9] takes the input as set of classes under test,seed value, maximum test run length, and contract checkers. Randoop outputs two types of test suites (failure test suite and successful test suite). Here for the same example(grade.java) program and test program considering for the random testing The procedure for random testing with Randoop as follows: 1. Install Randoop plug-in as available with eclipse 120 Copyright c 2015 SERSC
7 2. Consider the same test project which is considered for partition testing 3. Run the test program with randoop 4. Provide the input as the seed value(here we taken as 0), test input length(here we taken as 100), maximum test run length(here we taken as 10000) Once if we run the test cases Randoop [9] test inputs it will write failure and passed test suites, after that click on EclEmma code coverage icon it will display the coverage as you can see in the following figure(coverage, Covered instructions, Missed Instructions, total instructions). The coverage for Grade.java with Random testing is 86.5% over all coverage for entire source code with all test cases is 99.6%. 4. Results Figure 3.1. Displaying Random Testing Coverage The following results shows that the coverage of partition testing and random testing. It is clearly saying that for the same example and same number of test cases with the help of random inputs random testing gives better results than partition testing. Copyright c 2015 SERSC 121
8 120 Test Coverage Test Coverage Partition Testing Random Testing Figure 4.1. Code Coverage of Partition Testing and Random Testing 5. Conclusion Random testing is very much useful technique in generating random inputs with these random inputs the test cases will cover more number of lines in the source code. The test cases with more coverage processes better test results due the unawareness on random testing it is not used in many applications testing. References [1] R. S. Pressman, Software Engineering a practitioners approach, 7 th edition, ISBN-10: [2] K. K. Rao and GSVP Raju, Optimizing the Software Testing Efficiency by Using a Genetic Algorithm - A Design Methodology, ACM SIGSOFT Software Engineering Notes, vol. 38, no. 3, (2013) May. [3] M. Grindal, J. Offutt and S. Andler, Combination testing strategies: a survey, Software Testing, Verification and Reliability, vol. 15, no. 3, (2005) March, pp [4] K. K. Rao and GSVP Raju, Theoretical Investigations to Random Testing Variants and its Implications, International Journal of Software Engineering and Its Applications, vol. 9, no. 5, (2015), pp [5] A. Arcuri and L. Briand, Random Testing: Theoretical Results and Practical Implications, IEEE transactions on Software Engineering, vol. 38, no. 2, (2012) April. [6] Developing Optimal Directed Random Testing Technique to Reduce Interactive Faults-Systematic Literature and Design Methodology, Indian Journal of Science and Technology, ISSN , vol. 8, no. 8, (2015) April, pp [7] [8] [9] randoop.googlecode.com/hg-history/v1.3.3/doc/index.html [10] P. Ammann and J. Offutt, Introduction to Software Testing, ISBN Copyright c 2015 SERSC
GLOBAL JOURNAL OF ENGINEERING SCIENCE AND RESEARCHES
GLOBAL JOURNAL OF ENGINEERING SCIENCE AND RESEARCHES A LITERATURE SURVEY ON DESIGN AND ANALYSIS OF WEB AUTOMATION TESTING FRAMEWORK - SELENIUM Revathi. K *1 and Prof. Janani.V 2 PG Scholar, Dept of CSE,
More informationSoftware Testing. Definition: Testing is a process of executing a program with data, with the sole intention of finding errors in the program.
Software Testing Definition: Testing is a process of executing a program with data, with the sole intention of finding errors in the program. Testing can only reveal the presence of errors and not the
More informationAn Analysis on Objectives, Importance and Types of Software Testing
Available Online at www.ijcsmc.com International Journal of Computer Science and Mobile Computing A Monthly Journal of Computer Science and Information Technology IJCSMC, Vol. 2, Issue. 9, September 2013,
More informationIntroduction to Computers and Programming. Testing
Introduction to Computers and Programming Prof. I. K. Lundqvist Lecture 13 April 16 2004 Testing Goals of Testing Classification Test Coverage Test Technique Blackbox vs Whitebox Real bugs and software
More informationRegression Testing Based on Comparing Fault Detection by multi criteria before prioritization and after prioritization
Regression Testing Based on Comparing Fault Detection by multi criteria before prioritization and after prioritization KanwalpreetKaur #, Satwinder Singh * #Research Scholar, Dept of Computer Science and
More informationIntroduction to Software Testing Chapter 8.1 Building Testing Tools Instrumentation. Chapter 8 Outline
Introduction to Software Testing Chapter 8. Building Testing Tools Instrumentation Paul Ammann & Jeff Offutt www.introsoftwaretesting.com Chapter 8 Outline. Instrumentation for Graph and Logical Expression
More informationSoftware Testing. Quality & Testing. Software Testing
Software Testing Software Testing Error: mistake made by the programmer/developer Fault: a incorrect piece of code/document (i.e., bug) Failure: result of a fault Goal of software testing: Cause failures
More informationSoftware Testing Strategies and Techniques
Software Testing Strategies and Techniques Sheetal Thakare 1, Savita Chavan 2, Prof. P. M. Chawan 3 1,2 MTech, Computer Engineering VJTI, Mumbai 3 Associate Professor, Computer Technology Department, VJTI,
More informationA Brief Overview of Software Testing Techniques and Metrics
A Brief Overview of Software Techniques and Metrics Anitha.A Programmer, School of Computer Studies (PG), RVS college of Arts & science, Coimbatore, India. Abstract: Software is the process of executing
More informationSoftware Testing & Analysis (F22ST3): Static Analysis Techniques 2. Andrew Ireland
Software Testing & Analysis (F22ST3) Static Analysis Techniques Andrew Ireland School of Mathematical and Computer Science Heriot-Watt University Edinburgh Software Testing & Analysis (F22ST3): Static
More informationInternational Journal of Advanced Engineering Research and Science (IJAERS) Vol-2, Issue-11, Nov- 2015] ISSN: 2349-6495
International Journal of Advanced Engineering Research and Science (IJAERS) Vol-2, Issue-11, Nov- 2015] Survey on Automation Testing Tools for Mobile Applications Dr.S.Gunasekaran 1, V. Bargavi 2 1 Department
More informationTeCReVis: A Tool for Test Coverage and Test Redundancy Visualization
TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization Negar Koochakzadeh Vahid Garousi Software Quality Engineering Research Group University of Calgary, Canada Acknowledging funding and
More informationLoop Invariants and Binary Search
Loop Invariants and Binary Search Chapter 4.3.3 and 9.3.1-1 - Outline Ø Iterative Algorithms, Assertions and Proofs of Correctness Ø Binary Search: A Case Study - 2 - Outline Ø Iterative Algorithms, Assertions
More informationInternational Journal of Emerging Technologies in Computational and Applied Sciences (IJETCAS) www.iasir.net
International Association of Scientific Innovation and Research (IASIR) (An Association Unifying the Sciences, Engineering, and Applied Research) International Journal of Emerging Technologies in Computational
More informationEFFECTIVE APPROACH FOR DYNAMIC TEST CASE GENERATION FOR LOAD TESTING OF HTTP WEB SERVER
EFFECTIVE APPROACH FOR DYNAMIC TEST CASE GENERATION FOR LOAD TESTING OF HTTP WEB SERVER Shweta Ahuja M.Tech. Research Scholar Computer Science and Engineering Guru Nanak Institute of Technology Mullana,
More informationLaboratory Project for a Software Quality Class
Laboratory Project for a Software Quality Class March 29, 2015 Abstract This document reports the experience of a laboratory course on software quality and is written primarily for instructors as a reference
More informationModel Checking based Software Verification
Model Checking based Software Verification 18.5-2006 Keijo Heljanko Keijo.Heljanko@tkk.fi Department of Computer Science and Engineering Helsinki University of Technology http://www.tcs.tkk.fi/~kepa/ 1/24
More informationJ a v a Quiz (Unit 3, Test 0 Practice)
Computer Science S-111a: Intensive Introduction to Computer Science Using Java Handout #11 Your Name Teaching Fellow J a v a Quiz (Unit 3, Test 0 Practice) Multiple-choice questions are worth 2 points
More informationComparing Methods to Identify Defect Reports in a Change Management Database
Comparing Methods to Identify Defect Reports in a Change Management Database Elaine J. Weyuker, Thomas J. Ostrand AT&T Labs - Research 180 Park Avenue Florham Park, NJ 07932 (weyuker,ostrand)@research.att.com
More informationOutline. 1 Denitions. 2 Principles. 4 Implementation and Evaluation. 5 Debugging. 6 References
Outline Computer Science 331 Introduction to Testing of Programs Mike Jacobson Department of Computer Science University of Calgary Lecture #3-4 1 Denitions 2 3 4 Implementation and Evaluation 5 Debugging
More informationA similarity-based approach for test case prioritization using historical failure data
A similarity-based approach for test case prioritization using historical failure data Tanzeem Bin Noor and Hadi Hemmati Department of Computer Science University of Manitoba Winnipeg, Canada Email: {tanzeem,
More informationNSPK Protocol Security Model Checking System Builder
, pp.307-316 http://dx.doi.org/10.14257/ijsia.2015.9.7.28 NSPK Protocol Security Model Checking System Builder Wang Yan, Liu Ying Information Engineering College, Zhongzhou University, Zhengzhou 450044;
More informationVerification and Validation of Software Components and Component Based Software Systems
Chapter 5 29 Verification and Validation of Software Components and Component Based Christina Wallin Industrial Information Technology Software Engineering Processes ABB Corporate Research christina.wallin@mdh.se
More informationCoverage Criteria for Search Based Automatic Unit Testing of Java Programs
ISSN (Online): 2409-4285 www.ijcsse.org Page: 256-263 Coverage Criteria for Search Based Automatic Unit Testing of Java Programs Ina Papadhopulli 1 and Elinda Meçe 2 1, 2 Department of Computer Engineering,
More informationWeb Application Regression Testing: A Session Based Test Case Prioritization Approach
Web Application Regression Testing: A Session Based Test Case Prioritization Approach Mojtaba Raeisi Nejad Dobuneh 1, Dayang Norhayati Abang Jawawi 2, Mohammad V. Malakooti 3 Faculty and Head of Department
More informationCS 2112 Spring 2014. 0 Instructions. Assignment 3 Data Structures and Web Filtering. 0.1 Grading. 0.2 Partners. 0.3 Restrictions
CS 2112 Spring 2014 Assignment 3 Data Structures and Web Filtering Due: March 4, 2014 11:59 PM Implementing spam blacklists and web filters requires matching candidate domain names and URLs very rapidly
More informationProcessing and data collection of program structures in open source repositories
1 Processing and data collection of program structures in open source repositories JEAN PETRIĆ, TIHANA GALINAC GRBAC AND MARIO DUBRAVAC, University of Rijeka Software structure analysis with help of network
More informationIntroduction to Functional Verification. Niels Burkhardt
Introduction to Functional Verification Overview Verification issues Verification technologies Verification approaches Universal Verification Methodology Conclusion Functional Verification issues Hardware
More informationAssessment of Quality Assurance practices in Pakistani Software Industry
Assessment of Quality Assurance practices in Pakistani Software Industry 4 6 M. Fawad, K. Ghani, M. Shafi, I. A. Khan, M. I. Khattak, Nasim Ullah,4 Computer Science Department, Comsats Institute of Information
More informationComparative Study of Automated testing techniques for Mobile Apps
Comparative Study of Automated testing techniques for Mobile Apps Anureet Kaur, Dr.Kulwant Kaur, Amritpal Singh Ph.D., Research Scholar, PTU, Jalandhar(India), Dean and Asst Prof, Apeejay Institute of
More informationIntroduction to Automated Testing
Introduction to Automated Testing What is Software testing? Examination of a software unit, several integrated software units or an entire software package by running it. execution based on test cases
More informationA Practical Guide to Test Case Types in Java
Software Tests with Faktor-IPS Gunnar Tacke, Jan Ortmann (Dokumentversion 203) Overview In each software development project, software testing entails considerable expenses. Running regression tests manually
More informationDataflow approach to testing Java programs supported with DFC
e-informatica Software Engineering Journal, Volume 9, Issue 1, 2015, pages: 9 19, DOI 10.5277/e-Inf150101 Dataflow approach to testing Java programs supported with DFC Ilona Bluemke, Artur Rembiszewski
More informationData Outsourcing based on Secure Association Rule Mining Processes
, pp. 41-48 http://dx.doi.org/10.14257/ijsia.2015.9.3.05 Data Outsourcing based on Secure Association Rule Mining Processes V. Sujatha 1, Debnath Bhattacharyya 2, P. Silpa Chaitanya 3 and Tai-hoon Kim
More informationComparing the effectiveness of automated test generation tools EVOSUITE and Tpalus
Comparing the effectiveness of automated test generation tools EVOSUITE and Tpalus A THESIS SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL UNIVERSITY OF MINNESOTA BY Sai Charan Raj Chitirala IN PARTIAL
More informationUnit Testing & JUnit
Unit Testing & JUnit Lecture Outline Communicating your Classes Introduction to JUnit4 Selecting test cases UML Class Diagrams Rectangle height : int width : int resize(double,double) getarea(): int getperimeter():int
More informationFirst Java Programs. V. Paúl Pauca. CSC 111D Fall, 2015. Department of Computer Science Wake Forest University. Introduction to Computer Science
First Java Programs V. Paúl Pauca Department of Computer Science Wake Forest University CSC 111D Fall, 2015 Hello World revisited / 8/23/15 The f i r s t o b l i g a t o r y Java program @author Paul Pauca
More informationTopic 11 Scanner object, conditional execution
Topic 11 Scanner object, conditional execution "There are only two kinds of programming languages: those people always [complain] about and those nobody uses." Bjarne Stroustroup, creator of C++ Copyright
More informationAssertion Synthesis Enabling Assertion-Based Verification For Simulation, Formal and Emulation Flows
Assertion Synthesis Enabling Assertion-Based Verification For Simulation, Formal and Emulation Flows Manual Assertion Creation is ABV Bottleneck Assertion-Based Verification adopted by leading design companies
More informationChapter 8 Software Testing
Chapter 8 Software Testing Summary 1 Topics covered Development testing Test-driven development Release testing User testing 2 Program testing Testing is intended to show that a program does what it is
More informationUML-based Test Generation and Execution
UML-based Test Generation and Execution Jean Hartmann, Marlon Vieira, Herb Foster, Axel Ruder Siemens Corporate Research, Inc. 755 College Road East Princeton NJ 08540, USA jeanhartmann@siemens.com ABSTRACT
More informationTest-Driven Development. SC12 Educator s Session November 13, 2012
Test-Driven Development Educator s Session November 13, 2012 Outline Software Quality Overview of Testing Automated Testing Tools Test-Driven Development Educator's Session 2 SOFTWARE QUALITY Educator's
More informationSample Exam. 2011 Syllabus
ISTQ Foundation Level 2011 Syllabus Version 2.3 Qualifications oard Release ate: 13 June 2015 ertified Tester Foundation Level Qualifications oard opyright 2015 Qualifications oard (hereinafter called
More informationSOFTWARE TESTING STRATEGY APPROACH ON SOURCE CODE APPLYING CONDITIONAL COVERAGE METHOD
SOFTWARE TESTING STRATEGY APPROACH ON SOURCE CODE APPLYING CONDITIONAL COVERAGE METHOD Jaya Srivastaval 1 and Twinkle Dwivedi 2 1 Department of Computer Science & Engineering, Shri Ramswaroop Memorial
More informationSERVING as the first line of defense against malicious
IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, VOL. 9, NO. 1, MARCH 2012 1 Systematic Structural Testing of Firewall Policies JeeHyun Hwang, Tao Xie, Fei Chen, and Alex X. Liu Abstract Firewalls
More informationGUI Testing On Android Application
GUI Testing On Android Application Neha J. Jagadale 1 jagadaleneha788@gmail.com Aditi G. Pagar 2 adittipagar@gmail.com Mayuri.S.Deore 3 mayuri.deore14@gmail.com Priti V. Raut 4 Pune, Maharashtra, India
More informationLogistics. Software Testing. Logistics. Logistics. Plan for this week. Before we begin. Project. Final exam. Questions?
Logistics Project Part 3 (block) due Sunday, Oct 30 Feedback by Monday Logistics Project Part 4 (clock variant) due Sunday, Nov 13 th Individual submission Recommended: Submit by Nov 6 th Scoring Functionality
More informationLund, November 16, 2015. Tihana Galinac Grbac University of Rijeka
Lund, November 16, 2015. Tihana Galinac Grbac University of Rijeka Motivation New development trends (IoT, service compositions) Quality of Service/Experience Demands Software (Development) Technologies
More informationModule 10. Coding and Testing. Version 2 CSE IIT, Kharagpur
Module 10 Coding and Testing Lesson 23 Code Review Specific Instructional Objectives At the end of this lesson the student would be able to: Identify the necessity of coding standards. Differentiate between
More informationDebugging. Common Semantic Errors ESE112. Java Library. It is highly unlikely that you will write code that will work on the first go
Debugging ESE112 Java Programming: API, Psuedo-Code, Scope It is highly unlikely that you will write code that will work on the first go Bugs or errors Syntax Fixable if you learn to read compiler error
More informationA Static Analyzer for Large Safety-Critical Software. Considered Programs and Semantics. Automatic Program Verification by Abstract Interpretation
PLDI 03 A Static Analyzer for Large Safety-Critical Software B. Blanchet, P. Cousot, R. Cousot, J. Feret L. Mauborgne, A. Miné, D. Monniaux,. Rival CNRS École normale supérieure École polytechnique Paris
More informationTeam Name : PRX Team Members : Liang Yu, Parvathy Unnikrishnan Nair, Reto Kleeb, Xinyi Wang
Test Design Document Authors Team Name : PRX Team Members : Liang Yu, Parvathy Unnikrishnan Nair, Reto Kleeb, Xinyi Wang Purpose of this Document This document explains the general idea of the continuous
More informationINTERNATIONAL JOURNAL OF COMPUTER ENGINEERING & TECHNOLOGY (IJCET)
INTERNATIONAL JOURNAL OF COMPUTER ENGINEERING & TECHNOLOGY (IJCET) International Journal of Computer Engineering and Technology (IJCET), ISSN 0976 6367(Print), ISSN 0976 6367(Print) ISSN 0976 6375(Online)
More informationEvolutionary Testing of PHP Web Applications with WETT
Evolutionary Testing of PHP Web Applications with WETT Francesco Bolis, Angelo Gargantini, Marco Guarnieri, and Eros Magri Dip. di Ing. dell'informazione e Metodi Matematici, Università di Bergamo, Italy
More informationA Novel Approach for Efficient Load Balancing in Cloud Computing Environment by Using Partitioning
A Novel Approach for Efficient Load Balancing in Cloud Computing Environment by Using Partitioning 1 P. Vijay Kumar, 2 R. Suresh 1 M.Tech 2 nd Year, Department of CSE, CREC Tirupati, AP, India 2 Professor
More informationTowards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder
Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder Matt Department of Computer Science and Engineering University of Minnesota staats@cs.umn.edu Abstract We present
More informationFormal Software Testing. Terri Grenda, CSTE IV&V Testing Solutions, LLC www.ivvts.com
Formal Software Testing Terri Grenda, CSTE IV&V Testing Solutions, LLC www.ivvts.com Scope of Testing Find defects early Remove defects prior to production Identify Risks Unbiased opinion When Should Testing
More informationIntegrated Error-Detection Techniques: Find More Bugs in Java Applications
Integrated Error-Detection Techniques: Find More Bugs in Java Applications Software verification techniques such as pattern-based static code analysis, runtime error detection, unit testing, and flow analysis
More informationLatest Research and Development on Software Testing Techniques and Tools
General Article International Journal of Current Engineering and Technology E-ISSN 2277 4106, P-ISSN 2347-5161 2014 INPRESSCO, All Rights Reserved Available at http://inpressco.com/category/ijcet Rasneet
More informationEmpirically Identifying the Best Genetic Algorithm for Covering Array Generation
Empirically Identifying the Best Genetic Algorithm for Covering Array Generation Liang Yalan 1, Changhai Nie 1, Jonathan M. Kauffman 2, Gregory M. Kapfhammer 2, Hareton Leung 3 1 Department of Computer
More informationSearch based Software Testing Technique for Structural Test Case Generation
Search based Software Testing Technique for Structural Test Case Generation M. S. Geetha Devasena Assistant Professor, Dept. of CSE Sri Ramakrishna Engg. College M. L. Valarmathi Associate Professor Dept.
More information1 White-Box Testing by Stubs and Drivers
White-box testing is a verification technique software engineers can use to examine if their code works as expected. In this chapter, we will explain the following: a method for writing a set of white-box
More informationThe University of Saskatchewan Department of Computer Science. Technical Report #2012-01
The University of Saskatchewan Department of Computer Science Technical Report #2012-01 Evaluating Test Quality Minhaz Fahim Zibran Department of Computer Science Abstract Software testing has been an
More informationAutomatic Test Data Generation for TTCN-3 using CTE
Automatic Test Data Generation for TTCN-3 using CTE Zhen Ru Dai, Peter H. Deussen, Maik Busch, Laurette Pianta Lacmene, Titus Ngwangwen FraunhoferInstitute for Open Communication Systems (FOKUS) Kaiserin-Augusta-Allee
More informationBug Detection Using Particle Swarm Optimization with Search Space Reduction
2015 6th International Conference on Intelligent Systems, Modelling and Simulation Bug Detection Using Particle Swarm Optimization with Search Space Reduction Arun Reungsinkonkarn Department of Computer
More informationMODEL BASED TESTING OF WEBSITE
MODEL BASED TESTING OF WEBSITE Sumit Machra 1 and Narendra Khatri 2 1 Department of Computer Engineering, Jodhpur National University, Jodhpur, Rajasthan, India-342001 2 Department of Electronics & Communication
More informationTranslating to Java. Translation. Input. Many Level Translations. read, get, input, ask, request. Requirements Design Algorithm Java Machine Language
Translation Translating to Java Introduction to Computer Programming The job of a programmer is to translate a problem description into a computer language. You need to be able to convert a problem description
More informationIteration CHAPTER 6. Topic Summary
CHAPTER 6 Iteration TOPIC OUTLINE 6.1 while Loops 6.2 for Loops 6.3 Nested Loops 6.4 Off-by-1 Errors 6.5 Random Numbers and Simulations 6.6 Loop Invariants (AB only) Topic Summary 6.1 while Loops Many
More informationSoftware Engineering Techniques
Software Engineering Techniques Low level design issues for programming-in-the-large. Software Quality Design by contract Pre- and post conditions Class invariants Ten do Ten do nots Another type of summary
More informationDeveloper s Guide. Revised January 17, 2014. 950 Boardwalk, Suite 205, San Marcos, CA 92078 (760) 510-1200 www.productivecomputing.
Developer s Guide Revised January 17, 2014 950 Boardwalk, Suite 205, San Marcos, CA 92078 (760) 510-1200 www.productivecomputing.com Copyright 2014 Productive Computing, Inc. Table of Contents I. INTRODUCTION!...
More informationDetecting Data Leakage using Data Allocation Strategies. With Fake objects
Detecting Data Leakage using Data Allocation Strategies With Fake objects S.P.Subalakshmi 1, B.Geetha 2, S.P.Karthikeyan 3 Student M.E(CSE),Mailam Engineering College,Mailam,India 1 Assistant Professor,
More informationReview of Mobile Applications Testing with Automated Techniques
Review of Mobile Testing with Automated Techniques Anureet Kaur Asst Prof, Guru Nanak Dev University, Amritsar, Punjab Abstract: As the mobile applications and mobile consumers are rising swiftly, it is
More informationSocial Networking and Collaborative Software Development
www.semargroups.org, www.ijsetr.com ISSN 2319-8885 Vol.02,Issue.10, September-2013, Pages:996-1000 Exploring the Emergence of Social Networks in Collaborative Software Development through Work Item Tagging
More informationPerformance Based Evaluation of New Software Testing Using Artificial Neural Network
Performance Based Evaluation of New Software Testing Using Artificial Neural Network Jogi John 1, Mangesh Wanjari 2 1 Priyadarshini College of Engineering, Nagpur, Maharashtra, India 2 Shri Ramdeobaba
More informationSearch Algorithm in Software Testing and Debugging
Search Algorithm in Software Testing and Debugging Hsueh-Chien Cheng Dec 8, 2010 Search Algorithm Search algorithm is a well-studied field in AI Computer chess Hill climbing A search... Evolutionary Algorithm
More informationOn Testing Image Processing Applications With Statistical Methods
On Testing Image Processing Applications With Statistical Methods Johannes Mayer Abteilung Angewandte Informationsverarbeitung Universität Ulm D 89069 Ulm mayer@mathematik.uni-ulm.de Abstract: Testing
More informationarxiv:1112.0829v1 [math.pr] 5 Dec 2011
How Not to Win a Million Dollars: A Counterexample to a Conjecture of L. Breiman Thomas P. Hayes arxiv:1112.0829v1 [math.pr] 5 Dec 2011 Abstract Consider a gambling game in which we are allowed to repeatedly
More informationChallenges in Android Application Development: A Case Study
Available Online at www.ijcsmc.com International Journal of Computer Science and Mobile Computing A Monthly Journal of Computer Science and Information Technology IJCSMC, Vol. 4, Issue. 5, May 2015, pg.294
More informationAn Efficient Data Correctness Approach over Cloud Architectures
International Journal of Engineering Research and Development e-issn: 2278-067X, p-issn: 2278-800X, www.ijerd.com Volume 8, Issue 12 (October 2013), PP. 33-37 An Efficient Data Correctness Approach over
More informationInternational Journal of Computer Engineering and Applications, Volume V, Issue III, March 14
International Journal of Computer Engineering and Applications, Volume V, Issue III, March 14 PREDICTION OF RATE OF IMPROVEMENT OF SOFTWARE QUALITY AND DEVELOPMENT EFFORT ON THE BASIS OF DEGREE OF EXCELLENCE
More informationCS 241 Data Organization Coding Standards
CS 241 Data Organization Coding Standards Brooke Chenoweth University of New Mexico Spring 2016 CS-241 Coding Standards All projects and labs must follow the great and hallowed CS-241 coding standards.
More informationISTQB Certified Tester. Foundation Level. Sample Exam 1
ISTQB Certified Tester Foundation Level Version 2015 American Copyright Notice This document may be copied in its entirety, or extracts made, if the source is acknowledged. #1 When test cases are designed
More informationKeywords document, agile documentation, documentation, Techno functional expert, Team Collaboration, document selection;
Volume 4, Issue 4, April 2014 ISSN: 2277 128X International Journal of Advanced Research in Computer Science and Software Engineering Research Paper Available online at: www.ijarcsse.com A Document Driven
More informationFormal Verification Coverage: Computing the Coverage Gap between Temporal Specifications
Formal Verification Coverage: Computing the Coverage Gap between Temporal Specifications Sayantan Das Prasenjit Basu Ansuman Banerjee Pallab Dasgupta P.P. Chakrabarti Department of Computer Science & Engineering
More informationAutomatic Synthesis of Trading Systems
Automatic Synthesis of Trading Systems Michael Harris www.priceactionlab.com The process of developing mechanical trading systems often leads to frustration and to a financial disaster if the systems do
More informationLibrary and information science research trends in India
Annals of Library and Studies Vol. 58, December 011, pp. 319-35 Library and information science research trends in India Rekha Mittal Senior Principal Scientist, CSIR-National Institute of Science Communication
More informationKeywords: SQA,Black Box Testing( BBT), White Box testing(wbt).
Volume 3, Issue 10, October 2013 ISSN: 2277 128X International Journal of Advanced Research in Computer Science and Software Engineering Research Paper Available online at: www.ijarcsse.com Enhancing Software
More informationAuthor: Sascha Wolski Sebastian Hennebrueder http://www.laliluna.de/tutorials.html Tutorials for Struts, EJB, xdoclet and eclipse.
JUnit Testing JUnit is a simple Java testing framework to write tests for you Java application. This tutorial gives you an overview of the features of JUnit and shows a little example how you can write
More informationComponent Approach to Software Development for Distributed Multi-Database System
Informatica Economică vol. 14, no. 2/2010 19 Component Approach to Software Development for Distributed Multi-Database System Madiajagan MUTHAIYAN, Vijayakumar BALAKRISHNAN, Sri Hari Haran.SEENIVASAN,
More informationKNOWLEDGE FACTORING USING NORMALIZATION THEORY
KNOWLEDGE FACTORING USING NORMALIZATION THEORY J. VANTHIENEN M. SNOECK Katholieke Universiteit Leuven Department of Applied Economic Sciences Dekenstraat 2, 3000 Leuven (Belgium) tel. (+32) 16 28 58 09
More informationCS 141: Introduction to (Java) Programming: Exam 1 Jenny Orr Willamette University Fall 2013
Oct 4, 2013, p 1 Name: CS 141: Introduction to (Java) Programming: Exam 1 Jenny Orr Willamette University Fall 2013 1. (max 18) 4. (max 16) 2. (max 12) 5. (max 12) 3. (max 24) 6. (max 18) Total: (max 100)
More informationSo today we shall continue our discussion on the search engines and web crawlers. (Refer Slide Time: 01:02)
Internet Technology Prof. Indranil Sengupta Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Lecture No #39 Search Engines and Web Crawler :: Part 2 So today we
More informationDr. Anuradha et al. / International Journal on Computer Science and Engineering (IJCSE)
HIDDEN WEB EXTRACTOR DYNAMIC WAY TO UNCOVER THE DEEP WEB DR. ANURADHA YMCA,CSE, YMCA University Faridabad, Haryana 121006,India anuangra@yahoo.com http://www.ymcaust.ac.in BABITA AHUJA MRCE, IT, MDU University
More informationRule based programming with Drools
Rule based programming with Drools Narendra Kumar Dipti D Patil Dr. Vijay M.Wadhai BE Computer Sc., Student, ME Computer Sc., Asst. Professor, PhD Computer Sc., Principal MITCOE, Pune, INDIA MITCOE, Pune,
More informationA Tool for Mining Defect-Tracking Systems to Predict Fault-Prone Files
A Tool for Mining Defect-Tracking Systems to Predict Fault-Prone Files Thomas J. Ostrand AT&T Labs - Research 180 Park Avenue Florham Park, NJ 07932 ostrand@research.att.com Elaine J. Weyuker AT&T Labs
More informationSlides prepared by : Farzana Rahman TESTING WITH JUNIT IN ECLIPSE
TESTING WITH JUNIT IN ECLIPSE 1 INTRODUCTION The class that you will want to test is created first so that Eclipse will be able to find that class under test when you build the test case class. The test
More informationTesting, Debugging, and Verification
Testing, Debugging, and Verification Testing, Part II Moa Johansson 10 November 2014 TDV: Testing /GU 141110 1 / 42 Admin Make sure you are registered for the course. Otherwise your marks cannot be recorded.
More informationDebugging Strategies
CS106A Winter 2012-2013 Handout #25 February 25, 2013 Debugging Strategies Based on a handout by Eric Roberts, Mehran Sahami, and Nick Parlante Much of your time as a computer programmer will likely be
More informationGoing Interactive: Combining Ad-Hoc and Regression Testing
Going Interactive: Combining Ad-Hoc and Regression Testing Michael Kölling 1, Andrew Patterson 2 1 Mærsk Mc-Kinney Møller Institute, University of Southern Denmark, Denmark mik@mip.sdu.dk 2 Deakin University,
More informationSample CSE8A midterm Multiple Choice (circle one)
Sample midterm Multiple Choice (circle one) (2 pts) Evaluate the following Boolean expressions and indicate whether short-circuiting happened during evaluation: Assume variables with the following names
More information