Project description: Specification coverage and traces distances
|
|
- Lionel Reed
- 6 years ago
- Views:
Transcription
1 Project description: Specification coverage and traces distances M. Willemsen 8th January 2004
2 Contents 1 Project description Introduction Context Problem description Project phasing Project organisation
3 Chapter 1 Project description 1.1 Introduction This document describes the project Specification coverage and traces distances at the University of Nijmegen, which should result in a tool implementing a new theory concerning specification coverage and traces distances in automatic formal testing. The graduate student is Mathieu Willemsen at the University of Nijmegen, the Netherlands. The general outline for this document is first some context information, followed by the problem description, the project phasing and some general project information at the end. 1.2 Context Software testing is a necessary part of software development. Software testing today is mostly done by having people examine the specification. Then,based on the specification, they devise test-cases, execute the test-cases and compare the results against the specification of the software. These tests are mostly made using established heuristics and their own insight. This process is costly and time-consuming. Further adding to the cost is that there needs to be regression testing every time there is a change in the software. There are many different kinds of tests that can be performed: stress testing, security testing, acceptance testing, performance testing, robustness testing, etc. We ll be dealing with black box functional testing, also known as conformance testing, in this project. Black box means that the internal working of the implementation is unknown to the test team. Functional that the test team is only interested in determining whether the behavior of the implementation conforms with the specification. Today most specifications are still written in natural language. Even though this makes them easy to read, it also causes ambiguity. As this project will be dealing with automated testing any ambiguity in the specification will make automatisation extremely difficult. So a suitable formal language in which to 2
4 write the specification is needed. The formal way used to specify the behavior of a program used within Tor- X to is in the form of a Labeled Transition System. specification as a Labeled Transition System in a appropriate formal language. A LTS is a formal description describing the states in the program and the valid input and output transitions between the different states. Briefly, a LTS is a four-tuple (S,L,T,s i ) with L the set of labels and S the set of states. s i is the begin state, T is a partial function of S x L x S giving the transitions in the system. A small LTS can be visually represented as a network of in- and outgoing labels,drawn as arrows, between states, which are drawn as circles. Larger ones can be better expressed in a process algebraic language. Through a test derivation algorithm a test tool can generate sound sequences of allowed inputs and outputs out of the formal specification, which together form a test case. The test case can then be used to test the implementation by inputting the valid inputs and observing the outputs of the implementation. If the implementation does not accept valid input, accept invalid input or gives the wrong output then a difference between the specification and the implementation has been found which indicates an issue. The generated sequence of observable inputs and outputs is called a trace. Goga has come up with an interesting theory concerning specification coverage. The basic idea of the theory is that if two traces are very similar, then they are probably both dealing with the same part of the specification and if two traces are very different, then they are probably generated from quite different parts of the specification. In the theory traces are converted to a special representation called a marked trace, the reason being that these marked traces posses certain useful properties. The level of difference between marked traces is converted into a distance. What is exactly meant with difference is left blank for the moment. The distance calculation algorithm is based on edit distance theory, but adapted to work for marked traces. By going one level higher and looking at the level of difference between two sets of traces a level of coverage between these two sets can be derived. Again what is precisely meant with the level of difference is left blank for the moment. By using certain algorithms to generate a finite set of marked traces from the specification and determining the level of difference between this derived finite set and the (infinite) set of all possible traces from the specification, a specification coverage can be determined. Advantages of such a theory are that feedback can be generated for formal testing tools. This feedback could help formal testing tools to better decide when to stop testing. This theory could also be a basis for further work in the field of test generation and test selection. Where this theory could work as a test purpose and help decide how to generate and select tests with the highest specification coverage. 3
5 1.2.1 Problem description Goga s theory is a new idea and hasn t been tried or tested in practice. The current version of his theory contains some ambiguity, which needs to be removed. The scope of this project will limit itself to finite deterministic LTS s as specification. This is to keep the complexity of the project at an reasonable level for this kind of project. One would like to be able to express how confident one is that the implementation conforms with the specification. The main goals of the graduation project are a valid theory concerning specification coverage based on the concept of trace distances and a working implementation of that theory. Possibly also determine whether something can be said about the amount of specification coverage that a single trace will add to an already existing test set. This would be useful for test selection and test generation. These main goals can be subdivided into smaller goals. 1. Validating whether the marked trace distance derivation algorithm has the required distance properties and whether the algorithm is sound in the context of current intuition concerning the difference between traces. Improve and/or adapt if problems are found. 2. Validating the coverage concept. Improve if possible or if the current theory is wrong. 3. Create a working implementation based on the latest theories. The number one priority in this project is getting a valid theory. Getting a good implementation comes second Project phasing In this section a phasing of the project is worked out. Because the subject of the project is new and untested, it s hard to plan exactly how long the different phases of the project will take. The relative newness of the subject also makes it hard to anticipate the possible problems that might arise during the course of the project. The approach taken to bring this project to a good ending is by first familiarising myself with the theory. After getting enough knowledge of the theory, I need to create my own non-ambigu version of the theory. Possibly already making large changes to it if needed. The next step is implementing the theory. The language choosen for this is Clean. The reason for choosing Clean as the implementation language is that most of the theory was described in a functional way, so that implementation in Clean would be relatively easy. Clean is also a high level programming language meaning that the programmer doesn t need to worry about a lot of low level programming problems. After finishing the implementation, I will use it to test whether my current version of the theory satisfies all requirements. When issues are encountered, I will improve my theory, make the nesecary changes to the implementation and 4
6 recommence the testing process. Once a theory has been found that satisfies the requirements. This theory can be implemented as a tool for TorX. Providing feedback and laying a basis for further work. In all phases there needs to be a good documentation of the work done and decisions taken. A table listing a rough estimate of time for the different phases in the project. Phase First familiarise myself with the theory. Possibly adjust the theory if needed. Make a prototype implementation of the theory for use in further testing. Perform tests to discover any faults in the theory Draw conclusions from test results. Rework theory based the results of the previous phase Implement a integrated tool for TorX. Dealing with unforseen problems Duration 4 weeks 8 weeks Project organisation The graduation project will be carried out at the Software Technology group of the Computer Science Faculty at the University of Nijmegen(Radboud Universiteit Nijmegen). The duration should be around a half year. The main supervisor is Jan Tretmans. He is assisted by Rene de Vries and Peter Achten. Progress meetings between Mathieu Willemsen and supervisors will be held in one to two week intervals to evaluate project status, provide Mathieu Willemsen with feedback to improve his work and discuss the subjects of interest at that time. 5
Seminar 06 Chapter 5 - Part 1
INF 3121 Software Testing Seminar 06 Chapter 5 - Part 1 1. Part 1: Closed-ended questions 2. Part 2: Exercises and open-ended questions 1 Part 1: Closed-ended questions 2 Question 1 Why is independent
More information9. Verification, Validation, Testing
9. Verification, Validation, Testing (a) Basic Notions (b) Dynamic testing. (c) Static analysis. (d) Modelling. (e) Environmental Simulation. (f) Test Strategies. (g) Tool support. (h) Independent Verification
More informationAgile Test Plan How to Construct an Agile Test Plan
Agile Test Plan How to Construct an Agile Test Plan XBOSoft White Paper How to Construct an Agile Test Plan www.xbosoft.com 2 Agile is changing not only the way we develop software but the way we work
More informationOur Online Assessment experts have responded to the most frequently asked questions concerning Online Assessment.
All you need to know about taking part in an Online Assessment Have you been invited to take part in an Online Assessment? Are you wondering what it s like to complete an ability test or a personality
More informationBook Outline. Software Testing and Analysis: Process, Principles, and Techniques
Book Outline Software Testing and Analysis: Process, Principles, and Techniques Mauro PezzèandMichalYoung Working Outline as of March 2000 Software test and analysis are essential techniques for producing
More informationBased on Software Engineering, by Ian Sommerville Coherent sets of activities for specifying, designing, implementing and testing software systems
Software Processes Based on Software Engineering, by Ian Sommerville Coherent sets of activities for specifying, designing, implementing and testing software systems Slide 1 Objectives To introduce software
More informationFundamentals of Requirements Engineering
- interfaces system seen as black box inputs functions quantified characteristics outputs restrictions, prerequisites boundaries, exceptions standards, regulations Frogs vei 41 P.O. Box 235, NO-3603 Kongsberg
More informationRequirements Engineering
Requirements Engineering Software Engineering Andreas Zeller Saarland University Requirements Engineering The Real World Requirements Engineering A description of what the system should do (but not how)
More informationTickITplus Implementation Note
Title Understanding Base Practices Requirement Sizing Date April 2015 Reference TIN015-1504 Originator Dave Wynn Version v1r0 Key Terms Base Practices, Implementation, Requirements, Sizing, Estimating,
More informationQuality Control Manuals
Quality Control Manuals Jeff Gould FM Approvals FCIA Firestop Industry Conference, Nashville, TN November 7, 2002 c copyright, FM Approvals, November 7, 2002 5/24/2007 1 Introduction How to Write a Quality
More informationVolume 8, No. 1, Jan-Feb 2017 International Journal of Advanced Research in Computer Science RESEARCH PAPER Available Online at
Volume 8, No. 1, Jan-Feb 2017 International Journal of Advanced Research in Computer Science RESEARCH PAPER Available Online at www.ijarcs.info A Study of Software Development Life Cycle Process Models
More informationThe software process
Software Processes The software process A structured set of activities required to develop a software system Specification; Design; Validation; Evolution. A software process model is an abstract representation
More informationMotivating the Demotivated Checklist 221
Motivating the Demotivated Checklist 221 Introduction Some would argue that people are not unmotivated; it s just that the right motivation triggers have not yet been found. It s largely a question of
More informationSoftware Processes. Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 4 Slide 1
Software Processes Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 4 Slide 1 Objectives To introduce software process models To describe three generic process models and when they may be
More informationSoftware Processes. Objectives. Topics covered. The software process. Waterfall model. Generic software process models
Objectives Software Processes To introduce software process models To describe three generic process models and when they may be used To describe outline process models for requirements engineering, software
More informationObjectives. The software process. Topics covered. Waterfall model. Generic software process models. Software Processes
Objectives Software Processes To introduce software process models To describe three generic process models and when they may be used To describe outline process models for requirements engineering, software
More informationOperations and Supply Chain Management Prof. G. Srinivasan Department of Management Studies Indian Institute of Technology, Madras
Operations and Supply Chain Management Prof. G. Srinivasan Department of Management Studies Indian Institute of Technology, Madras Lecture - 24 Sequencing and Scheduling - Assumptions, Objectives and Shop
More informationRequirements Engineering. Andreas Zeller Saarland University
Requirements Engineering Software Engineering Andreas Zeller Saarland University Communication project initiation requirements gathering Planning estimating scheduling tracking Waterfall Model (1968) Modeling
More informationTopics covered. Software process models Process iteration Process activities The Rational Unified Process Computer-aided software engineering
Software Processes Objectives To introduce software process models To describe three generic process models and when they may be used To describe outline process models for requirements engineering, software
More informationA Simple Guide To CRD IV Reporting & XBRL
Experts in ixbrl A Simple Guide To CRD IV Reporting & XBRL This guide is divided into three main sections, covering what s happening, what s actually required of you and what your options are for getting
More information10 Steps to Mainframe Agile Development. Mark Schettenhelm, Sr. Product Manager September 28, 2017
10 Steps to Mainframe Agile Development Mark Schettenhelm, Sr. Product Manager September 28, 2017 1 dev ops noun \'dev-äps\ a term used to describe a framework/collection of best practices and tools to
More informationHow Paratransit Software Improves Trip Booking
How Paratransit Software Improves Trip Booking 1 The Secrets To Better Trip Booking Much of the information that we try to express in our day-to-day communication is with regards to the major differences
More informationProgressions for the Common Core State Standards in Mathematics (draft)
Progressions for the Common Core State Standards in Mathematics (draft) cthe Common Core Standards Writing Team August 0 * 0 This document can be read with Preview on a Mac or with the latest version of
More informationAdvantages and Disadvantages of. Independent Tests. Advantages. Disadvantages
8.0 Test Management Outline 8.1 Test organisation 8.2 Test planning and estimation 8.3 Test program monitoring and control 8.4 Configuration management 8.5 Risk and testing 8.6 Summary Independent Testing
More informationCustomer Satisfaction Surveys That Work
Customer Satisfaction Surveys That Work [ FREE WHITE PAPER] About the Author Eric Dosal has experience in just about every area of small business growth and development. A graduate of Babson College in
More informationJava & Testing. Slides adapted from Craig Zilles
Java & Testing Slides adapted from Craig Zilles 1 Things to have been doing join UIUC CS 126 on piazza.com get an iclicker registered at http://iclicker.com get a GitHub account install IntelliJ on to
More informationFAQ. Excellence. Assured.
FAQ Excellence. Assured. Table of Contents 2 2 Introduction 2 The Standard 3 The Transition 5 Key Elements and Changes 10 SAI Global Support Introduction For many industries and organizations around the
More informationLab 9: Sampling Distributions
Lab 9: Sampling Distributions Sampling from Ames, Iowa In this lab, we will investigate the ways in which the estimates that we make based on a random sample of data can inform us about what the population
More informationAnalysis of Customer Fulfilment with Process Mining: A Case Study in a Telecommunication Company
Available online at www.sciencedirect.com ScienceDirect Procedia Computer Science 72 (2015 ) 588 596 The Third Information Systems International Conference Analysis of Customer Fulfilment with Process
More informationSOFTWARE PROCESS IMPROVEMENT AT ABB KRAFTWERKSLEITTECHNIK GMBH
SOFTWARE PROCESS IMPROVEMENT AT ABB KRAFTWERKSLEITTECHNIK GMBH Christoph Welsch +, Horst Lichter +, Manfred Zeller * + ABB Corporate Research, Heidelberg, Germany * ABB Kraftwerksleittechnik GmbH, Mannheim,
More informationSawtooth Software. Sample Size Issues for Conjoint Analysis Studies RESEARCH PAPER SERIES. Bryan Orme, Sawtooth Software, Inc.
Sawtooth Software RESEARCH PAPER SERIES Sample Size Issues for Conjoint Analysis Studies Bryan Orme, Sawtooth Software, Inc. 1998 Copyright 1998-2001, Sawtooth Software, Inc. 530 W. Fir St. Sequim, WA
More informationWhat are requirements? Basics of Requirement Engineering. Definition of a Stakeholder. Stated Vs. Real Requirements. Stated Vs.
What are requirements? Basics of Requirement Engineering Muzaffar Iqbal Farooqi A requirement is a necessary attribute in a system, a statement that identifies a capability, characteristic, or quality
More informationBCS THE CHARTERED INSTITUTE FOR IT. BCS HIGHER EDUCATION QUALIFICATIONS BCS Level 6 Professional Graduate Diploma in IT SOFTWARE ENGINEERING 2
BCS THE CHARTERED INSTITUTE FOR IT BCS HIGHER EDUCATION QUALIFICATIONS BCS Level 6 Professional Graduate Diploma in IT SOFTWARE ENGINEERING 2 Friday 30 th September 2016 - Morning Answer any THREE questions
More informationPreface. Skill-based routing in multi-skill call centers
Nancy Marengo nmarengo@fewvunl BMI-paper Vrije Universiteit Faculty of Sciences Business Mathematics and Informatics 1081 HV Amsterdam The Netherlands November 2004 Supervisor: Sandjai Bhulai Sbhulai@fewvunl
More informationGetting the IT Dog to Wag Its Tail (Instead of the Other Way Around)
Getting the IT Dog to Wag Its Tail (Instead of the Other Way Around) An IT Service Management Shopping List The tail has been wagging the IT dog for a long time. We ve invested more effort in dealing with
More informationVolunteer Management In-House Course Outlines
Volunteer Management In-House Course Outlines Contents About our courses... 3 Volunteer Management The Essentials... 4 Planning for Volunteering... 7 Attracting Volunteers... 8 Supporting Volunteers...
More informationLectures 2 & 3. Software Processes. Software Engineering, COMP201 Slide 1
Lectures 2 & 3 Software Processes Software Engineering, COMP201 Slide 1 What is a Process? When we provide a service or create a product we always follow a sequence of steps to accomplish a set of tasks
More informationINF 3121 Software Testing - Lecture 05. Test Management
INF 3121 Software Testing - Lecture 05 Test Management 1. Test organization (20 min) (25 min) (15 min) (10 min) (10 min) (10 min) INF3121 / 23.02.2016 / Raluca Florea 1 1. Test organization (20 min) LO:
More informationWork Management System (WMS)
Comprehensive Tracking System CTS User Manual Work Management System (WMS) Open Range Software, LLC Last updated: 02-12-2016 Contents Chapter 1: Overview... 3 CTS Work Management System (WMS)... 3 Chapter
More informationSAS ANALYTICS AND OPEN SOURCE
GUIDEBOOK SAS ANALYTICS AND OPEN SOURCE April 2014 2014 Nucleus Research, Inc. Reproduction in whole or in part without written permission is prohibited. THE BOTTOM LINE Many organizations balance open
More informationMarginal Costing Q.8
Marginal Costing. 2008 Q.8 Break-Even Point. Before tackling a marginal costing question, it s first of all crucial that you understand what is meant by break-even point. What this means is that a firm
More informationIrrigation Techniques and Automation. Application Note 2005 ARGUS CONTROL SYSTEMS LTD
Application Note This material was first presented by Argus at the OFA short course, 2005: Irrigation Techniques - 33131 Irrigation Techniques and Automation It used to be said: The man with the hose grows
More informationSoftware Quality Metrics. Analyzing & Measuring Customer Satisfaction (Chapter 14)
Software Quality Metrics Analyzing & Measuring Customer Satisfaction (Chapter 14) By Zareen Abbas Reg# 169/MSSE/F07 Usman Thakur Reg# 181/MSSE/F07 1 Overview-Quality Product quality and customer satisfaction
More informationIntroduction to Agile Life Cycles. CSCI 5828: Foundations of Software Engineering Lecture 07 09/13/2016
Introduction to Agile Life Cycles CSCI 5828: Foundations of Software Engineering Lecture 07 09/13/2016 1 Goals Introduction to Agile Life Cycles The Agile Manifesto and Agile Principles Agile Life Cycles
More informationAuditing of Batch Processes
Auditing of Batch Processes G. Janssens-Maenhout 1, L. Dechamp, J. B. Thevenon 2, P. Dransart 2 Institute for the Protection and the Security of the Citizen, Nuclear Safeguards Unit Joint Research Centre
More informationAgile TesTing MeTrics Quality Before Velocity
Agile TesTing MeTrics Quality Before Velocity Some people never weigh themselves. They may say, i just look at my clothes. if they don t fit, then i know i should lose weight. On the other hand, some people
More informationChapter 28 Quality. Quality. Benefits of quality
Quality Quality is a difficult concept to define. W. Edwards Deming, the American quality guru, stated that quality is defined by the customer. Customers may require certain specifications or demand exceptional
More informationDesign Like a Pro. Boost Your Skills in HMI / SCADA Project Development. Part 3: Designing HMI / SCADA Projects That Deliver Results
INDUCTIVE AUTOMATION DESIGN SERIES Design Like a Pro Boost Your Skills in HMI / SCADA Project Development Part 3: Designing HMI / SCADA Projects That Deliver Results The end of a project can be the most
More informationCase Study: How to Eliminate Flaws of Waterfall and Agile Development Processes Using a Hybrid Model
Case Study: How to Eliminate Flaws of Waterfall and Agile Development Processes Using a Hybrid Model Agile Waterfall Hybrid Model The Waterfall Model has been the ideal choice for software development.
More informationTrainee Assessment Knowledge of risk management plan
Trainee Assessment Knowledge of risk management plan Unit standard Version Level Credits 23389 Describe risk management planning in a health or wellbeing setting 3 3 3 Your name: Your workplace: Your date
More informationThe Fuzzy Front End UnFuzzied 5 Activities for Successful Product Conceptualization
The Fuzzy Front End UnFuzzied 5 Activities for Successful Product Conceptualization The early stages of product planning earned the nickname The Fuzzy Front End due to the unpredictable nature of initiating
More informationHow to Cut Scheduling Costs with Modern Security Software
How to Cut Scheduling Costs with Modern Security Software With quality scheduling software, you can slash your administrative and operation costs, reduce the risk of human error, and save time as you streamline
More informationWhat is the future of work?
What is the future of work? December 2017 A new podcast series from the McKinsey Global Institute explores how technologies like automation, robotics, and artificial intelligence are shaping how we work,
More informationJob title: Diversity & Inclusion Manager. Grade: PO 5. Role code: EBC0470. Status: Police Staff. Main purpose of the role:
Job title: Diversity & Inclusion Manager Grade: PO 5 Role code: EBC0470 Status: Police Staff Main purpose of the role: Develop, co-ordinate and implement the Forces Diversity & Inclusion Strategy, ensuring
More informationVector Software. Understanding Verification and Validation of software under IEC :2010 W H I T E P A P E R
Vector Software W H I T E P A P E R Understanding Verification and Validation of software under IEC 61508-3:2010 Abstract This paper is intended to serve as a reference for developers of systems that will
More informationGeneral Discussion Session 4
General Discussion Session 4 Mr. Ruttenberg: It is now time to open the floor to questions from the audience. Mr. Wenning: I found the discussion to be very interesting this morning. I have a couple of
More informationResource Decisions in Software Development Using Risk Assessment Model
Proceedings of the 39th Hawaii International Conference on System Sciences - 6 Resource Decisions in Software Development Using Risk Assessment Model Wiboon Jiamthubthugsin Department of Computer Engineering
More informationGame Theory - final project
Game Theory - final project The Price of Anarchy in Network Creation Games Is (Mostly) Constant Mat uˇs Mihal ak and Jan Christoph Schlegel Submitter name: Itzik Malkiel ID: 200481273 The Game: When I
More informationFour ideas to improve quality management in your contact centre
Four ideas to improve quality management in your contact centre Four ideas to improve quality management in your contact center According to Bain & Co, a customer is 4x more likely to buy from a competitor
More informationThe Next Generation of Customer Analytics Using Analytics to Optimize Customer-Related Activities and Processes
The Next Generation of Customer Analytics Using Analytics to Optimize Customer-Related Activities and Processes Research Report Executive Summary Copyright Ventana Research 2013 Do Not Redistribute Without
More informationIntroduction to software testing and quality process
Introduction to software testing and quality process Automated testing and verification J.P. Galeotti - Alessandra Gorla Engineering processes Engineering disciplines pair construction activities activities
More informationAPS Cleaning Quality Management System Scope of Certification The provision of commercial and industrial cleaning services throughout Queensland.
Quality Management System Scope of Certification The provision of commercial and industrial cleaning services throughout Queensland. Table of Contents Contents 1. Introduction... 3 1.1. Process Approach...
More informationFormal Techniques in Large-Scale Software Engineering
Formal Techniques in Large-Scale Software Engineering Mathai Joseph Tata Research Development and Design Centre Tata Consultancy Services 54B Hadapsar Industrial Estate Pune 411 013 India Draft of Paper
More informationManaging System Performance
Managing System Performance System performance directly affects users. Centralized operations are easier to measure than complex networks and client/server systems. Various statistics can be used to assess
More informationBehaviour-Driven Development
Behaviour-Driven Development A road to effective design and clean code Dan North - ThoughtWorks I My name is Dan am a developer I am a coach I am your guide 2 Part 1: ineffective design and ugly code 3
More informationDeltek Acumen 7/15/16. Learning Objectives. Introduction to Project Risk Analysis. Planning, Risk, Acceleration. The 5 steps. Worked examples Q&A
Deltek Acumen Planning, Risk, Acceleration Tom Polen Director, Solution Architecture Learning Objectives The 5 steps 1. Capturing uncertainty: calibrating the schedule 2. Identifying risk events: accounting
More informationReserve Bidding Guide for Compass Crewmembers
Reserve Bidding Guide for Compass Crewmembers A Publication of the Scheduling Committee Compass Master Executive Council Association of Flight Attendants, International 03/14/18 INTRODUCTION Preferential
More informationSOFTWARE QUALITY IMPROVEMENT THROUGH DEFECT PREDICTION
SOFTWARE QUALITY IMPROVEMENT THROUGH DEFECT PREDICTION DR. DEEPAK KUMAR VERMA ASSISTANT PROFESSOR DEPARTMENT OF COMPUTER SCIENCE & INFORMATION TECHNOLOGY BABASAHEB BHIMRAO AMBEDKAR UNIVERSITY, (A CENTRAL
More informationINDUSTRIAL ENGINEERING
1 P a g e AND OPERATION RESEARCH 1 BREAK EVEN ANALYSIS Introduction 5 Costs involved in production 5 Assumptions 5 Break- Even Point 6 Plotting Break even chart 7 Margin of safety 9 Effect of parameters
More informationThe Robustness Of Non-Decreasing Dynamic Pricing Laura van der Bijl Research Paper Business analytics Aug-Oct 2017 Prof.
The Robustness Of Non-Decreasing Dynamic Pricing Laura van der Bijl Research Paper Business Analytics Aug-Oct 2017 The Robustness Of Non-Decreasing Dynamic Pricing Laura van der Bijl Laura.vanderbijl5@gmail.com
More informationHuman Failure. Overview. People are never 100% reliable. Andy Brazier. Types of human failure Slips Mistakes Violations
Human Failure Andy Brazier Tel: (+44) 01492 879813 Mob: (+44) 07984 284642 andy@abrisk.co.uk www.abrisk.co.uk 1 Overview Types of human failure Slips Mistakes Violations Causes of human failure Things
More informationBandwagon and Underdog Effects and the Possibility of Election Predictions
Reprinted from Public Opinion Quarterly, Vol. 18, No. 3 Bandwagon and Underdog Effects and the Possibility of Election Predictions By HERBERT A. SIMON Social research has often been attacked on the grounds
More informationTaking Control of Open Source Software in Your Organization
Taking Control of Open Source Software in Your Organization For IT Development Executives Looking to Accelerate Developer Use of Open Source Software (OSS) as part of a Multi-source Development Process
More informationITC Market Analysis Tools Survey results
ITC Market Analysis Tools Survey results Geneva, January 2015 Objective of the ITC Market Analysis Tools survey 2 To monitor relevance, utilisation and performance of market analysis tools: Trade Map,
More informationValidation of Calibration Software by the Calibration Facility
Validation of Calibration Software by the Calibration Facility Patrick Kershaw, Associate Software Engineer Fluke Corporation, P.O. Box 9090 Everett, WA 98206 Abstract Today, in the United States, regulatory
More informationProviding Business Improvement Solutions All Around The World. capable. connected. credible
Providing Business Improvement Solutions All Around The World capable connected credible Company Profile Capable People provides management systems improvement and compliance solutions, established in
More informationThe Qualifications Triangle and Competency Development A vision for the collaboration between practical training companies, educational institutions
The Qualifications Triangle and Competency Development A vision for the collaboration between practical training companies, educational institutions and knowledge centres Aequor Ede Competency Development
More informationInformation Technology Project Management,
Eighth Edition Copyright 2016 1 10 Project Management Knowledge Areas Knowledge areas describe the key competencies that project managers must develop Project managers must have knowledge and skills in
More informationENGG1811: Data Analysis using Excel 1
ENGG1811 Computing for Engineers Data Analysis using Excel (weeks 2 and 3) Data Analysis Histogram Descriptive Statistics Correlation Solving Equations Matrix Calculations Finding Optimum Solutions Financial
More informationISO 9001 Quality Management Systems
ISO 9001 Quality Management Systems INFORMATION GUIDE ISO 9001 Background ISO 9001:2015 is the world s foremost quality management standard, used by hundreds of thousands of organisations in over 170 countries
More informationTrainee Assessment. Peer mentoring. Unit standard Version Level Credits
Trainee Assessment Peer mentoring Unit standard Version Level Credits 28991 Provide peer mentoring in a health or wellbeing setting 1 4 6 Your name: Your workplace: Your date of birth: NSN number (if you
More informationResearch Article / Paper / Case Study Available online at: Analysis of Strengths and Weakness of SDLC Models Shikha Verma Delhi India
ISSN: 2321-7782 (Online) Volume 2, Issue 3, March 2014 International Journal of Advance Research in Computer Science and Management Studies Research Article / Paper / Case Study Available online at: www.ijarcsms.com
More informationA Unified Theory of Software Testing Bret Pettichord 16 Feb 2003
A Unified Theory of Software Testing Bret Pettichord 16 Feb 2003 This paper presents a theory, or model, for analyzing and understanding software test techniques. It starts by developing a theory for describing
More informationROOT CAUSE ANALYSIS: YOUR UNTAPPED RESOURCE
ROOT CAUSE ANALYSIS: YOUR UNTAPPED RESOURCE CASE STUDY By Martin Wagstaff, Respond Product Director WHITEPAPER ABOUT Professional complaints handling is more than resolving the individual case; it has
More informationMeasuring and improving productivity in a job shop environment: the applicability of the ProMES methodology
Eindhoven, August 2007 Measuring and improving productivity in a job shop environment: the applicability of the ProMES methodology By T. de Boer Student identity number 0576606 in partial fulfilment of
More informationA Taxonomy for Test Oracles
A Taxonomy for Test Oracles Quality Week 98 Douglas Hoffman Software Quality Methods, LLC. 24646 Heather Heights Place Saratoga, California 95070-9710 Phone 408-741-4830 Fax 408-867-4550 Copyright 1998,
More informationThe Systems Thinking Tool Box
List 1 Item A Item B Item C Item D Item E The Systems Thinking Tool Box Dr Stuart Burge.. bump, bump, bump, on the back of his head. It is, as far as he knows the only way of coming downstairs, but sometimes
More informationUnit: CPC 415 Assess required outcomes and specify a sustainable supply of services (Commissioning, Procurement and Contracting)
Unit: CPC 415 Assess required outcomes and specify a sustainable supply of services (Commissioning, Procurement and Contracting) Key Purpose The key purpose identified for those working in commissioning,
More informationTowards Effective and Efficient Behavior-based Trust Models. Klemens Böhm Universität Karlsruhe (TH)
Towards Effective and Efficient Behavior-based Trust Models Universität Karlsruhe (TH) Motivation: Grid Computing in Particle Physics Physicists have designed and implemented services specific to particle
More informationIMPORTANT INFORMATION
Accounting CS, v. 2017.3.x User Bulletin 8504: Payroll Year-End Processing FAQs October 24, 2017 TO Users of Accounting CS CONTENTS IMPORTANT INFORMATION... 1 W-2 PROCESSING... 2 W-3 PROCESSING... 4 1099
More informationXpertHR Podcast. Original XpertHR podcast: 22 September 2017
XpertHR Podcast Original XpertHR podcast: 22 September 2017 Hi and welcome to this week s XpertHR podcast with me, Ellie Gelder. Now TUPE, possibly not a term that inspires enthusiasm amongst a lot of
More informationValidation and Automated Validation
TOP INDUSTRY QUESTIONS Validation and Automated Validation 1 Table of Contents 03 04 07 10 13 16 19 INTRODUCTION SECTION 1 - Validation Standards How is validation defined under Title 21 CFR Part 11? What
More informationScheduling for Success with Critical Chain. Abstract
by Rob Newbold, September 2010 Abstract The Critical Chain scheduling approach described in this paper can be used to create good schedules that have provided substantial benefits in speed, predictability,
More informationChapter 12. Sample Surveys. Copyright 2010 Pearson Education, Inc.
Chapter 12 Sample Surveys Copyright 2010 Pearson Education, Inc. Background We have learned ways to display, describe, and summarize data, but have been limited to examining the particular batch of data
More informationLinda Carrington, Wessex Commercial Solutions
Linda Carrington, Wessex Commercial Solutions Linda Carrington has worked with ISO 9001 accredited systems throughout her career, in businesses as diverse as oil and gas, construction, defence and shipping.
More informationSystems Analysis and Design Methods Chapter 3: Information Systems Development
Systems Analysis and Design Methods Chapter 3: Information Systems Development Multiple Choice Questions 1. The act of drawing one or more graphical representations of a system is called. A. modeling B.
More informationSoil - Plasticity 2017 (72) PROFICIENCY TESTING PROGRAM REPORT
www.labsmartservices.com.au Soil - Plasticity 2017 (72) PROFICIENCY TESTING PROGRAM REPORT Accredited for compliance with ISO/IEC 17043 Copyright: LabSmart Services Pty Ltd Copyright: LabSmart Services
More informationWho Are My Best Customers?
Technical report Who Are My Best Customers? Using SPSS to get greater value from your customer database Table of contents Introduction..............................................................2 Exploring
More informationHow Business Analysis Can Improve Sales and Marketing Outcomes
How Business Analysis Can Improve Sales and Marketing Outcomes In today s environment, the strategic focus for most organizations is revenue growth. Almost all executives are searching for ways to drive
More informationTeachingEnglish Lesson plans
Worksheets - Negotiations (4): Bargaining 1. Lead-in: Discussion Discuss these questions in small groups. 1. What exactly does bargaining mean? What does it involve? 2. Why is bargaining so stressful?
More information