Papers by Rachida Dssouli
The cost of the test activity constitutes an important part of the total development cost. To mak... more The cost of the test activity constitutes an important part of the total development cost. To make test easier (cost, time, and efforts), the consideration of test problems before the implementation phase is now necessary. This early consideration is known as Design for testability (DFT). The design of testable software does not consist solely in applying methods that improve the testability but also to verify if the degree of testability of the new obtained product is acceptable. This activity can be carried out using testability evaluation and a set of appropriate transformations. We propose a method based on the modeling of software by relations. The testability of a given specification is defined as a set of factors that influence the tests. These factors are evaluated separately and their values are gathered in a vector called the testability vector. The evaluation is based on the properties of a relation such as determinism, definissability, and informability. The method is us...
Information and Software Technology, 1999
To deal with the increased complexity related to the testing of communications software, we propo... more To deal with the increased complexity related to the testing of communications software, we propose the integration and application of finite state machine based specification transformations and testability measures early in the communications software development process. Based on this integration, the testability of a given design is estimated and appropriate specification transformations are defined and applied iteratively to enhance the testability of the product implementation. ᭧
1999 IEEE International Conference on Communications (Cat. No. 99CH36311), 1999
There is growing consensus that some design principles are needed to overcome the ever increasing... more There is growing consensus that some design principles are needed to overcome the ever increasing complexity in verifying and testing software in order to build more reliable systems. Design for testability (DFT) is the process of applying techniques and methods during the design ...
Proceedings IEEE International Symposium on Computers and Communications (Cat. No.PR00250), 1999
It is well known that the tests and diagnostics influence greatly the communication software reli... more It is well known that the tests and diagnostics influence greatly the communication software reliability. The testability and the easiness of the diagnostic process of communication software are becoming a major concern of the design community. The fault detection and the fault localization problems are strongly related issues. The easiness of diagnostics can be seen as a criteria of testability, it is in fact characterized by specific requirements at the design level. In this paper, we will make a clear link between these two issues and we will study the influence of some testability factors on the diagnostic activity. We will present our results and hints on "diagnosablility" in the context of finite state machine model.
Big Data distribution has benefited from the Cloud
resources to accommodate application’s QoS req... more Big Data distribution has benefited from the Cloud
resources to accommodate application’s QoS requirements. In
this paper, we propose Big Data distribution scheme that matches
the Cloud available resources to guarantee application’s QoS
given the continuously dynamic and varying resources of the
Cloud infrastructure. We developed Two-Level QoS Policies
(TLPS) for selecting clusters and nodes while satisfying the
client’s application QoS. We also proposed an adaptive data
distribution algorithm to cope with changing QoS requirements.
Experiments have been conducted to evaluate both the
effectiveness and the communication overhead of our proposed
distribution scheme and the results we have reported are
convincing. Other experiments evaluated our TLPS algorithm
against other single-based QoS data distribution algorithms and
the results show that TLPS algorithm adapts to the customer
QoS requirements.
This paper presents an incremental method for automatic executable test case and test sequence ge... more This paper presents an incremental method for automatic executable test case and test sequence generation for a protocol modeled as communicating extended finite state machines (CEFSMs) with asynchronous communication. Instead of testing the protocol by computing the product of all CEFSMs, we test it by incrementally computing a partial product for each CEFSM C, taking into account only transitions which influence (or are influenced by) C, and generating test cases for it. The partial product for C represents the behavior of C when composed with parts of the other CEFSMs. Experimental results show that this method can be applied to systems of practical size. We also propose a method which reduces the size of the product machine for certain systems.
This paper presents a method for automatic executable test case and test sequence generation whic... more This paper presents a method for automatic executable test case and test sequence generation which combines both control and data flow testing techniques. Compared to published methods, we use an early executability verification mechanism to reduce significantly the number of discarded paths. A heuristic which uses cycle analysis is used to handle the executability problem. This heuristic can be applied even in the presence of unbounded loops in the specification. Later, the generated paths are completed by postambles and their executability is re-verified. The final executable paths are evaluated symbolically and used for conformance testing purposes.
The present work addresses the problem of conformance testing for EFSM-based systems and especial... more The present work addresses the problem of conformance testing for EFSM-based systems and especially, the problem of automatically generating executable test cases. First, the most important description methods are presented. Then, the test generation methods for FSM (finite state machines)-based systems are described. However, since systems are more understood as extended finite state machines (EFSMs), existing test generation methods for
Mobile ad hoc networks (MANETs) are of primary interest as new networks because of their flexibil... more Mobile ad hoc networks (MANETs) are of primary interest as new networks because of their flexibility. The Session Initiation Protocol (SIP) is the main signaling system in 3G and SIP servlets the main service provisioning framework. SIP is now being considered as a basis for signaling in MANETs. This makes the SIP servlets framework a chief candidate for service provisioning
IFIP Advances in Information and Communication Technology, 1995
IFIP Advances in Information and Communication Technology, 1995
ABSTRACT Abstract Approaches to a functional and a computational architecture for distributed mul... more ABSTRACT Abstract Approaches to a functional and a computational architecture for distributed multimedia presentational applications are developed. These approaches are illustrated by a case study, a multimedia news-on-demand service. The concept of Quality of Service (QoS) parameters is seen to determine the new characteristics of distributed multimedia applications. Accordingly the computational architecture for distributed multimedia presentational applications is devel- oped in a QoS driven way within the the framework ,of the Reference Model of Open ,Dis- tributed Processing. The concept of QoS interfaces is introduced in order to handle,the QoS negotiation in a general and generic way. Objects in a distributed multimedia application can negotiate their QoS parameters through these QoS interfaces. Using this approach, variants of QoS negotiation protocols are investigated. Ke yword Codes: C.2.2; H.5.1
Formal Techniques for Networked and Distributed Systems, 1995
Protocol Specification, Testing and Verification, 1986
Proceedings of Fourth International Conference on Computer Communications and Networks - IC3N'95, 1995
ABSTRACT
Uploads
Papers by Rachida Dssouli
resources to accommodate application’s QoS requirements. In
this paper, we propose Big Data distribution scheme that matches
the Cloud available resources to guarantee application’s QoS
given the continuously dynamic and varying resources of the
Cloud infrastructure. We developed Two-Level QoS Policies
(TLPS) for selecting clusters and nodes while satisfying the
client’s application QoS. We also proposed an adaptive data
distribution algorithm to cope with changing QoS requirements.
Experiments have been conducted to evaluate both the
effectiveness and the communication overhead of our proposed
distribution scheme and the results we have reported are
convincing. Other experiments evaluated our TLPS algorithm
against other single-based QoS data distribution algorithms and
the results show that TLPS algorithm adapts to the customer
QoS requirements.
resources to accommodate application’s QoS requirements. In
this paper, we propose Big Data distribution scheme that matches
the Cloud available resources to guarantee application’s QoS
given the continuously dynamic and varying resources of the
Cloud infrastructure. We developed Two-Level QoS Policies
(TLPS) for selecting clusters and nodes while satisfying the
client’s application QoS. We also proposed an adaptive data
distribution algorithm to cope with changing QoS requirements.
Experiments have been conducted to evaluate both the
effectiveness and the communication overhead of our proposed
distribution scheme and the results we have reported are
convincing. Other experiments evaluated our TLPS algorithm
against other single-based QoS data distribution algorithms and
the results show that TLPS algorithm adapts to the customer
QoS requirements.