RANJAN BHAMBROO Experimental Investigation of Effectiveness of Logical Expressions Using t-way Testing.

Slides:



Advertisements
Similar presentations
Pat Langley Computational Learning Laboratory Center for the Study of Language and Information Stanford University, Stanford, California
Advertisements

Auto-Generation of Test Cases for Infinite States Reactive Systems Based on Symbolic Execution and Formula Rewriting Donghuo Chen School of Computer Science.
Quantitative Methods Interactions - getting more complex.
Water Rights Accounting. New Accounting Model New Technology: 1979 versus 2011 – Faster processors – Faster graphics – Larger, faster, memory – Larger,
An Evaluation of MC/DC Coverage for Pair-wise Test Cases By David Anderson Software Testing Research Group (STRG)
Chapter 9 Computer Design Basics. 9-2 Datapaths Reminding A digital system (or a simple computer) contains datapath unit and control unit. Datapath: A.
Abhinn Kothari, 2009CS10172 Parth Jaiswal 2009CS10205 Group: 3 Supervisor : Huzur Saran.
Meeting Service Level Objectives of Pig Programs Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, Boon Thau Loo University of Pennsylvania Hewlett-Packard.
1 Password Advanced Password Management. 2 Standard Password Management including tool for blocking usage of easily cracked passwords Extensive dictionary.
Today’s Agenda  HW #1 Due  Quick Review  Finish Input Space Partitioning  Combinatorial Testing Software Testing and Maintenance 1.
Intelligent Information Retrieval CS 336 –Lecture 2: Query Language Xiaoyan Li Spring 2006 Modified from Lisa Ballesteros’s slides.
Model Personalization (1) : Data Fusion Improve frame and answer (of persistent query) generation through Data Fusion (local fusion on personal and topical.
Flash Workshop Flash Workshop :: Agenda  Introductions  Look at a few Flash Examples  Flash Web Sites  Flash Web Applications  Flash Games.
Semantic text features from small world graphs Jure Leskovec, IJS + CMU John Shawe-Taylor, Southampton.
Rick Kuhn Computer Security Division
A Structure Editor For PAL Constraints Anton An July 18, 2001.
CSC 402, Fall Requirements Analysis for Special Properties Systems Engineering (def?) –why? increasing complexity –ICBM’s (then TMI, Therac, Challenger...)
Final Year Project LYU0301 Location-Based Services Using GSM Cell Information over Symbian OS Mok Ming Fai CEG Lee Kwok Chau CEG.
Deviation = The sum of the variables on each side of the mean will add up to 0 X
Combining Temporal Logic Path Planning with Sampling based Path Planning Hadas Kress-Gazit.
Business Statistics BU305 Chapter 3 Descriptive Stats: Numerical Methods.
Using Use Case Scenarios and Operational Variables for Generating Test Objectives Javier J. Gutiérrez María José Escalona Manuel Mejías Arturo H. Torres.
State coverage: an empirical analysis based on a user study Dries Vanoverberghe, Emma Eyckmans, and Frank Piessens.
Boolean Functions.
Automatic Identification of Concurrency in Handel-C Joseph C Libby, Kenneth B Kent, Farnaz Gharibian Faculty of Computer Science University of New Brunswick.
Automated Combinatorial Testing for Software Rick Kuhn and Raghu Kacker National Institute of Standards and Technology Gaithersburg, MD.
CPSC 171 Introduction to Computer Science Boolean Logic, Gates, & Circuits.
Research seminar 1. Dr. S. Vilkomir, Research directions in software testing. 2. Brandi Amstutz, Combinatorial Approach to Testing Mobile Applications:
MBSat Satisfiability Program and Heuristics Brief Overview VLSI Testing B Marc Boulé April 2001 McGill University Electrical and Computer Engineering.
Author: Graham Hughes, Tevfik Bultan Computer Science Department, University of California, Santa Barbara, CA 93106, USA Source: International Journal.
PAGES:51-59 SECTION: CONTROL1 : DECISIONS Decisions.
Inferring Temporal Properties of Finite-State Machines with Genetic Programming GECCO’15 Student Workshop July 11, 2015 Daniil Chivilikhin PhD student.
Introduction to Software Testing Chapter 8.1 Building Testing Tools –Instrumentation Paul Ammann & Jeff Offutt
Eurostat Expression language (EL) in Eurostat SDMX - TWG Luxembourg, 5 Jun 2013 Adam Wroński.
Generic API Test tool By Moshe Sapir Almog Masika.
The Internet 8th Edition Tutorial 4 Searching the Web.
Problem No. 8 Team China Taking the stage: ZENG Xiangjian.
Combinatorial Testing Review “Combinatorial Software Testing”, Kuhn, Kacker, Lei, Hunter, IEEE Computer, Aug Compared “traditional” software test.
Today’s Agenda  Final Exam: 12:30am-1:50pm, 12/6 (Tue)  Final Review Software Testing and Maintenance 1.
Introduction to Data & Advanced Programming Blocks ROBOTICS II Module 1 Done by: Eng Nooran Drak.
Pseudocode Algorithms Using Sequence, Selection, and Repetition Simple Program Design Third Edition A Step-by-Step Approach 6.
This material is based upon work supported by the National Science Foundation under Grant No. ANT Any opinions, findings, and conclusions or recommendations.
1 Microsoft Management Console Tool to create customized administration tools Customized tools known as MMC consoles, or simply consoles.
DeepDive Model Dongfang Xu Ph.D student, School of Information, University of Arizona Dec 13, 2015.
Logic Gates M. AL-Towaileb1. Introduction Boolean algebra is used to model the circuitry of electronic devices. Each input and each output of such a device.
CPSC 203 Introduction to Computers T97 By Jie (Jeff) Gao.
Simplifying Algebraic Expressions. 1. Evaluate each expression using the given values of the variables (similar to p.72 #37-49)
Copyright © Curt Hill The C++ IF Statement The most important decision statement Part 1.
Facilitating Document Annotation Using Content and Querying Value.
CS Class 04 Topics  Selection statement – IF  Expressions  More practice writing simple C++ programs Announcements  Read pages for next.
Effectiveness of Pair-wise Testing on Logical Expressions Presented by William Ballance.
Notes Over 1.2.
By Rory Peers and oliver kerr
Dynamic Programming 1 Neil Tang 4/20/2010
Introduction to Python
عمل الطالبة : هايدى محمد عبد المنعم حسين
Introduction to Python
Computers & Programming Languages
Sergiy Vilkomir January 20, 2012
Tool for investigations
Foundations for Algebra
Lecture 20: Combinatorial Circuits I
Chapter 10.3 and 10.4: Combinatorial Circuits
Programmable Logic Devices
Dynamic Programming 1 Neil Tang 4/15/2008
IPOG: A general strategy for t-way software testing by Lei, Yu, IEEE /2/2019 Mehra N Borazjany.
Software Effort Estimation
Modeling and Analysis Tutorial
Mr. B.M.Sankpal. Assistant Professor Dept.of Commerce
easYgen-3000XT Series Training
Presentation transcript:

RANJAN BHAMBROO Experimental Investigation of Effectiveness of Logical Expressions Using t-way Testing

Introduction Experimental Evaluation of logical expressions. Same idea but continued on new path. T – way testing instead of pair-wise testing. New tool for generating logical expressions. New tool from NIST to construct t-way test sets.

T-way Testing T-way Pair – wise = 2-way T-way where t=2,3,4,5,6. T- way more effective than pairwise. But test cases not enough need more test cases.

T-way Testing Example: For 15 variables total number of combinations = = combinations T-way valuesTest Cases 2-way10 3-way24 4-way58 5-way131 6-way296

Tools Used Boolean Expression Generator – ECU( Developed by Ranjan Bhambroo) Advanced Combinatorial Testing System(ACTS) for constructing t-way combinatorial test sets – NIST Fault Evaluator – ECU

Boolean Expression Generator(New Tool) Generates Logical Expressions Automatically. Simple and user friendly interface. Different Modes to generate Expressions: a)Random Number of variables. b)Fixed Number of variables. c)Interval of variables Can Control complexity of expressions. Allows user to save expressions in a text file.

Experimental Results Of T-way Testing Fault Evaluator Boolean Expression Generator Advanced Combinatorial Testing System Logical Expressions T-way Test Sets Effectiveness

Experimental Results Of T-way Testing Note Using Pair Wise Test Cases 10 expressions/setVNFORFVRF(ENF)ASF All Fault Types (weighted avg.) Set Set Set Set Set Average Std. Deviation

Experimental Results Of T-way Testing Note Using 3-Wise Test Cases 10 expressions/setVNFORFVRF(ENF)ASF All Fault Types (weighted avg.) Set Set Set Set Set Average Std. Deviation

Experimental Results Of T-way Testing Note Using 4-Wise Test Cases 10 expressions/setVNFORFVRF(ENF)ASF All Fault Types (weighted avg.) Set Set Set Set Set Average Std. Deviation

Experimental Results Of T-way Testing Note Using 5-Wise Test Cases 10 expressions/setVNFORFVRF(ENF)ASF All Fault Types (weighted avg.) Set Set Set Set Set Average Std. Deviation

Experimental Results Of T-way Testing Note Using 6-Wise Test Cases 10 expressions/setVNFORFVRF(ENF)ASF All Fault Types (weighted avg.) Set Set Set Set Set Average Std. Deviation

Experimental Results Of T-way Testing 2-way 3-way

Experimental Results Of T-way Testing 4-way 5-way

Experimental Results Of T-way Testing

THANK YOU