[go: up one dir, main page]

Grabowski et al., 2002 - Google Patents

SDL-and MSC-based specification and automated test case generation for INAP

Grabowski et al., 2002

View PDF
Document ID
9133935664499780788
Author
Grabowski J
Hogrefe D
Publication year
Publication venue
Telecommunication Systems

External Links

Snippet

The development of the Core INAP CS-2 standard and the corresponding conformance test suites by expert teams at the European Telecommunications Standards Institute (ETSI) are historical breakthroughs for the use of SDL and MSC within the international …
Continue reading at www.academia.edu (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL 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
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04Q—SELECTING
    • H04Q3/00—Selecting arrangements
    • H04Q3/0016—Arrangements providing connection between exchanges
    • H04Q3/0029—Provisions for intelligent networking
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04M—TELEPHONIC COMMUNICATION
    • H04M3/00—Automatic or semi-automatic exchanges
    • H04M3/22—Supervisory, monitoring, management, i.e. operation, administration, maintenance or testing arrangements
    • H04M3/24—Supervisory, monitoring, management, i.e. operation, administration, maintenance or testing arrangements with provision for checking the normal operation
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04Q—SELECTING
    • H04Q3/00—Selecting arrangements
    • H04Q3/42—Circuit arrangements for indirect selecting controlled by common circuits, e.g. register controller, marker
    • 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
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04M—TELEPHONIC COMMUNICATION
    • H04M3/00—Automatic or semi-automatic exchanges
    • H04M3/22—Supervisory, monitoring, management, i.e. operation, administration, maintenance or testing arrangements
    • H04M3/2254—Supervisory, monitoring, management, i.e. operation, administration, maintenance or testing arrangements in networks

Similar Documents

Publication Publication Date Title
Coen-Porisini et al. Specification of realtime systems using ASTRAL
Amyot et al. Use case maps for the capture and validation of distributed systems requirements
Amyot et al. On the extension of UML with use case maps concepts
Lin et al. A building block approach to detecting and resolving feature interactions
Combes et al. Formalisation of a user view of network and services for feature interaction detection.
Ichikawa et al. SDE: Incremental specification and development of communications software
Bosco et al. A laboratory for AIN service design and validation
Amyot et al. Use Case Maps and Lotos for the prototyping and validation of a mobile group call system
Grabowski et al. SDL-and MSC-based specification and automated test case generation for INAP
Calder et al. Hybrid approach to software interworking problems: managing interactions between legacy and evolving telecommunications software
Logrippo et al. The algebraic specification language lotos: an industrial experience
Bræk et al. SDL'95 with MSC in case
Combes et al. Service validation
Bruns et al. Features as service transformers
Grabowski et al. The standardization of Core INAP CS-2 by ETSI
Forghani et al. Semi-automatic test suite generation from Estelle
Kristoffersen et al. TTCN: Towards a formal semantics and validation of test suites
Dietrich et al. Formal methods for communication services: meeting the industry expectations
Ng Supporting service development for intelligent networks
Boroday et al. Techniques for Abstracting SDL Specifications
KR100237002B1 (en) Method for generating abstract test suite in advanced network switching system
Ghribi A model checker for LOTOS.
Boullier et al. Evaluation of some test generation tools on a real protocol example
Naik et al. Test case verification by model checking
Etique et al. Service specification and validation for the intelligent network