WO2002093383A3 - System and method for combinatorial test generation in a compatibility testing environment - Google Patents

System and method for combinatorial test generation in a compatibility testing environment Download PDF

Info

Publication number
WO2002093383A3
WO2002093383A3 PCT/US2002/015821 US0215821W WO02093383A3 WO 2002093383 A3 WO2002093383 A3 WO 2002093383A3 US 0215821 W US0215821 W US 0215821W WO 02093383 A3 WO02093383 A3 WO 02093383A3
Authority
WO
WIPO (PCT)
Prior art keywords
slot
nodes
assertion
leaf
tree
Prior art date
Application number
PCT/US2002/015821
Other languages
French (fr)
Other versions
WO2002093383A2 (en
Inventor
Leonid M Arbouzov
Konstantin S Bobrovsky
Original Assignee
Sun Microsystems Inc
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 Sun Microsystems Inc filed Critical Sun Microsystems Inc
Priority to AU2002309949A priority Critical patent/AU2002309949A1/en
Priority to EP02736978A priority patent/EP1388064B1/en
Priority to DE60221516T priority patent/DE60221516D1/en
Publication of WO2002093383A2 publication Critical patent/WO2002093383A2/en
Publication of WO2002093383A3 publication Critical patent/WO2002093383A3/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

A computer program embodied on a computer readable medium is provided for combinatorial test generation. The computer program includes a code segment that obtains an assertion, wherein the assertion includes a plurality of assertion variables, and a code segment that generates a slot tree having a plurality of nodes, wherein the slot tree represents the assertion variables of the obtained assertion. Further included is a code segment that processes the nodes of the slot tree to generate tests for the assertion. As above, the slot tree can comprise a plurality of leaf slot nodes that represent the actual assertion variables, each leaf slot node including a value set for the assertion variable that the leaf slot node represents. The slot tree can also include a plurality of non-leaf slot nodes that are capable of referencing other nodes, wherein the other nodes can be leaf slot nodes and non-leaf slot nodes.
PCT/US2002/015821 2001-05-16 2002-05-15 System and method for combinatorial test generation in a compatibility testing environment WO2002093383A2 (en)

Priority Applications (3)

Application Number Priority Date Filing Date Title
AU2002309949A AU2002309949A1 (en) 2001-05-16 2002-05-15 System and method for combinatorial test generation in a compatibility testing environment
EP02736978A EP1388064B1 (en) 2001-05-16 2002-05-15 System and method for combinatorial test generation in a compatibility testing environment
DE60221516T DE60221516D1 (en) 2001-05-16 2002-05-15 SYSTEM AND METHOD FOR COMBINATORY TEST GENERATION IN A COMPATIBILITY TEST ENVIRONMENT

Applications Claiming Priority (6)

Application Number Priority Date Filing Date Title
US29167001P 2001-05-16 2001-05-16
US60/291,670 2001-05-16
US29218501P 2001-05-18 2001-05-18
US60/292,185 2001-05-18
US09/906,636 US6931627B2 (en) 2001-05-16 2001-07-16 System and method for combinatorial test generation in a compatibility testing environment
US09/906,636 2001-07-16

Publications (2)

Publication Number Publication Date
WO2002093383A2 WO2002093383A2 (en) 2002-11-21
WO2002093383A3 true WO2002093383A3 (en) 2003-11-27

Family

ID=27404066

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US2002/015821 WO2002093383A2 (en) 2001-05-16 2002-05-15 System and method for combinatorial test generation in a compatibility testing environment

Country Status (6)

Country Link
US (1) US6931627B2 (en)
EP (1) EP1388064B1 (en)
AT (1) ATE368890T1 (en)
AU (1) AU2002309949A1 (en)
DE (1) DE60221516D1 (en)
WO (1) WO2002093383A2 (en)

Families Citing this family (36)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE10158317B4 (en) * 2001-11-28 2009-06-18 Siemens Ag Method for generating and executing a diversified program sequence
US7210066B2 (en) * 2002-12-31 2007-04-24 Sun Microsystems, Inc. Method and system for determining computer software test coverage
US7823128B2 (en) * 2004-04-19 2010-10-26 Verigy (Singapore) Pte. Ltd. Apparatus, system and/or method for combining multiple tests to a single test in a multiple independent port test environment
US7539977B1 (en) * 2005-01-21 2009-05-26 Xilinx, Inc. Automatic bug isolation in computer programming languages
US8332817B2 (en) * 2005-11-08 2012-12-11 Red Hat, Inc. Certifying a software application based on identifying interface usage
US8359566B2 (en) * 2007-04-13 2013-01-22 International Business Machines Corporation Software factory
US8141040B2 (en) * 2007-04-13 2012-03-20 International Business Machines Corporation Assembling work packets within a software factory
US8464205B2 (en) * 2007-04-13 2013-06-11 International Business Machines Corporation Life cycle of a work packet in a software factory
US20080256390A1 (en) * 2007-04-13 2008-10-16 Chaar Jarir K Project Induction in a Software Factory
US7958494B2 (en) * 2007-04-13 2011-06-07 International Business Machines Corporation Rapid on-boarding of a software factory
US8566777B2 (en) * 2007-04-13 2013-10-22 International Business Machines Corporation Work packet forecasting in a software factory
US8296719B2 (en) * 2007-04-13 2012-10-23 International Business Machines Corporation Software factory readiness review
US8327318B2 (en) * 2007-04-13 2012-12-04 International Business Machines Corporation Software factory health monitoring
US8141030B2 (en) * 2007-08-07 2012-03-20 International Business Machines Corporation Dynamic routing and load balancing packet distribution with a software factory
US8332807B2 (en) * 2007-08-10 2012-12-11 International Business Machines Corporation Waste determinants identification and elimination process model within a software factory operating environment
US9189757B2 (en) * 2007-08-23 2015-11-17 International Business Machines Corporation Monitoring and maintaining balance of factory quality attributes within a software factory environment
US8539437B2 (en) * 2007-08-30 2013-09-17 International Business Machines Corporation Security process model for tasks within a software factory
US8595044B2 (en) * 2008-05-29 2013-11-26 International Business Machines Corporation Determining competence levels of teams working within a software
US8667469B2 (en) * 2008-05-29 2014-03-04 International Business Machines Corporation Staged automated validation of work packets inputs and deliverables in a software factory
US8527329B2 (en) * 2008-07-15 2013-09-03 International Business Machines Corporation Configuring design centers, assembly lines and job shops of a global delivery network into “on demand” factories
US8452629B2 (en) * 2008-07-15 2013-05-28 International Business Machines Corporation Work packet enabled active project schedule maintenance
US20100023920A1 (en) * 2008-07-22 2010-01-28 International Business Machines Corporation Intelligent job artifact set analyzer, optimizer and re-constructor
US8140367B2 (en) * 2008-07-22 2012-03-20 International Business Machines Corporation Open marketplace for distributed service arbitrage with integrated risk management
US8418126B2 (en) * 2008-07-23 2013-04-09 International Business Machines Corporation Software factory semantic reconciliation of data models for work packets
US8375370B2 (en) * 2008-07-23 2013-02-12 International Business Machines Corporation Application/service event root cause traceability causal and impact analyzer
US8336026B2 (en) 2008-07-31 2012-12-18 International Business Machines Corporation Supporting a work packet request with a specifically tailored IDE
US8448129B2 (en) * 2008-07-31 2013-05-21 International Business Machines Corporation Work packet delegation in a software factory
US8271949B2 (en) * 2008-07-31 2012-09-18 International Business Machines Corporation Self-healing factory processes in a software factory
US8850396B2 (en) * 2010-05-27 2014-09-30 Red Hat Israel, Ltd. Performing software testing based on grouping of tests using test list entity
US9009668B2 (en) 2010-05-27 2015-04-14 Red Hat Israel, Ltd. Software testing using test entity
US8407073B2 (en) 2010-08-25 2013-03-26 International Business Machines Corporation Scheduling resources from a multi-skill multi-level human resource pool
US9201754B2 (en) 2011-01-19 2015-12-01 Red Hat, Inc. Recording application consumption details
US9483284B2 (en) 2011-02-25 2016-11-01 Red Hat, Inc. Version compatibility determination
US8660878B2 (en) 2011-06-15 2014-02-25 International Business Machines Corporation Model-driven assignment of work to a software factory
US9244819B2 (en) 2011-10-31 2016-01-26 International Business Machines Corporation Attribute value properties for test selection with cartesian product models
US8452813B2 (en) 2011-10-31 2013-05-28 International Business Machines Corporation Test planning using attribute value properties

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0834810A1 (en) * 1996-09-19 1998-04-08 Sun Microsystems, Inc. Automatic generation of test drivers

Family Cites Families (12)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5910958A (en) * 1991-08-14 1999-06-08 Vlsi Technology, Inc. Automatic generation of test vectors for sequential circuits
US5701487A (en) * 1995-03-27 1997-12-23 Sun Microsystems, Inc. Method and apparatus for displaying locations of errors detected inside software macro calls
US5854932A (en) * 1995-08-17 1998-12-29 Microsoft Corporation Compiler and method for avoiding unnecessary recompilation
US5867710A (en) * 1995-09-05 1999-02-02 Motorola, Inc. Portable microkernel operating system verification and testing
US6553564B1 (en) * 1997-12-12 2003-04-22 International Business Machines Corporation Process and system for merging trace data for primarily interpreted methods
US6760907B2 (en) * 1998-06-30 2004-07-06 Sun Microsystems, Inc. Code generation for a bytecode compiler
US6256777B1 (en) * 1998-10-09 2001-07-03 Hewlett-Packard Company Method and apparatus for debugging of optimized machine code, using hidden breakpoints
US6708324B1 (en) * 1999-06-24 2004-03-16 Cisco Technology, Inc. Extensible automated testing software
US6865730B1 (en) * 2000-03-08 2005-03-08 International Business Machines Corporation Interprocedural analysis and optimization of an object oriented program in the presence of dynamic class loading
US6671875B1 (en) * 2000-09-21 2003-12-30 International Business Machines Corporation Manipulation of an object-oriented user interface process to provide rollback of object-oriented scripts from a procedural business logic debugger
US6842893B1 (en) * 2000-11-13 2005-01-11 International Business Machines Corporation Method for global breakout identification
US6577982B1 (en) * 2001-01-30 2003-06-10 Microsoft Corporation Model-based testing via combinatorial designs

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0834810A1 (en) * 1996-09-19 1998-04-08 Sun Microsystems, Inc. Automatic generation of test drivers

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
GOTLIEB A ET AL: "AUTOMATIC TEST DATA GENERATION USING CONSTRAINT SOLVING TECHNIQUES", SOFTWARE ENGINEERING NOTES, ASSOCIATION FOR COMPUTING MACHINERY. NEW YORK, US, vol. 23, no. 2, 1 March 1998 (1998-03-01), pages 53 - 62, XP000740946, ISSN: 0163-5948 *

Also Published As

Publication number Publication date
US6931627B2 (en) 2005-08-16
AU2002309949A1 (en) 2002-11-25
WO2002093383A2 (en) 2002-11-21
US20040015870A1 (en) 2004-01-22
EP1388064B1 (en) 2007-08-01
EP1388064A2 (en) 2004-02-11
DE60221516D1 (en) 2007-09-13
ATE368890T1 (en) 2007-08-15

Similar Documents

Publication Publication Date Title
WO2002093383A3 (en) System and method for combinatorial test generation in a compatibility testing environment
Billinton et al. Assessment of risk-based capacity benefit factors associated with wind energy conversion systems
ATE325384T1 (en) SYSTEMS AND METHODS FOR INTEGRITY CERTIFICATION AND VERIFICATION OF CONTENT CONSUMPTION ENVIRONMENTS
WO2002086670A3 (en) Simplified modeling software interface and method
WO2004034304A3 (en) A rule-based system and method for checking compliance of architectural analysis and design models
US5937181A (en) Simulation of a process of a concurrent system
ATE261596T1 (en) MIGRATION OF PROCESSES USING A DATA REPRESENTATION LANGUAGE REPRESENTATION OF THOSE PROCESSES IN A DISTRIBUTED COMPUTING ENVIRONMENT
WO2003054666A3 (en) System and method for automated test-case generation for software
CN106598581A (en) ASTERIX message parsing code generation method based on XML
WO2003023661A3 (en) Method and apparatus for analysing and modeling of analog systems
Manrique et al. The confluent system formalism: I. the mass function of objects in the peak model
SE0202593D0 (en) A Computer program product and associated methods for searching a database of objects, connecting objects in such a database, and exporting data from at least arbitrary database
WO2003034344A3 (en) Bone simulation analysis
WO2005043278A3 (en) System and method for verifying and testing system requirements
WO2001071531A3 (en) Method of analyzing chemical processes
CN109613840A (en) A kind of semi-physical simulation method based on Matlab
Cheij A software architecture for building interchangeable test systems
DE69330433T2 (en) METHOD FOR RELATING A DATABASE TO ERRORS
CN111739132B (en) Whole body bone movement effect modification method based on local controller
CN104765616B (en) A kind of method and system for automatically generating I/O model
US20050043913A1 (en) Method of determining the level of structural coverage testing of test cases which are written for a program that does not provide for structural coverage testing
CN106815303A (en) A kind of crumbs navigation implementation method and system based on XML configurations and label
AU2002309824A1 (en) System and method for automated assertion acquisition in a java compatibility testing
Cheij Software architecture for building
CN106445524B (en) SystemC code generation method based on model

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 BY BZ CA CH CN CO CR CU CZ DE DK DM DZ EC EE ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KP KR KZ LC LK LR LS LT LU LV MA MD MG MK MN MW MX MZ NO NZ OM PH PL PT RO RU SD SE SG SI SK SL TJ TM TN TR TT TZ UA UG UZ VN YU ZA ZM ZW

AL Designated countries for regional patents

Kind code of ref document: A2

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

WWE Wipo information: entry into national phase

Ref document number: 2002736978

Country of ref document: EP

121 Ep: the epo has been informed by wipo that ep was designated in this application
WWP Wipo information: published in national office

Ref document number: 2002736978

Country of ref document: EP

REG Reference to national code

Ref country code: DE

Ref legal event code: 8642

NENP Non-entry into the national phase

Ref country code: JP

WWW Wipo information: withdrawn in national office

Country of ref document: JP

WWG Wipo information: grant in national office

Ref document number: 2002736978

Country of ref document: EP