منابع مشابه
On the testability of SDL specifications
The problem of testing from an SDL specification is often complicated by the presence of infeasible paths. This paper introduces an approach for transforming a class of SDL specification in order to eliminate or reduce the infeasible path problem. This approach is divided into two phases in order to aid generality. First the SDL specification is rewritten to create a normal form extended finite...
متن کاملEnriching SDL Specifications with MSCs
Abstract Software systems evolve through addition of new behaviors and new components to the existing behavior and architecture. In this paper, we address the issue of enriching automatically SDL specifications with new behaviors specified with MSCs. The new behaviors should not inhibit (invalidate) existing and already validated behavior. In other words, the existing behavior should be preserv...
متن کاملValidating SDL Specifications: an Experiment
This paper describes a method for validating specifications written in the CCITT language SDL. The method has been implemented as part of an experimental validation system. With the experimental system we have been able to perform exhaustive analyses of systems with over 250 million reachable composite system states. The practicality of the tool for the analysis of substantial portions of AT&T'...
متن کاملTechniques for Abstracting SDL Specifications
Abstracting the behaviour of a specification is a key technique for dealing with the complexity of such tasks as reachability analysis and test generation. We adapted classical data-flow analysis techniques to abstract variables in SDL processes and addressed the problem of finding conservative state abstractions. Prototype tools have been developed to implement those techniques and applied to ...
متن کاملImplementation Independent Profiling of SDL Specifications
The Specification and Description Language (SDL) is a worldwide accepted standard for development of new protocols, e.g. an increasing number of IEEE protocol standards uses SDL. Especially for mobile devices it is important that the protocol implementation is as energy efficient as possible. This cannot be achieved with a straight forward code generation from SDL to a target language as for ex...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Networks
سال: 2004
ISSN: 1389-1286
DOI: 10.1016/j.comnet.2003.06.001