WO2006007588A3 - Method and system for test case generation - Google Patents

Method and system for test case generation Download PDF

Info

Publication number
WO2006007588A3
WO2006007588A3 PCT/US2005/023735 US2005023735W WO2006007588A3 WO 2006007588 A3 WO2006007588 A3 WO 2006007588A3 US 2005023735 W US2005023735 W US 2005023735W WO 2006007588 A3 WO2006007588 A3 WO 2006007588A3
Authority
WO
WIPO (PCT)
Prior art keywords
global state
automata
creating
record
current global
Prior art date
Application number
PCT/US2005/023735
Other languages
French (fr)
Other versions
WO2006007588A2 (en
Inventor
Bernardo Copstein
De Oliveira Flavio Modeira
Lucas Rosa Cruz Reginato
Farina Andre Gobbi
Original Assignee
Hewlett Packard Development Co
Bernardo Copstein
De Oliveira Flavio Modeira
Lucas Rosa Cruz Reginato
Farina Andre Gobbi
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Hewlett Packard Development Co, Bernardo Copstein, De Oliveira Flavio Modeira, Lucas Rosa Cruz Reginato, Farina Andre Gobbi filed Critical Hewlett Packard Development Co
Priority to US11/630,700 priority Critical patent/US7685468B2/en
Publication of WO2006007588A2 publication Critical patent/WO2006007588A2/en
Publication of WO2006007588A3 publication Critical patent/WO2006007588A3/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3684—Test management for test design, e.g. generating new test cases

Abstract

The method contemplates the inclusion of a plurality of automata in a Stochastic Automate Network model and including the steps of: setting an initial global state as the current global state (100), wherein a global state comprises local states each corresponding to one of the automata; creating a record of the initial global state (101); selecting an event from a set of events that can be applied to the current global state; creating a record of the selected event (104); identifying those of the automata (105) affected by the selected event and updating the current global state (106) by updating the states of the affected automata; creating a record of the current global state; and repeating until a termination condition (108) is satisfied.
PCT/US2005/023735 2004-07-01 2005-06-30 Method and system for test case generation WO2006007588A2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
US11/630,700 US7685468B2 (en) 2004-07-01 2005-06-30 Method and system for test case generation

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
GBGB0414742.7A GB0414742D0 (en) 2004-07-01 2004-07-01 Method and system for test case generation
GB0414742.7 2004-07-01

Publications (2)

Publication Number Publication Date
WO2006007588A2 WO2006007588A2 (en) 2006-01-19
WO2006007588A3 true WO2006007588A3 (en) 2006-03-30

Family

ID=32843384

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US2005/023735 WO2006007588A2 (en) 2004-07-01 2005-06-30 Method and system for test case generation

Country Status (3)

Country Link
US (1) US7685468B2 (en)
GB (1) GB0414742D0 (en)
WO (1) WO2006007588A2 (en)

Families Citing this family (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2009149815A1 (en) * 2008-05-19 2009-12-17 Johnson Controls Technology Company Method of automatically formulating test cases for verifying at least one part of a piece of software
US8463760B2 (en) * 2008-09-04 2013-06-11 At&T Intellectual Property I, L. P. Software development test case management
US8271950B2 (en) 2009-07-06 2012-09-18 Microsoft Corporation Test generation from captured user interface status
US8161329B2 (en) * 2009-11-11 2012-04-17 International Business Machines Corporation Generating random sequences based on stochastic generative model having multiple random variates
US20110131451A1 (en) * 2009-11-30 2011-06-02 Ricardo Bosch Methods and system for testing an enterprise system
US9355355B2 (en) * 2010-07-02 2016-05-31 Hewlett Packard Enterprise Development Lp Rule based automation
CN103853655A (en) * 2012-11-30 2014-06-11 英业达科技有限公司 Testing system and testing method for generating virtual testing unit outside to-be-tested device
CN104572031A (en) * 2013-10-09 2015-04-29 腾讯科技（深圳）有限公司 Method and device for generating test case
US10055339B2 (en) 2016-09-28 2018-08-21 Wipro Limited Methods and systems for testing mobile applications
US10891311B2 (en) * 2016-10-14 2021-01-12 Red Hat, Inc. Method for generating synthetic data sets at scale with non-redundant partitioning
CN112286793A (en) * 2020-09-28 2021-01-29 马瑞利汽车零部件(芜湖)有限公司 Automatic generating method of car lamp controller test case based on state machine

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5375074A (en) * 1990-01-23 1994-12-20 At&T Corp. Unboundedly parallel simulations
US5483470A (en) * 1990-03-06 1996-01-09 At&T Corp. Timing verification by successive approximation
US20030126506A1 (en) * 2001-12-31 2003-07-03 Frank Lin Program testing system and method

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5555415A (en) * 1994-01-10 1996-09-10 Metasphere, Inc. Object oriented event message dispatching subsystem and method utilizing a disposition matrix
US5768498A (en) * 1996-01-23 1998-06-16 Lucent Technologies Protocol verification using symbolic representations of queues
US6307546B1 (en) * 1997-12-30 2001-10-23 Alcatel Usa Sourcing, L.P. Telecommunications system craft interface device with parser having object-oriented state machine
US6516306B1 (en) * 1999-08-17 2003-02-04 Lucent Technologies Inc. Model checking of message flow diagrams
US6941557B1 (en) * 2000-05-23 2005-09-06 Verizon Laboratories Inc. System and method for providing a global real-time advanced correlation environment architecture
DE10354938B4 (en) * 2003-11-25 2008-01-31 Fujitsu Siemens Computers Gmbh Automated management data processing system and method for automated management of a data processing system

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5375074A (en) * 1990-01-23 1994-12-20 At&T Corp. Unboundedly parallel simulations
US5483470A (en) * 1990-03-06 1996-01-09 At&T Corp. Timing verification by successive approximation
US20030126506A1 (en) * 2001-12-31 2003-07-03 Frank Lin Program testing system and method

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
BERTOLINI C ET AL: "Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis.", 2ND INT CONF ON SOFTWARE ENGINEERING AND FORMAL METHODS., 28 September 2004 (2004-09-28), pages 251 - 260, XP010733329 *
BRENNER L, DE ROSE CA, FERNANDEZ P.: "An Analyical Model to Evaluate hte Performance of Cluster Architectures.", III LCI INTERNATIONAL CONFERENCE OF LINUX CLUSTERS., vol. 1, 2002, pages 1 - 12, XP002994708 *
HASSEL A ET AL: "Time-optimal realtime test case generation using UPPAAL.", FATES'03, October 2003 (2003-10-01), XP002994709 *

Also Published As

Publication number Publication date
GB0414742D0 (en) 2004-08-04
US7685468B2 (en) 2010-03-23
WO2006007588A2 (en) 2006-01-19
US20080294941A1 (en) 2008-11-27

Similar Documents

Publication Publication Date Title
WO2006007588A3 (en) Method and system for test case generation
WO2005106751A3 (en) System and method for efficient configuration in a fixed network automated meter reading system
WO2007078915A3 (en) System and method for generating a plurality of models at different levels of abstraction from a single master model
WO2004034304A3 (en) A rule-based system and method for checking compliance of architectural analysis and design models
WO2003083610A3 (en) Information management structure
WO2006030339A3 (en) Method of managing a distributed storage system
WO2005093574A3 (en) Anomaly management scheme for a multi-agent system
WO2007027222A3 (en) Apparatus, method and system for reservoir simulation using a multiplicative overlapping schwarz preconditioning for adaptive implicit linear systems
WO2003069436A3 (en) System and method of forecasting unscheduled component demand
IL180140A0 (en) System and method for consolidating, securing and automating out-of-band access to nodes in a data network
WO2002079916A3 (en) Method for incorporating human-based activities in business process models
WO2002097681A3 (en) Simulation system and method
WO2005039927A3 (en) Captured test fleet
RU2007147631A (en) DEPLOYMENT OF SOLUTIONS IN THE FARM OF SERVERS
DE102004016850A1 (en) Method, management server and computer program for assigning status messages of monitored objects of an IT infrastructure
DE60330120D1 (en) METHOD FOR EVALUATING THE INTEGRITY OF A STRUCTURE
CN102591754A (en) Automatic testing method for electronic product controlled by computer
CN104463465B (en) A kind of real time monitoring clustering methods based on distributed model
EP1209595A3 (en) Group work control system, group work control method and group work control program
CN102945262A (en) Comparing method and device for RNC (Radio Network Controller) configuration data
WO2003034344A3 (en) Bone simulation analysis
CN101128782A (en) System and method for simulating a stress or failure in a simulated network of program logic controllers
AU2003300744A1 (en) Method, system and computer program for planning a telecommunications network
WO2007127733A3 (en) Systems and methods for efficiently implementing an n-step manufacturing process for producing a mechanical part
WO2005043278A3 (en) System and method for verifying and testing system requirements

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A2

Designated state(s): AE AG AL AM AT AU AZ BA BB BG BR BW BY BZ CA CH CN CO CR CU CZ DE DK DM DZ EC EE EG ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KM KP KR KZ LC LK LR LS LT LU LV MA MD MG MK MN MW MX MZ NA NG NI NO NZ OM PG PH PL PT RO RU SC SD SE SG SK SL SM SY TJ TM TN TR TT TZ UA UG US UZ VC VN YU ZA ZM ZW

AL Designated countries for regional patents

Kind code of ref document: A2

Designated state(s): BW GH GM KE LS MW MZ NA SD SL SZ TZ UG ZM ZW AM AZ BY KG KZ MD RU TJ TM AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HU IE IS IT LT LU MC NL PL PT RO SE SI SK TR BF BJ CF CG CI CM GA GN GQ GW ML MR NE SN TD TG

121 Ep: the epo has been informed by wipo that ep was designated in this application
NENP Non-entry into the national phase

Ref country code: DE

WWW Wipo information: withdrawn in national office

Country of ref document: DE

WWE Wipo information: entry into national phase

Ref document number: 11630700

Country of ref document: US

122 Ep: pct application non-entry in european phase