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

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Data Exchanges In Wide-Area Networks (AREA)
  • Remote Monitoring And Control Of Power-Distribution Networks (AREA)

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
KR101254609B1 (en) * 2008-05-19 2013-04-15 존슨 컨트롤스 테크놀러지 컴퍼니 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
WO2006007588A2 (en) 2006-01-19
US7685468B2 (en) 2010-03-23
US20080294941A1 (en) 2008-11-27

Similar Documents

Publication Publication Date Title
WO2006007588A3 (en) Method and system for test case generation
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
AU2003216982A1 (en) Method for assessing the integrity of a structure
WO2003083610A3 (en) Information management structure
WO2006030339A3 (en) Method of managing a distributed storage system
WO2005093574A3 (en) Anomaly management scheme for a multi-agent system
WO2007031415A3 (en) Automation structure for software verification testing
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
DE60335378D1 (en) METHOD AND SYSTEM FOR CONFIGURATION CONTROL IN TELECOMMUNICATIONS NETWORKS
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
WO2008054610A3 (en) Modeling and management of reservoir systems with material balance groups
WO2005039927A3 (en) Captured test fleet
RU2007147631A (en) DEPLOYMENT OF SOLUTIONS IN THE FARM OF SERVERS
MY150140A (en) Update distribution system architecture and method for distributing software
WO2006044914A3 (en) Method, system and storage medium for managing automated system events
CN102591754A (en) Automatic testing method for electronic product controlled by computer
WO2001022271A3 (en) Method for distributed agent-based non-expert simulation of manufacturing process behavior
EP1209595A3 (en) Group work control system, group work control method and group work control program
EP1631002A3 (en) Automatic configuration of network performance models
WO2007093985A2 (en) Real time simulating method and system
CN102945262A (en) Comparing method and device for RNC (Radio Network Controller) configuration data
AU2003300744A1 (en) Method, system and computer program for planning a telecommunications network

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