DE69900810D1 - Verfahren und Vorrichtung zum Testen von ereignisgesteuerten Programmen - Google Patents

Verfahren und Vorrichtung zum Testen von ereignisgesteuerten Programmen

Info

Publication number
DE69900810D1
DE69900810D1 DE69900810T DE69900810T DE69900810D1 DE 69900810 D1 DE69900810 D1 DE 69900810D1 DE 69900810 T DE69900810 T DE 69900810T DE 69900810 T DE69900810 T DE 69900810T DE 69900810 D1 DE69900810 D1 DE 69900810D1
Authority
DE
Germany
Prior art keywords
testing event
controlled programs
programs
controlled
testing
Prior art date
Legal status (The legal status 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 status listed.)
Expired - Lifetime
Application number
DE69900810T
Other languages
English (en)
Other versions
DE69900810T2 (de
Inventor
Gerard Joan Holzmann
Thompson Kenneth Lane
Philip Steven Winterbottom
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Nokia of America Corp
Original Assignee
Lucent Technologies 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 Lucent Technologies Inc filed Critical Lucent Technologies Inc
Application granted granted Critical
Publication of DE69900810D1 publication Critical patent/DE69900810D1/de
Publication of DE69900810T2 publication Critical patent/DE69900810T2/de
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

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/3604—Software analysis for verifying properties of programs
    • G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • 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/3688—Test management for test execution, e.g. scheduling of test suites
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/43—Checking; Contextual analysis
    • G06F8/436—Semantic checking

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Software Systems (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Computational Linguistics (AREA)
  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)
DE69900810T 1998-12-15 1999-12-07 Verfahren und Vorrichtung zum Testen von ereignisgesteuerten Programmen Expired - Lifetime DE69900810T2 (de)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
US09/211,967 US6353896B1 (en) 1998-12-15 1998-12-15 Method and apparatus for testing event driven software

Publications (2)

Publication Number Publication Date
DE69900810D1 true DE69900810D1 (de) 2002-03-14
DE69900810T2 DE69900810T2 (de) 2002-08-29

Family

ID=22788997

Family Applications (1)

Application Number Title Priority Date Filing Date
DE69900810T Expired - Lifetime DE69900810T2 (de) 1998-12-15 1999-12-07 Verfahren und Vorrichtung zum Testen von ereignisgesteuerten Programmen

Country Status (5)

Country Link
US (1) US6353896B1 (de)
EP (1) EP1014265B1 (de)
JP (1) JP3631647B2 (de)
CA (1) CA2288378A1 (de)
DE (1) DE69900810T2 (de)

Families Citing this family (50)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7181725B1 (en) * 1998-06-26 2007-02-20 Deutsche Telekom Ag Method for verifying safety properties of java byte code programs
US6981215B1 (en) 1998-12-31 2005-12-27 Microsoft Corp. System for converting event-driven code into serially executed code
US6889379B1 (en) * 1998-12-31 2005-05-03 Microsoft Corporation Transporting objects between a client and a server
AU763141B2 (en) * 1999-04-19 2003-07-17 Motorola Australia Pty Ltd A method of detecting illegal sequences of code execution
US6691078B1 (en) * 1999-07-29 2004-02-10 International Business Machines Corporation Target design model behavior explorer
US6499136B1 (en) * 1999-11-10 2002-12-24 Lucent Technologies Inc. Single-shot entry code for software state transition
US20010037492A1 (en) * 2000-03-16 2001-11-01 Holzmann Gerard J. Method and apparatus for automatically extracting verification models
SE522408C2 (sv) 2000-04-27 2004-02-10 Microsoft Corp Datorprogram och förfarande för automatiserad testning av en dators funktionalitet
US20020100022A1 (en) * 2000-05-08 2002-07-25 Holzmann Gerard J. Method and apparatus for automatic verification of properties of a concurrent software system
US7213230B2 (en) * 2000-12-28 2007-05-01 Yeda Research And Development Co. Ltd. Playing scenarios of system behavior
SE518751C2 (sv) 2001-01-03 2002-11-19 Microsoft Corp Metod och system där en extern server erhåller information om enskilda mobila terminalers radioöverföringskapacitet
US7117484B2 (en) * 2002-04-16 2006-10-03 International Business Machines Corporation Recursive use of model based test generation for middleware validation
US20040013250A1 (en) * 2002-07-22 2004-01-22 Sreekrishna Kotnur System and method of tracking component object requests
US7334219B2 (en) * 2002-09-30 2008-02-19 Ensco, Inc. Method and system for object level software testing
US7493603B2 (en) * 2002-10-15 2009-02-17 International Business Machines Corporation Annotated automaton encoding of XML schema for high performance schema validation
US7543274B2 (en) 2003-12-22 2009-06-02 The United States Of America As Represented By The Administrator Of The National Aeronautics And Space Administration System and method for deriving a process-based specification
US7437374B2 (en) * 2004-02-10 2008-10-14 International Business Machines Corporation Efficient XML schema validation of XML fragments using annotated automaton encoding
US20050177578A1 (en) * 2004-02-10 2005-08-11 Chen Yao-Ching S. Efficient type annontation of XML schema-validated XML documents without schema validation
US7412699B2 (en) * 2004-04-14 2008-08-12 International Business Machines Corporation Using behavioral annotations in source code to build middleware applications
US20060020920A1 (en) * 2004-07-26 2006-01-26 Daven Walt Septon Methods and apparatus for providing automated test equipment with a means to jump between tests in a test program
US20060020413A1 (en) * 2004-07-26 2006-01-26 Septon Daven W Methods and apparatus for providing automated test equipment with a means to jump and return in a test program
US7703082B2 (en) * 2004-12-07 2010-04-20 International Business Machines Corporation Controlling user intervention in a multi-processing computer system
US7861239B2 (en) * 2005-05-23 2010-12-28 International Business Machines Corporation Data migration between versions of software
US7647219B2 (en) * 2005-07-11 2010-01-12 Texas Instruments Incorporated Event-driven test framework
JP2007079954A (ja) 2005-09-14 2007-03-29 Sony Corp 情報処理方法および装置、記録媒体、並びにプログラム
US20070101196A1 (en) * 2005-11-01 2007-05-03 Rogers William A Functional testing and verification of software application
US20070245327A1 (en) * 2006-04-17 2007-10-18 Honeywell International Inc. Method and System for Producing Process Flow Models from Source Code
US7631227B2 (en) * 2006-11-21 2009-12-08 Etaliq Inc. Automated testing and control of networked devices
US7917900B2 (en) 2007-03-30 2011-03-29 Microsoft Corporation Enabling analysis of software source code
US8161496B2 (en) * 2007-07-31 2012-04-17 Microsoft Corporation Positive and negative event-based testing
US9026394B2 (en) * 2007-10-08 2015-05-05 Wurldtech Security Technologies Testing and mitigation framework for networked devices
US8600007B2 (en) * 2008-11-24 2013-12-03 Tekelec Global, Inc. Systems, methods, and computer readable media for providing toll-free service in a telecommunications network
US9712341B2 (en) 2009-01-16 2017-07-18 Tekelec, Inc. Methods, systems, and computer readable media for providing E.164 number mapping (ENUM) translation at a bearer independent call control (BICC) and/or session intiation protocol (SIP) router
US8453117B2 (en) * 2010-03-09 2013-05-28 Fujitsu Limited Providing software validation as a service
US8683451B1 (en) 2010-04-30 2014-03-25 The United States Of America As Represented By The Secretary Of The Navy System and method for translating software code
JP2012059026A (ja) * 2010-09-09 2012-03-22 Hitachi Ltd ソースコード変換方法およびソースコード変換プログラム
US9027002B2 (en) 2010-10-27 2015-05-05 Hitachi, Ltd. Method of converting source code and source code conversion program
US9043746B2 (en) 2011-03-07 2015-05-26 International Business Machines Corporation Conducting verification in event processing applications using formal methods
US8990770B2 (en) 2011-05-25 2015-03-24 Honeywell International Inc. Systems and methods to configure condition based health maintenance systems
JP5643971B2 (ja) * 2011-12-01 2014-12-24 株式会社日立製作所 ソースコード変換方法及びソースコード変換プログラム
DE112012006107B4 (de) * 2012-03-26 2015-12-03 Mitsubishi Electric Corp. Sequenzprogramm-Fehlerbehebungs-Hilfsvorrichtung
US8832649B2 (en) 2012-05-22 2014-09-09 Honeywell International Inc. Systems and methods for augmenting the functionality of a monitoring node without recompiling
US8832716B2 (en) * 2012-08-10 2014-09-09 Honeywell International Inc. Systems and methods for limiting user customization of task workflow in a condition based health maintenance system
US9037920B2 (en) 2012-09-28 2015-05-19 Honeywell International Inc. Method for performing condition based data acquisition in a hierarchically distributed condition based maintenance system
US20140282414A1 (en) * 2013-03-14 2014-09-18 Cadence Design Systems, Inc. Method and system for debugging of a program
WO2015170382A1 (ja) * 2014-05-08 2015-11-12 三菱電機株式会社 エンジニアリングツール、プログラム編集装置およびプログラム編集システム
US9892027B2 (en) * 2014-07-09 2018-02-13 Fujitsu Limited Event-driven software testing
US9646257B2 (en) * 2014-09-03 2017-05-09 Microsoft Technology Licensing, Llc Probabilistic assertions and verifying them
KR102180592B1 (ko) * 2018-12-14 2020-11-18 주식회사 엘지씨엔에스 It 시스템 검증 방법 및 시스템
CN113010158B (zh) * 2021-03-18 2022-09-06 中国科学技术大学 纯状态的触发动作编程范式到事件驱动系统的转换方法

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5522073A (en) * 1993-11-22 1996-05-28 Hewlett-Packard Company Method and apparatus for automating and controlling execution of software tools and tool sets via when/then relationships
CA2147536A1 (en) 1994-06-01 1995-12-02 Gerard Johan Holzmann On-the-fly model checking with partial-order state space reduction
JP2692609B2 (ja) * 1994-09-26 1997-12-17 日本電気株式会社 マルチタスクのプログラムデバッグ方法とその装置
US6158031A (en) * 1998-09-08 2000-12-05 Lucent Technologies, Inc. Automated code generating translator for testing telecommunication system devices and method

Also Published As

Publication number Publication date
DE69900810T2 (de) 2002-08-29
CA2288378A1 (en) 2000-06-15
EP1014265A1 (de) 2000-06-28
JP2000181750A (ja) 2000-06-30
JP3631647B2 (ja) 2005-03-23
EP1014265B1 (de) 2002-01-23
US6353896B1 (en) 2002-03-05

Similar Documents

Publication Publication Date Title
DE69900810D1 (de) Verfahren und Vorrichtung zum Testen von ereignisgesteuerten Programmen
DE69700499D1 (de) Vorrichtung und verfahren zum nachweis mehrerer analyten
DE69718917D1 (de) Verfahren und vorrichtung zum nachweis von mikrofehlern in halbleitern
DE69922687D1 (de) Verfahren und vorrichtung zum montieren von bauteilen
DE19882120T1 (de) Vorrichtung und Verfahren zum Überwachen von Händewaschen
DE69736811D1 (de) Verfahren und vorrichtung zum lokalisieren von kortikalverbindungen
DE69834862D1 (de) Verfahren und Vorrichtung zum Ausrichten von Gegenständen
DE69941455D1 (de) Verfahren und vorrichtung zum überprüfen von münzen
DE69717824D1 (de) Verfahren und vorrichtung zum software-test
DE69704997D1 (de) Verfahren und Vorrichtung zum Netzen von Getreide
DE69924024D1 (de) Verfahren und vorrichtung zum entfernen von gussgraten
DE69821416D1 (de) Verfahren und Vorrichtung zum Dispergieren
DE59904156D1 (de) Verfahren und vorrichtung zum füllen von kartons
DE69726854D1 (de) Verfahren und vorrichtung zum erkennen von herzschlag
DE69906537D1 (de) Vorrichtung und verfahren zum streckformen
DE69928780D1 (de) Verfahren und vorrichtung zum formationstesten
DE69804120D1 (de) Verfahren und vorrichtung zum überwachen von räumen
DE59900963D1 (de) Verfahren und vorrichtung zum bearbeiten von substraten
DE69933607T8 (de) Verfahren und Vorrichtung zum Auftragen von Proben
DE19980807D2 (de) Verfahren und Vorrichtung zum Prüfen von Schraubverbindungen
DE19980796D2 (de) Verfahren und Vorrichtung zum Herstellen und Prüfen von Schraubverbindungen
DE69819532D1 (de) Verfahren und vorrichtung zum überprüfen von münzen
DE69919395D1 (de) Vorrichtung und verfahren zum austausch von skalpellklingen
ATE196378T1 (de) Vorrichtung und verfahren zum prüfen von münzen
DE69831295D1 (de) Verfahren und Vorrichtung zum Programmladen

Legal Events

Date Code Title Description
8364 No opposition during term of opposition