SE501768C2 - Förfarande och anordning för provning av tjänster i telekommunikationssystem - Google Patents

Förfarande och anordning för provning av tjänster i telekommunikationssystem

Info

Publication number
SE501768C2
SE501768C2 SE9203817A SE9203817A SE501768C2 SE 501768 C2 SE501768 C2 SE 501768C2 SE 9203817 A SE9203817 A SE 9203817A SE 9203817 A SE9203817 A SE 9203817A SE 501768 C2 SE501768 C2 SE 501768C2
Authority
SE
Sweden
Prior art keywords
description
specification language
service
services
total
Prior art date
Application number
SE9203817A
Other languages
English (en)
Swedish (sv)
Other versions
SE9203817L (sv
SE9203817D0 (sv
Inventor
Anders Ek
Lennart Maansson
Original Assignee
Televerket
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 Televerket filed Critical Televerket
Priority to SE9203817A priority Critical patent/SE501768C2/sv
Publication of SE9203817D0 publication Critical patent/SE9203817D0/xx
Priority to PCT/SE1993/000952 priority patent/WO1994015429A1/fr
Priority to US08/454,153 priority patent/US5632014A/en
Priority to EP94903188A priority patent/EP0676111B1/fr
Priority to DE69333420T priority patent/DE69333420T2/de
Publication of SE9203817L publication Critical patent/SE9203817L/xx
Publication of SE501768C2 publication Critical patent/SE501768C2/sv

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04M—TELEPHONIC COMMUNICATION
    • H04M3/00—Automatic or semi-automatic exchanges
    • H04M3/22—Arrangements for supervision, monitoring or testing
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04M—TELEPHONIC COMMUNICATION
    • H04M3/00—Automatic or semi-automatic exchanges
    • H04M3/42—Systems providing special services or facilities to subscribers

Landscapes

  • Engineering & Computer Science (AREA)
  • Signal Processing (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • General Physics & Mathematics (AREA)
  • Software Systems (AREA)
  • Exchange Systems With Centralized Control (AREA)
  • Monitoring And Testing Of Exchanges (AREA)
  • Telephonic Communication Services (AREA)
  • Stored Programmes (AREA)
SE9203817A 1992-12-18 1992-12-18 Förfarande och anordning för provning av tjänster i telekommunikationssystem SE501768C2 (sv)

Priority Applications (5)

Application Number Priority Date Filing Date Title
SE9203817A SE501768C2 (sv) 1992-12-18 1992-12-18 Förfarande och anordning för provning av tjänster i telekommunikationssystem
PCT/SE1993/000952 WO1994015429A1 (fr) 1992-12-18 1993-11-10 Procede et agencement permettant de tester les services d'un systeme de telecommunications
US08/454,153 US5632014A (en) 1992-12-18 1993-11-10 Method and arrangement for testing services in a telecommunications system
EP94903188A EP0676111B1 (fr) 1992-12-18 1993-11-10 Procede et agencement permettant de tester les services d'un systeme de telecommunications
DE69333420T DE69333420T2 (de) 1992-12-18 1993-11-10 Verfahren und anordnung zum testen von diensten in einem telekommunikationssystem

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
SE9203817A SE501768C2 (sv) 1992-12-18 1992-12-18 Förfarande och anordning för provning av tjänster i telekommunikationssystem

Publications (3)

Publication Number Publication Date
SE9203817D0 SE9203817D0 (sv) 1992-12-18
SE9203817L SE9203817L (sv) 1994-06-19
SE501768C2 true SE501768C2 (sv) 1995-05-08

Family

ID=20388168

Family Applications (1)

Application Number Title Priority Date Filing Date
SE9203817A SE501768C2 (sv) 1992-12-18 1992-12-18 Förfarande och anordning för provning av tjänster i telekommunikationssystem

Country Status (5)

Country Link
US (1) US5632014A (fr)
EP (1) EP0676111B1 (fr)
DE (1) DE69333420T2 (fr)
SE (1) SE501768C2 (fr)
WO (1) WO1994015429A1 (fr)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
SE502423C2 (sv) * 1994-02-15 1995-10-16 Ellemtel Utvecklings Ab System för hantering av interaktion mellan tilläggstjänster i ett telekommunikationssystem
US6487676B1 (en) * 1996-07-19 2002-11-26 Telefonaktiebolaget Lm Ericsson (Publ) Validation of procedures
GB2415270A (en) * 2004-06-16 2005-12-21 Argo Interactive Ltd A method of generating a test routine

Family Cites Families (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5323452A (en) * 1990-12-18 1994-06-21 Bell Communications Research, Inc. Visual programming of telephone network call processing logic
EP0572439A1 (fr) * 1990-12-18 1993-12-08 Bell Communications Research, Inc. Systemes et procedes pour specifier des services de telecommunication personnalises
US5359649A (en) * 1991-10-02 1994-10-25 Telefonaktiebolaget L M Ericsson Congestion tuning of telecommunications networks
US5410586A (en) * 1992-04-10 1995-04-25 Mci Communications Corporation Method for analyzing an IDNX network
US5450480A (en) * 1992-08-25 1995-09-12 Bell Communications Research, Inc. Method of creating a telecommunication service specification
US5511116A (en) * 1992-08-25 1996-04-23 Bell Communications Research Inc. Method of creating and accessing value tables in a telecommunication service creation and execution environment
WO1994005112A1 (fr) * 1992-08-25 1994-03-03 Bell Communications Research, Inc. Systeme et procede pour creer, transferer, et controler des prestations dans un systeme de telecommunications
CA2099737C (fr) * 1992-09-08 1997-08-19 Terrence Kent Barrington Systeme de verification d'elements de reseau de communication
US5440719A (en) * 1992-10-27 1995-08-08 Cadence Design Systems, Inc. Method simulating data traffic on network in accordance with a client/sewer paradigm

Also Published As

Publication number Publication date
SE9203817L (sv) 1994-06-19
US5632014A (en) 1997-05-20
SE9203817D0 (sv) 1992-12-18
EP0676111A1 (fr) 1995-10-11
WO1994015429A1 (fr) 1994-07-07
DE69333420T2 (de) 2005-03-03
EP0676111B1 (fr) 2004-02-18
DE69333420D1 (de) 2004-03-25

Similar Documents

Publication Publication Date Title
EP1027648B1 (fr) Dispositif de generation et d'application semi-automatisees d'essais de conformite de langage
CN105094939B (zh) 一种基于Makefile自动编译技术实现的软件源文件静态分析方法
CN104796240A (zh) 一种有状态网络协议的模糊测试系统
US7529648B2 (en) Method, system and computer program product for automatically generating a subset of task-based components from engineering and maintenance data
Rudin An informal overview of formal protocol specification
Hughes et al. Linear exponentials as graded modal types
KR970701470A (ko) 보충 서비스들간의 상호작용의 취급 시스템(handling of interaction between supplementary services)
SE501768C2 (sv) Förfarande och anordning för provning av tjänster i telekommunikationssystem
US7680636B2 (en) System and method of generating equation-level diagnostic error messages for use in circuit simulation
Robert et al. Deriving an SDL specification with a given architecture from a set of MSCs
CN105930453A (zh) 重复性分析方法及装置
Singh et al. Stateflow to tabular expressions
Mayr et al. Prototyping interactive application systems
Derrick et al. Testing refinements by refining tests
Rahmani et al. Rapid prototyping via automatic software code generation from formal specifications: a case study
Karjoth XFSM: A formal model of communicating state machines for implementation specifications
Sjöstrand et al. Pythia 8 worksheet
Toleman et al. Can design choices for language-based editors be analysed with keystroke-level models?
CN106775854A (zh) 一种生成配置文件的方法和装置
Takagi et al. Behavioral Modeling Technique for Multiple Objects of Software Using Extended Place/Transition Nets with Attributed Tokens
Basinger et al. The 5ESS switching system: system development environment
Ofsthun An approach to intelligent integrated diagnostic design tools
Xu et al. Model checking web services choreography in process analysis toolkit
O'halloran The Software Repeater (An Exercise in Z Specification).
Rader et al. Supporting systems engineering with methods and tools: a case study

Legal Events

Date Code Title Description
NUG Patent has lapsed