WO1999021404A3 - Apparatus and method for semi-automated generation and application of language conformity tests - Google Patents

Apparatus and method for semi-automated generation and application of language conformity tests Download PDF

Info

Publication number
WO1999021404A3
WO1999021404A3 PCT/US1998/022708 US9822708W WO9921404A3 WO 1999021404 A3 WO1999021404 A3 WO 1999021404A3 US 9822708 W US9822708 W US 9822708W WO 9921404 A3 WO9921404 A3 WO 9921404A3
Authority
WO
WIPO (PCT)
Prior art keywords
application
semi
language
test
generation
Prior art date
Application number
PCT/US1998/022708
Other languages
French (fr)
Other versions
WO1999021404A9 (en
WO1999021404A2 (en
WO1999021404B1 (en
Inventor
John C Willis
Robert N Newshutz
Philip A Wilsey
Original Assignee
Ftl Systems 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 Ftl Systems Inc filed Critical Ftl Systems Inc
Priority to EP98957383A priority Critical patent/EP1027648B1/en
Publication of WO1999021404A2 publication Critical patent/WO1999021404A2/en
Publication of WO1999021404A3 publication Critical patent/WO1999021404A3/en
Publication of WO1999021404B1 publication Critical patent/WO1999021404B1/en
Publication of WO1999021404A9 publication Critical patent/WO1999021404A9/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)
  • Devices For Executing Special Programs (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

An apparatus and method for semi-automated generation and application of language conformity tests is disclosed. Generation is based on interpretative or compiled processing of a generator-oriented, formal language specification embodying lexical, syntactic and semantics aspects of a language standard as well as specific test strategies. Such test strategies control the order and extent of the test sequence generated and applied. Both test case generation and application of test cases may occur in parallel.
PCT/US1998/022708 1997-10-27 1998-10-27 Apparatus and method for semi-automated generation and application of language conformity tests WO1999021404A2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
EP98957383A EP1027648B1 (en) 1997-10-27 1998-10-27 Apparatus for semi-automated generation and application of language conformity tests

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US08/957,906 US6321376B1 (en) 1997-10-27 1997-10-27 Apparatus and method for semi-automated generation and application of language conformity tests
US08/957,906 1997-10-27

Publications (4)

Publication Number Publication Date
WO1999021404A2 WO1999021404A2 (en) 1999-05-06
WO1999021404A3 true WO1999021404A3 (en) 1999-07-08
WO1999021404B1 WO1999021404B1 (en) 1999-08-12
WO1999021404A9 WO1999021404A9 (en) 1999-09-16

Family

ID=25500331

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US1998/022708 WO1999021404A2 (en) 1997-10-27 1998-10-27 Apparatus and method for semi-automated generation and application of language conformity tests

Country Status (3)

Country Link
US (1) US6321376B1 (en)
EP (1) EP1027648B1 (en)
WO (1) WO1999021404A2 (en)

Families Citing this family (28)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2794543B1 (en) * 1999-06-04 2001-08-24 Gemplus Card Int MIGRATION OF DIFFERENT SOURCE LANGUAGES TO EXECUTION MEDIA
WO2001022228A1 (en) * 1999-09-17 2001-03-29 Nortel Networks Limited System and method for producing a verification system for verifying procedure interfaces
US6591413B1 (en) * 1999-10-07 2003-07-08 International Business Machines Corporation Method and apparatus in a data processing system for faster notification of errors in a software build
US7243090B2 (en) * 2001-05-16 2007-07-10 Sun Microsystems, Inc. System and method for specification tracking in a Java compatibility testing environment
US20030003432A1 (en) * 2001-05-16 2003-01-02 Kinzhalin Arzhan I System and method for automated assertion acquisition in a Java compatibility testing environment
US20030121025A1 (en) * 2001-09-05 2003-06-26 Eitan Farchi Method and system for combining multiple software test generators
US7539978B1 (en) * 2001-11-01 2009-05-26 Cigital, Inc. Method for understanding and testing third party software components
US7216338B2 (en) * 2002-02-20 2007-05-08 Microsoft Corporation Conformance execution of non-deterministic specifications for components
US20040025083A1 (en) * 2002-07-31 2004-02-05 Murthi Nanja Generating test code for software
SE524639C2 (en) * 2002-10-15 2004-09-07 Abb As Error detection in an industrial controller under safety-related control
US7278135B2 (en) * 2003-06-11 2007-10-02 Microsoft Corporation Method and system for generating an efficient test suite from a domain description with given constraints
US6928393B2 (en) * 2003-06-18 2005-08-09 Microsoft Corporation Method and system for supporting negative testing in combinatorial test case generators
US7293257B2 (en) * 2003-10-14 2007-11-06 Microsoft Corporation Method and system for efficient testing of sequences of computer-related operations
JP2005190038A (en) * 2003-12-25 2005-07-14 Hitachi Ltd Diagnostic processing method and diagnostic processing program for processor
DE102004041822A1 (en) * 2004-08-27 2006-03-02 Robert Bosch Gmbh Function unit for carrying out logical test cases on a test system coupled to a unit to be tested and corresponding method
US9075920B1 (en) * 2005-07-22 2015-07-07 Oracle America, Inc. Integrating software-tests with software development environments or tools that can assist software-testing
US20070240114A1 (en) * 2006-03-30 2007-10-11 Ugs Corp. Testing Transformed Interfaces
US7990867B1 (en) * 2007-05-03 2011-08-02 Xilinx, Inc. Pipeline for processing network packets
US8402438B1 (en) 2007-12-03 2013-03-19 Cadence Design Systems, Inc. Method and system for generating verification information and tests for software
US20090158255A1 (en) * 2007-12-18 2009-06-18 Electronics And Telecommunications Research Institute Test method and test device for unit code using unit test code
US8156474B2 (en) * 2007-12-28 2012-04-10 Cadence Design Systems, Inc. Automation of software verification
US8504344B2 (en) * 2008-09-30 2013-08-06 Cadence Design Systems, Inc. Interface between a verification environment and a hardware acceleration engine
WO2013092748A2 (en) 2011-12-21 2013-06-27 Renault S.A.S. Machine and process for assessing the behavior of the configurations of a component
US9323650B2 (en) * 2012-07-23 2016-04-26 Infosys Limited Methods for generating software test input data and devices thereof
US20150121343A1 (en) * 2013-10-25 2015-04-30 Microsoft Corporation Test impact analysis using cross reference data and metadata
CN104657267A (en) * 2015-02-10 2015-05-27 上海创景计算机系统有限公司 Elastic source code syntax tree resolving system and method
US10019244B1 (en) * 2016-09-28 2018-07-10 Amazon Technologies, Inc. Interpreting program code using a symbol table
US10409711B2 (en) * 2017-06-12 2019-09-10 International Business Machines Corporation Automatically running tests against WEB APIs based on specifications

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0204942A2 (en) * 1985-06-07 1986-12-17 International Business Machines Corporation Compiler for a source program, a method of making the same and its use
EP0772140A1 (en) * 1995-10-23 1997-05-07 Interuniversitair Micro-Elektronica Centrum Vzw A design environment and a design method for hardware/software co-design

Family Cites Families (14)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4729096A (en) * 1984-10-24 1988-03-01 International Business Machines Corporation Method and apparatus for generating a translator program for a compiler/interpreter and for testing the resulting translator program
US4736320A (en) * 1985-10-08 1988-04-05 Foxboro Company Computer language structure for process control applications, and translator therefor
US5394544A (en) * 1989-08-07 1995-02-28 Ricoh Co., Ltd. Software system debugger with distinct interrupt vector maps for debugging and application programs
US5159687A (en) * 1989-11-14 1992-10-27 Caseworks, Inc. Method and apparatus for generating program code files
US5193180A (en) * 1991-06-21 1993-03-09 Pure Software Inc. System for modifying relocatable object code files to monitor accesses to dynamically allocated memory
FR2684467B1 (en) 1991-11-29 1994-03-04 Sextant Avionique PROCESS FOR THE TEST AND, POSSIBLY, THE VALIDATION OF THE PRIMITIVES OF A REAL-TIME EXECUTIVE.
US5359546A (en) * 1992-06-30 1994-10-25 Sun Microsystems, Inc. Automatic generation of test drivers
NL9201182A (en) * 1992-07-02 1994-02-01 Nederland Ptt METHOD FOR AUTOMATICALLY GENERATING TEST STRINGS.
US5983012A (en) * 1993-09-28 1999-11-09 Bull Hn Information Systems Inc. Executing programs of a first system on a second system
US5604895A (en) 1994-02-22 1997-02-18 Motorola Inc. Method and apparatus for inserting computer code into a high level language (HLL) software model of an electrical circuit to monitor test coverage of the software model when exposed to test inputs
US5768593A (en) * 1996-03-22 1998-06-16 Connectix Corporation Dynamic cross-compilation system and method
US5754860A (en) * 1996-07-23 1998-05-19 Digital Equipment Corporation Method and apparatus for software testing using a differential testing technique to test compilers
US6117185A (en) * 1997-09-24 2000-09-12 International Business Machines Corporation Skip list data storage during compilation
US6230182B1 (en) * 1998-07-08 2001-05-08 Hewlett-Packard Company Computer language interpreter which can perform time-consuming operations with minimal impact on interactive programs

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0204942A2 (en) * 1985-06-07 1986-12-17 International Business Machines Corporation Compiler for a source program, a method of making the same and its use
EP0772140A1 (en) * 1995-10-23 1997-05-07 Interuniversitair Micro-Elektronica Centrum Vzw A design environment and a design method for hardware/software co-design

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
BARBER M E: "PARSLEY: A NEW COMPILER-COMPILER", CONFERENCE ON SOFTWARE DEVELOPMENT TOOLS, TECHNIQUES AND ALTERNATIVES, 25 July 1983 (1983-07-25), pages 232 - 241, XP000578639 *

Also Published As

Publication number Publication date
WO1999021404A9 (en) 1999-09-16
WO1999021404A2 (en) 1999-05-06
WO1999021404B1 (en) 1999-08-12
EP1027648A2 (en) 2000-08-16
EP1027648B1 (en) 2007-12-12
US6321376B1 (en) 2001-11-20

Similar Documents

Publication Publication Date Title
WO1999021404A3 (en) Apparatus and method for semi-automated generation and application of language conformity tests
EP0932120A3 (en) Method of simulating the creation of an artist's drawing or painting, and device for accomplishing same
AU5244598A (en) Browse by prompted keyword phrases with an improved method for obtaining an initial document set
AU2292095A (en) Architecture and methods for a hardware description language source level analysis and debugging system
AU9209598A (en) Method and device for parsing natural language sentences and other sequential symbolic expressions
EP0656731A3 (en) Method and system for testing the performance of at least one electro-optical test device.
AUPM519694A0 (en) Method for testing and debugging computer programs
TW238415B (en) Test method for predicting hot-carrier induced leakage over time in short-channel igfets and products designed in accordance with test results
AU9104798A (en) Methods for selecting, developing and improving diagnostic tests for pregnancy-related conditions
EP1009981A4 (en) Verification device for optical clinical assay systems
WO2000023911A3 (en) Automatic data formatting using a hypertext language
WO1997038390A3 (en) Browse by prompted keyword phrases
WO2003017053A3 (en) Test enabled application execution
WO1998006746A3 (en) Melanoma cell lines expressing shared immunodominant melanoma antigens and methods of using same
WO2000016178A3 (en) Analytic network engine and spreadsheet interface system
WO2000029927A3 (en) A method and system for loading instructions into an executing process
AU2316297A (en) Method for selecting medical and biochemical diagnostic tests using neural network-related applications
AU1121700A (en) Generating a nonlinear model and generating drive signals for simulation testingusing the same
WO2001043625A3 (en) Fixation system and method
CA2061298A1 (en) Method for detecting critical failures during the building of complex computer programs from source code parts
WO2003012679A1 (en) Data processing method, data processing system, and program
IL142572A0 (en) Method for determining differences between two or more models
AU4199296A (en) Method and apparatus for universal national language support program testing
NO942321D0 (en) Methanol refining column, and method of refining methanol
AU4644797A (en) Method and system for identifying the source of documents generated by software

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A2

Designated state(s): JP

AL Designated countries for regional patents

Kind code of ref document: A2

Designated state(s): AT BE CH CY DE DK ES FI FR GB GR IE IT LU MC NL PT SE

AK Designated states

Kind code of ref document: A3

Designated state(s): JP

AL Designated countries for regional patents

Kind code of ref document: A3

Designated state(s): AT BE CH CY DE DK ES FI FR GB GR IE IT LU MC NL PT SE

121 Ep: the epo has been informed by wipo that ep was designated in this application
AK Designated states

Kind code of ref document: B1

Designated state(s): JP

AL Designated countries for regional patents

Kind code of ref document: B1

Designated state(s): AT BE CH CY DE DK ES FI FR GB GR IE IT LU MC NL PT SE

DFPE Request for preliminary examination filed prior to expiration of 19th month from priority date (pct application filed before 20040101)
AK Designated states

Kind code of ref document: C2

Designated state(s): JP

AL Designated countries for regional patents

Kind code of ref document: C2

Designated state(s): AT BE CH CY DE DK ES FI FR GB GR IE IT LU MC NL PT SE

COP Corrected version of pamphlet

Free format text: PAGES 1/4-4/4, DRAWINGS, REPLACED BY NEW PAGES 1/4-4/4; DUE TO LATE TRANSMITTAL BY THE RECEIVING OFFICE

WWE Wipo information: entry into national phase

Ref document number: 1998957383

Country of ref document: EP

WWP Wipo information: published in national office

Ref document number: 1998957383

Country of ref document: EP

WWG Wipo information: grant in national office

Ref document number: 1998957383

Country of ref document: EP