Vesal Vojdani. Formal Methods (2013) Department of Computer Science University of Tartu. Formal Methods in SW Engineering.
|
|
- Juliet Preston
- 5 years ago
- Views:
Transcription
1 Department of Computer Science University of Tartu Formal Methods (2013)
2 The Service Literally: Who then? Reverse telephone directory (Annuaire inversé) offered by France Telecom. It is an automated phone service. Seems no longer active, but similar online services exist in many countries. Our task: create a decent test suite for this system. Case study by Utting & Legeard.
3 Informal Requirements I The system answers a call with its welcome message: Welcome! Press key. Message is repeated 3 times. Each time with 6 seconds timeout. If is not pressed, system plays the notallow message: Buy a new phone, idiot! It then hangs up. If is pressed, system gives the enter message. Enter a 10 digit number followed by # Repeated 3 times; timeout 20 secs.
4 Informal Requirements II If no digits followed by # are pressed, system plays the bye message. If a number followed by # is received, then... If the number is special short number (112) an explanation for that number is given press to enter another number! Else if number is not 10 digits: play error message goto enter process Otherwise look up number in database. If number does not exist: play sorry and then goto enter process. If number does exist: goto info menu.
5 Informal Requirements III The info menu starts with the info message: Press 1 to spell the name, press 2 to hear the address, press for another search. And this is what it does: 1 & 2: respond and return to info menu. : back to the enter process. No keys: repeat info 3 times with 6 sec timeout, then bye-bye. At any time: caller may hang up.
6 A Finite State Machine A finite state machine with input/output (Mealy Machine): 1. Finite set of states S. 2. Finite set of input symbol I. 3. Finite set of output symbols O. 4. State transitions δ: S I S 5. Output function λ: S I O. We write a transition as follows: s 1 i/o s 2 δ(s 1, i) = s 2 λ(s 1, i) = o
7 Modelling as an FSM? We want a model to generate test scripts to be followed by a human tester. Input alphabet I represent tester actions. Output set O are expected responses. We care about system logic, not database content... only check a couple of representative phone numbers! What do we abstract away? What are the individual input events?
8 What we really care about Some special keys: 1, 2, # and. Representative phone numbers: 18 fire brigade short number. num (unused) num (a friend) bad (too short). Additional actions: dial dial! wait wait until service times out.
9 Specific output symbols welcome Welcome! Press key. fire 18 is the fire brigade. Press to start over. sorry The number is not found. Try again! name The number belongs to Carla Bruni. Press 1 to spell the name, 2 to hear... addr The address is Élysée Palace, Paris. Press 1 to spell... spell Bruni is spelled B-R-U-N-I. Press 1 to spell the name...
10 Example Sequence Our inputs and expected responses: dial/welcome wait/welcome /enter num2/name 2/addr wait/info wait/info wait/bye
11 The FSM model Now, we draw it... How do we deal with timeouts. (Not so elegant!) Make the output function total:. Is the transition function total?
12 What do we gain? Have you ever used an automated phone service? Transition are slow. We would like to check each transition. We would like to spend as little time on the phone as possible. Solution: transition tour provided by the Directed Chinese Postman Algorithm. This gives a transition tour with 4 tests and 61 transition in total.
13 I get following transitions dial/welcome, */enter, wait/enter, bad/error, wait/enter, num1/sorry, wait/enter, 18/fire, */enter, num2/name, wait/info, */enter, wait/enter, num2/name, wait/info, 2/addr, wait/info, 1/spell, wait/info, wait/info, */enter, wait/enter, wait/enter, bad/error, wait/enter, wait/enter, num1/sorry, wait/enter, wait/enter, 18/fire, */enter, wait/enter, wait/enter, num2/name, wait/info, wait/info, 2/addr, wait/info, wait/info, 1/spell, 2/addr, 1/spell, wait/info, wait/info, wait/bye; dial/welcome, wait/welcome, */enter, bad/error, num1/sorry, wait/enter, wait/enter, wait/bye; dial/welcome, wait/welcome, wait/welcome, */enter, num2/name, */enter, 18/fire, wait/bye; dial/welcome, wait/welcome, wait/welcome, wait/notallow.
14 Extended Finite State Machines Extended FSM has 1. Visible states like the FSM. 2. Internal state variables. Transitions now additionally update state variables and may have guards. Key point is the two-level abstraction: 1. Visible states drive the test generation. 2. Internal state allow more precise modeling of the system. Of course, test coverage metrics w.r.t. visible states only.
15 ModelJUnit Object getstate(): Returns the current visible state, i.e., the part of EFSM s fields that test generator should void m i (): annotated action method, updates state (both internal and visible) and calls SUT methods. boolean m i Guard(): when this returns true m i may be called. Note: test generator observes via getstate() and uses reflection to make a random enabled transition.
16 EFSM of : State public class QuiDonc implements FsmModel { public enum State { Start, Star, Enter, Emerg, Info }; private State currstate; // visible state private int timeouts; // internal state public String WELCOME = "Welcome..." } public String getstate() { return currstate.tostring(); // + timeouts; } public void reset(boolean testing) { timeouts = 0; currstate = State.Start; }...
17 EFSM of : Action public class QuiDonc implements FsmModel {... public boolean starguard() { return currstate == State.Star currstate == State.Emerg currstate == State.Info; } void star() { out.println("*/"+enter); // Normally: Execute SUT! currstate = State.Enter; timeouts = 0; }...
18 EFSM of : Action public class QuiDonc implements FsmModel {... // no guards; always enabled void wait_() { // not overriding Object.wait() timeouts++; if (timeouts >= 3) { if (currstate == State.Star) out.println("wait/"+notallow); else out.println("wait/"+bye); currstate = State.Start; timeouts = 0; } else out.println("wait/...(repeat msg)..."); }... }
19 What s next? Download ModelJUnit and try the simple set examples. Download Thimbley s CPP and try the transition tour.
Model-Based Testing. (DIT848 / DAT260) Spring Lecture 10 FSMs, EFSMs and ModelJUnit
Model-Based Testing (DIT848 / DAT260) Spring 2015 Lecture 10 FSMs, EFSMs and ModelJUnit Gerardo Schneider Department of Computer Science and Engineering Chalmers University of Gothenburg 1 Outline The
More informationModel-Based Testing. (DIT848 / DAT260) Spring Lecture 10 EFSMs and Executable Tests (in ModelJUnit)
Model-Based Testing (DIT848 / DAT260) Spring 2013 Lecture 10 EFSMs and Executable Tests (in ModelJUnit) Gerardo Schneider Department of Computer Science and Engineering Chalmers University of Gothenburg
More informationModel-Based Testing. (DIT848 / DAT261) Spring Lecture 11 Executable Tests (in ModelJUnit) and EFSMs
Model-Based Testing (DIT848 / DAT261) Spring 2016 Lecture 11 Executable Tests (in ModelJUnit) and EFSMs Gerardo Schneider Department of Computer Science and Engineering Chalmers University of Gothenburg
More informationSeparation of Transitions, Actions, and Exceptions in Model-based Testing
Separation of Transitions, Actions, and Exceptions in Model-based Testing Cyrille Artho Research Center for Information Security (RCIS), AIST, Tokyo, Japan Abstract. Model-based testing generates test
More informationNapa Valley College Cisco Unity Voice Mail User Guide
Napa Valley College Cisco Unity Voice Mail User Guide Cisco Unity Voice Mail Enroll as a Subscriber Press the Messages button to call Cisco Unity from your desk phone. Enter the default password that was
More informationScript Editor Overview
Script Editor Overview This guide provides an overview of writing autoattendant scripts for by using the Cisco Unity Express Script Editor and includes a line-by-line description of a sample script, and
More informationIntroduction to Software Testing Chapter 2, Sec#: 2.5 Graph Coverage for Specifications
Introduction to Software Testing Chapter 2, Sec#: 2.5 Graph Coverage for Specifications Paul Ammann & Jeff Offutt http://www.cs.gmu.edu/~offutt/softwa retest/ Design Specifications A design specification
More informationIntroduction to Software Testing Chapter 2.4 Graph Coverage for Design Elements Paul Ammann & Jeff Offutt
Introduction to Software Testing Chapter 2.4 Graph Coverage for Design Elements Paul Ammann & Jeff Offutt www.introsoftwaretesting.com OO Software and Designs Emphasis on modularity and reuse puts complexity
More informationHow to Use This Guide
How to Use This Guide This guide provides brief instructions for the commonly used features available with the SUPERSET 430 telephone. Some of these features are accessed by using the function keys on
More informationVoIP Telephone Features & Voic Unity Voice Mail Training Manual
VoIP Telephone Features & Voicemail: Unity Voice Mail Training Manual Version 11/8/2012 Alternative Format Statement This publication is available in alternative media upon request. Statement of Non-Discrimination
More informationAdvanced Scripting Techniques
Advanced Scripting Techniques This chapter describes advanced variables and techniques you can use when designing custom scripts in the Cisco Unity Express Script Editor. This chapter contains the following
More informationScript Step Reference Information
Script Step Reference Information This chapter lists all the steps available for use in creating scripts. These steps are accessed using the palette pane (see Using the Palette Pane, page 8). This chapter
More informationVOICE PROCESSING. VP 100, 200 and 300 USER GUIDE TOSHIBA VOICE PROCESSING
VOICE PROCESSING VP 100, 200 and 300 USER GUIDE COPYRIGHT 1994 TOSHIBA AMERICA INFORMATION SYSTEMS, INC. All rights reserved. No part of this manual may be reproduced in any form or by any means graphic,
More informationObservability and Controllability Issues in Conformance Testing of Web Service Compositions
Observability and Controllability Issues in Conformance Testing of Web Service Compositions Jose Pablo Escobedo 1, Christophe Gaston 2, Pascale Le Gall 3 and Ana Cavalli 1 1 TELECOM & Management SudParis
More informationAVAYA VOICE OVER INTERNET PROTOCOL (VOIP) TELEPHONE REFERENCE GUIDE
AVAYA VOICE OVER INTERNET PROTOCOL (VOIP) TELEPHONE REFERENCE GUIDE Information from Hawaiian Telecom Modified by Leeward Community College, UH West O ahu Copyright 2011 Table of Contents Pre-dial... 4
More informationPhone Works Kingston Ltd.
Phone Works Kingston Ltd. Samsung Voicemail and Telephone Administrator Set-up and Maintenance Office 1-877-541-1112 Local 613-384-5150 Fax 613-384-2648 Email: sales@phoneworks.ca Samsung SVMi Voice Mail
More informationAuto Attendant Script Example
Auto Attendant Script Example Last Updated: April 28, 2010 This chapter describes how to configure an auto attendant (AA) script. It uses the sample script aa_sample1.aef, which is included with the Cisco
More informationTowards flexible and efficient model-based testing, utilizing domain-specific modelling
Towards flexible and efficient model-based testing, utilizing domain-specific modelling Olli-Pekka Puolitaival VTT Technical Research Centre of Finland P.O. Box 1100 90571 Oulu, Finland olli-pekka.puolitaival@vtt.fi
More informationObservability and Controllability Issues in Conformance Testing of Web Service Compositions
Observability and Controllability Issues in Conformance Testing of Web Service Compositions Jose Pablo Escobedo 1, Christophe Gaston 2, Pascale Le Gall 3, and Ana Cavalli 1 1 TELECOM & Management SudParis
More informationCaller dialled digit during recording. Fax routing Config? Yes. Route to Fax Extensions
Auto Attendant Menu Caller dialled digit during recording Digits 0-7 Fax tone detected selection is made 2nd digit present Single Digit Config Fax routing Config? Ignore Fax Route to Extensions Route to
More informationProgramming and Feature Codes
Covering Calls Features Coverage Coverage Off Coverage allows a call ringing at one extension (a sender) to ring at another extension (a receiver) at the same time, and to be answered at either extension.
More informationSetting Up Your Personal Voice Mail Outgoing Greetings Page 1 of 5
Page 1 of 5 In order for your voice mail to properly work, all of these options MUST be completed!! Please have your Samsung SVMI voice mail user guide available for more details. This is how you may access
More information2) Message Waiting Light the light is located on the upper part of the phone and will turn on every time you have voic .
CTI INSIGHT www.consoltech.com Avaya 2410/2420 Phone User Guide AVAYA 2410 Digital Phones IP Office AVAYA 2420 Digital Phones IP Office 1) Line & Feature Buttons/Display - to make an external call, dial
More informationDesigning an Auto Attendant Script
Designing an Auto Attendant Script This chapter describes the design of an Auto Attendant (AA) script, aa_sample1.aef, which is included with the Cisco Unity Express Script Editor, and contains the following
More informationMaster of Science in Embedded and Intelligent Systems MASTER THESIS. Generating Test Adapters for ModelJunit. Ardalan Hashemi Aghdam
Master of Science in Embedded and Intelligent Systems MASTER THESIS Generating Test Adapters for ModelJunit Ardalan Hashemi Aghdam Halmstad University, June 2017 Ardalan Hashemi Aghdam: Generating Test
More informationInput part 3: Implementing Interaction Techniques
Input part 3: Implementing Interaction Techniques Recap: Interaction techniques A method for carrying out a specific interactive task Example: enter a number in a range could use (simulated) slider (simulated)
More informationOverview Graph Coverage Criteria
Overview Graph Coverage Criteria Graph Coverage Four Structures for Modeling Software Graphs Logic Input Space Syntax Applied to Applied to Source FSMs Applied to Specs DNF Source Specs Source Models Design
More informationScript Editor Overview
Script Editor Overview Last Updated: July 24, 2008 This guide provides an overview using the Cisco Unity Express 3.2 Script Editor for writing Auto Attendant (AA) scripts. The guide also includes a line-by-line
More informationHow to Use This Guide
How to Use This Guide This guide provides brief instructions for the commonly used features available with the SUPERSET 430 telephone. Some of these features are accessed by using the function keys on
More informationChapter 4 Defining Classes I
Chapter 4 Defining Classes I This chapter introduces the idea that students can create their own classes and therefore their own objects. Introduced is the idea of methods and instance variables as the
More informationPrinciples of Testing and Analysis. COMP 4004 Fall Notes Adapted from Dr. A. Williams
Principles of Testing and Analysis COMP 4004 Fall 2008 Notes Adapted from Dr. A. Williams Software Quality Assurance Lec 3 1 Principles of Testing and Analysis Sensitivity Redundancy Restriction Partition
More informationGraph Coverage for Source Code. Data Flow Graph Coverage for Source Code
Graph Coverage for Source Code Data Flow Graph Coverage for Source Code 1 Graph Coverage for Design Elements Use of data abstraction and object oriented software has increased importance on modularity
More informationAspire Basic Operation (Quick Reference)
Aspire Basic Operation (Quick Reference) To answer an incoming call: To answer an incoming call at your extension, simply lift the receiver. The phone is programmed to automatically answer an incoming
More informationCalling Features. Cisco Unified IP Conference Phone 8831 User Guide for Cisco Unified Communications Manager 9.3 1
You can perform basic call-handling tasks using a range of features and services. Feature availability can vary; contact your system administrator for more information. Softkey feature map, page 2 Answer,
More informationECLASS BLOCK. Description. Extension Controls
ECLASS BLOCK Description The ECLASS (Class of Service) Block is an expansion or extension of service parameters which pertain to an Extension Block. All extension blocks are associated with one ECLASS
More informationObservation-Based Modeling for Testing and Verifying Highly Dependable Systems A Practitioner s Approach
Observation-Based Modeling for Testing and Verifying Highly Dependable Systems A Practitioner s Approach Teemu Kanstrén 1, Eric Piel 2, Alberto Gonzalez 2, and Hans-Gerhard Gross 2 1 VTT, Kaitováylá 1,
More informationGetting Started with Exchange Unified Messaging
Getting Started with Exchange Unified Messaging Welcome to Exchange Unified Messaging. This system will replace Farmington Area Public School s existing voice mail system and provide additional functionality.
More informationAvaya Unified Messenger Telephone User Interface Online Guide
Avaya Unified Messenger Select from the following Introduction Sending voice messages Getting started Recording prompts and greetings Reviewing messages Personalizing your mailbox Replying to messages
More informationFault Management using Passive Testing formobileipv6networks
Fault Management using Passive Testing formobileipv6networks Raymond E. Miller Khaled A. Arisha Department of Computer Science Honeywell International Inc. University of Maryland, 7 Columbia Gateway Drive
More information4J SCHOOL DISTRICT - VOICE MAIL SYSTEM ACTIVATING YOUR VOICE MAILBOX STEP 1
4J SCHOOL DISTRICT - VOICE MAIL SYSTEM ACTIVATING YOUR VOICE MAILBOX STEP 1 The first time you call your voice mail system as a new user, a brief tutorial will walk you through setting up your new mailbox.
More informationAdding Machine Run 2
Calculator Run 1 Adding Machine Run 2 Simple Adder (define TOTAL 0) (define total-message (make-message (number->string TOTAL))) (define amount-text (make-text "Amount")) (define add-button (make-button
More informationPerfect Voice User Guide
User Guide Contents What is?...1 Logging into your mailbox...2 Quick Setup...4 Main Menu Overview...6 Main Menu Options...7 Message Management...8 Message Management...9 Forward Menu (t from Message Management)...10
More informationMitel 8528 Digital Handset User Guide
Mitel 8528 Digital Handset User Guide Please bear in mind any codes in this document are system defaults. Please contact us if they do not work. E&OE Page 1 of 6 To make an external call: Dial 9 or press
More informationCreating a Phone Survey
Creating a Phone Survey A Step-by-Step Worksheet Guide This guide is intended to help you prepare your questions and messages before you begin to assemble a survey. It contains spaces for you to write
More informationDefining Your Own Classes
Defining Your Own Classes In C, you are allowed to define a struct and then define variables of that struct. But Java allows you to define your own class. This means not only defining the data structure,
More informationUSER REFERENCE MANUAL
USER REFERENCE MANUAL for Serenade Telephone User Interface (TUI) OCTEL MESSAGING DIVISION THE POWER OF MESSAGING With voice messaging people don t have to be available and connected at the same time to
More informationInter-Tel Axxess Executive Digital Terminal Reference Guide to Frequently Used Features
Inter-Tel Axxess Executive Digital Terminal Reference Guide to Frequently Used Features Making Calls Make an Outside Call: 1. With our without lifting the handset, press 2. Dial the desired number (if
More informationXen IPK II DIGITAL VOIC User Guide
Xen IPK II DIGITAL VOICEMAIL User Guide Table of Contents Digital Voicemail User Guide........................ 1 General Information............................... 2 Getting Started...................................
More informationLogistics. Final Exam on Friday at 3pm in CHEM 102
Java Review Logistics Final Exam on Friday at 3pm in CHEM 102 What is a class? A class is primarily a description of objects, or instances, of that class A class contains one or more constructors to create
More informationCALNET 3: AT&T Voice DNA : Quick reference guide
CALNET 3: AT&T Voice DNA: Quick reference guide Polycom SoundPoint IP 321 / 331 CALNET 3: AT&T Voice DNA : Quick reference guide Polycom SoundPoint IP 321 / 331 Version 1.2 Page 2 AT&T Voice DNA : Quick
More informationbarge In option 127 bigdecimal variables 16 biginteger variables 16 boolean variables 15 business hours step 100
A aa_sample1.aef file 25 aa script 1 acceptable digits, specifying 137 accept step 67 annotate step 99 attach to fax step 95 auto attendant sample script 1 B barge In option 127 bigdecimal variables 16
More informationFinite State Machines
Finite State Machines CS 3410 Computer System Organization & Programming [K. Bala, A. Bracy, E. Sirer, and H. Weatherspoon] Stateful Components Combinational logic Output computed directly from inputs
More informationSprint Digital Voice Models DVP 203 & DVP 403. System Administrator s Guide. Item Number
Sprint Digital Voice Models DVP 203 & DVP 403 System Administrator s Guide Item Number 699345 Nothing contained in this guide shall be deemed to be, and this guide does not constitute, a warranty of, or
More informationIntroduction to Software Testing Chapter 2, Sections: 2.1 & 2.2 Overview Graph Coverage Criteria
Introduction to Software Testing Chapter 2, Sections: 2.1 & 2.2 Overview Graph Coverage Criteria Paul Ammann & Jeff Offutt http://www.cs.gmu.edu/~offutt/softwa retest/ Ch. 2 : Graph Coverage Four Structures
More informationHomePlan features and user guide
HomePlan features and user guide Effective 1 April 2013 Contents Important numbers to remember 1 How to make a call 2 Message Mailbox 5 Call Queue 12 Phone Divert 13 Three Party Calling 15 Toll Call Control
More informationInput: Implementing Interaction Techniques as Finite State Machines
Input: Implementing Interaction Techniques as Finite State Machines Administration HW4a due today HW5 set today 2 Interaction Techniques A method for carrying out a specific interactive task Example: enter
More informationCmpt 135 Assignment 2: Solutions and Marking Rubric Feb 22 nd 2016 Due: Mar 4th 11:59pm
Assignment 2 Solutions This document contains solutions to assignment 2. It is also the Marking Rubric for Assignment 2 used by the TA as a guideline. The TA also uses his own judgment and discretion during
More informationHome Phone Features Quick Start Guide
This provides you an overview of features available via your Home Phone when connected to your MyRepublic Modem. Features Voicemail Call Forwarding 3-Way Calling Speed Dial Call Waiting Caller ID Blocking
More informationPOTS TOUCH TONE FEATURE GUIDE
POTS TOUCH TONE FEATURE GUIDE 2 TOUCH TONE FEATURES Call Privacy Voicemail Voicemail Message Manager Call Display Call Waiting Visual Call Waiting Call Return Three-Way Calling Ident-A-Call Call Forwarding
More informationHow to Use This Guide
How to Use This Guide This guide provides brief instructions for the commonly used features available with the SUPERSET 410 telephone. Many of these features are accessed by using the function keys on
More informationAP COMPUTER SCIENCE JAVA CONCEPTS IV: RESERVED WORDS
AP COMPUTER SCIENCE JAVA CONCEPTS IV: RESERVED WORDS PAUL L. BAILEY Abstract. This documents amalgamates various descriptions found on the internet, mostly from Oracle or Wikipedia. Very little of this
More informationStacks. Common data structures - useful for organizing data for specific tasks Lists Stacks - an Abstract Data Type
Stacks Common data structures - useful for organizing data for specific tasks Lists Stacks - an Abstract Data Type Class interface Polymorphism Use of List as representation of Stacks Pop versus Peek 1
More informationNortel Networks Integrated Call Director
Title page Nortel Networks Communication Server 1000 Release 4.0 Nortel Networks Integrated Call Director User Guide Revision history Revision history July 2004 Standard 1.00. This document is issued
More informationAT&T. Using the PARTNER MAIL VS. Voice Messaging System Graphics 1988 AT&T
AT&T 518-322-106 Using the PARTNER MAIL VS Voice Messaging System Graphics 1988 AT&T PARTNER MAIL VS System This system serves as your personal answering machine. Callers from inside and outside your company
More informationHome Phone Service Guide. Calling features and services Tips and instructions
Home Phone Service Guide Calling features and services Tips and instructions Home Phone Service Inside your guide to Primus Home Phone Service Services included with Primus Home Phone Service: 911, 411,
More informationCallPilot Multimedia Messaging
CallPilot Multimedia Messaging User Guide Release 1.0 Standard 1.0 December 1998 P0886140 ii Welcome to CallPilot Multimedia Messaging CallPilot Multimedia Messaging from Nortel Networks is an advanced
More informationIntro to Modelling and UML
CSCD01 Engineering Large Software Systems Intro to Modelling and UML Joe Bettridge Winter 2018 With thanks to Anya Tafliovich and Steve Easterbrook Getting Started So, you ve just started working on a
More informationRegistration Details. Overall Summary
C# Programming Assessment- Easy Registration Details Email Address First Name Last Name : mweliczko@redbox.com : M : W Took test on: Jun 2, 214 Overall Summary MARKS SCORED Score Percentile Section #1
More informationINDeX Agent Assist Administration Manual
INDeX Agent Assist Administration Manual 38HBK00001SCS Issue 3 (20/02/2002) Contents INDeX Agent Assist... 3 Introduction... 3 Requirements for Using Agent Assist Administrator... 3 The Components of an
More informationUser guide for All Types of Telephone Sets
Integrated Multi-Application Generator User guide for All Types of Telephone Sets 76-110-0893/B Issue 1 76-110-0893/B, Issue 1 User Guide for All Types of Telephone Sets Telrad Connegy, Inc., Woodbury,
More informationAutomatic Testing with Formal Methods
November 30th, 2010 Testing is Inevitable Can be applied to the actual implementation Scales up Can be applied to the actual implementation No need to build a model of the system It is complex to build
More informationAxxess Phone Instructions (NOT ALL PHONES HAVE ALL FEATURES)
Axxess Phone Instructions (NOT ALL PHONES HAVE ALL FEATURES) To Intercom Any Extension: Press SPKR key or lift the handset. Dial the extension number or press the name key. To Take An Incoming Call: Lift
More informationCisco 8811 Dial Plan. Place a Call. Answer a Call. Put a Call on Hold. Feature and Session Buttons. Your Phone
Cisco 8811 Dial Plan Internal Calls: Dial 5-digit extension External Calls: Site-to Site 5-digit number Domestic: 9+1+ Area Code + Number Int l: 9+011+Country Code + Number Emergency External: 9+911 or
More informationBelZo Mobile. Multi IMSI SIM User Guide I WELCOME TO MULTI IMSI SIM USER GUIDE. Belzo. [Category: Key-Distributor Prospects]
Belzo WELCOME TO BelZo Mobile MULTI IMSI SIM USER GUIDE [Category: Key-Distributor Prospects] 1 Getting Started The enclosed SIM card connects you to the BelZo global network. Break out the SIM card from
More informationNVM-2. Voice Mail with Automated Attendant. Programming Guide. Part No INS02 Issue 1-0, December 1997 (2412)
NVM-2 Voice Mail with Automated Attendant Programming Guide Part No. 17690INS02 Issue 1-0, December 1997 (2412) 4 FOREST PARKWAY, SHELTON, CONNECTICUT 06484 TEL: 203-926-5400 FAX: 203-929-0535 This manual
More informationAnnouncements! P1 part 1 due next Tuesday P1 part 2 due next Friday
Announcements! P1 part 1 due next Tuesday P1 part 2 due next Friday 1 Finite-state machines CS 536 Last time! A compiler is a recognizer of language S (Source) a translator from S to T (Target) a program
More information5220, 5215 and 5201 IP Phones and Voic Rev. 3/04
USER GUIDE 5220, 5215 and 5201 IP Phones and Voicemail Rev. 3/04 1 FEATURES ANSWER AN INCOMING CALL Lift handset of ringing telephone PLACE AN OUTGOING CALL Dial outside access code [9] Dial number you
More informationVoice Messaging Instructions Contents
Voice Messaging Instructions Contents Welcome to Voice Messaging 2 Using Voice Mail for the First Time 2 Recording External and Temporary Greetings 3 Personal Verification 4 Password Change 4 Playing Messages
More informationVoice Mail User s Guide
Voice Mail User s Guide Introduction The MX voice mail server configures mail boxes and accesses voice messages for users, ACD groups, and operators. This user s guide describes voice mail server procedures
More informationAutomated Test Design with TTCN-3
Automated Test Design with TTCN-3 TTCN-3 User Conference Beijing, June 8th 2010 Conformiq Tutorial Copyright Conformiq Inc. and its subsidiaries. All rights reserved. Tuesday, May 11, 2010 1 Conformiq,
More informationPolycom SoundPoint IP 320/330
Polycom SoundPoint IP 320/330 User Guide For training/documentation, please visit us @ http://customertraining.verizonbusiness.com or call 1 800 662 1049 2009 Verizon. All Rights Reserved. The Verizon
More informationQuick Introduction to SystemVerilog: Sequental Logic
! Quick Introduction to SystemVerilog: Sequental Logic Lecture L3 8-545 Advanced Digital Design ECE Department Many elements Don Thomas, 24, used with permission with credit to G. Larson Today Quick synopsis
More informationTelephone & Voic Quick Reference Guide
Telephone & Voicemail Quick Reference Guide For Questions on Your Telephone or Voicemail Call: Valerie Young Warner Telecom Group 206-575-4200 Ext. 301 vyoung@warnertel.com 12 Setting Up Message Notification
More information>BellSouth Voice Mail. with Wireline Wireless. Service for Business. Mailbox. 4/7/04 10:07 Page 41
7 6 6 E =K 6? 6? 7 4/7/04 1007 Page 41 with Wireline Wireless Mailbox life. It gives you one voice mailbox for your wireline (office) phone and up to four ingular Wireless phones. Unanswered calls to any
More informationYealink BASIC PHONE GUIDE T48G POWERED BY XCHANGE TELECOM
POWERED BY XCHANGE TELECOM UNDERSTANDING THE KEYS ON YOUR The Hard keys may display a fixed function, may be programmed to display extensions or other frequently used functions like Speed Dial. The Soft
More information6402 Voice Terminal User s manual. DEFINITY G3 - Release 6.3 or later
6402 Voice Terminal User s manual DEFINITY G3 - Release 6.3 or later 555-230-757 Issue 1, July 2000 Copyright 2000 Lucent Technologies All rights reserved Notice While reasonable efforts were made to ensure
More informationWelcome Back. CSCI 262 Data Structures. Hello, Let s Review. Hello, Let s Review. How to Review 1/9/ Review. Here s a simple C++ program:
Welcome Back CSCI 262 Data Structures 2 - Review What you learned in CSCI 261 (or equivalent): Variables Types Arrays Expressions Conditionals Branches & Loops Functions Recursion Classes & Objects Streams
More information3300 IP Communications Platform
MITEL 3300 IP Communications Platform 5304 IP Phone User Guide NOTICE The information contained in this document is believed to be accurate in all respects but is not warranted by Mitel Networks Corporation
More informationHKN CS 374 Midterm 1 Review. Tim Klem Noah Mathes Mahir Morshed
HKN CS 374 Midterm 1 Review Tim Klem Noah Mathes Mahir Morshed Midterm topics It s all about recognizing sets of strings! 1. String Induction 2. Regular languages a. DFA b. NFA c. Regular expressions 3.
More informationAutomated Information System AIS telephone user guide
Automated Information System AIS telephone user guide May 2007 Department of Human Services Division of Medical Assistance Programs 500 Summer St NE, E 44 Salem, OR 97301-1077 1-800-527-5772 Contents I.
More informationCALNET 3: Cisco Hosted Collaboration Solution from AT&T Quick reference guide
CALNET 3: Cisco Hosted Collaboration Solution from AT&T: Quick reference guide: Cisco Unified IP phone 883 CALNET 3: Cisco Hosted Collaboration Solution from AT&T Quick reference guide Cisco Unified IP
More informationArrival Universal Voice Mail Instructions
Arrival Universal Voice Mail Instructions Accessing Voice Mail From Your Desk Phone. Dial your mailbox number.. During the greeting press.. Enter your password.. Press. From Another User s Desk Phone.
More informationVZE-RS-E-6/11 USER GUIDE. Instructions on Using Verizon Calling Features
VZE-RS-E-6/11 USER GUIDE Instructions on Using Verizon Calling Features TABLE OF CONTENTS *69...2-3 Anonymous Call Rejection...4 Additional Lines...4 Busy Redial...4-5 Call Block...5 Call Forwarding...6
More information3300 CITELlink Gateway for 7000 Series Norstar Phones. T7208 Phone User Guide
3300 CITELlink Gateway for 7000 Series Norstar Phones T7208 Phone User Guide NOTICE The information contained in this document is believed to be accurate in all respects but is not warranted by MITEL NETWORKSJ
More informationECLASS BLOCK. Description. Extension Controls. Caller Input Control
ECLASS BLOCK Description The EClass (Class of Service) Block is an expansion or extension of service parameters which pertain to an Extension Block. All extension blocks are associated with one Eclass
More information200 Receptionist s Guide
Business Central 200 Receptionist s Guide This guide is intended for receptionists and anybody else who answers your company s incoming phone calls. It is important to use this guide to ensure that your
More informationMethod. Why Write Methods? Overview. CS256 Computer Science I Kevin Sahr, PhD. Lecture 21: Writing Class Methods. ClassName.methodName(arguments)
CS256 Computer Science I Kevin Sahr, PhD Lecture 21: Writing Class Methods 1 Method a method is a set of program statements that can be executed as a unit the statements are executed by invoking the method
More informationQuick Resource for Crexendo Home Office Suite
Crexendo Business Solutions Inc. Quick Resource for Crexendo Home Office Suite Crexendo QuickStart Guide 1 Crexendo QuickStart Guide Crexendo Business Solutions Inc. Getting Started Adaptor Installation
More information9620 / 9630 QUICK REFERENCE GUIDE
9620 / 9630 QUICK REFERENCE GUIDE GENERAL OVERVIEW Scrolling and Navigating Use the up and down navigation arrows to scroll through lists. Use the right and left navigation arrows to scroll to other screens
More informationSpecification-based Testing of Embedded Systems H. Schlingloff, SEFM 2008
SEFM School 2008 Specification-based Testing of Embedded Systems Prof. Dr. Holger Schlingloff Humboldt-Universität zu Berlin and Fraunhofer FIRST, Berlin Lecture 5: OCL, ParTeG Course Outline L1: Introduction
More information