An Approach to Integrate Formal Validation in an Oo Life-cycle of Protocols Claude Jard, Jean-marc Jézéquel, Laurence
نویسنده
چکیده
منابع مشابه
Validation and Test Generation for Object-Oriented Distributed Software
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distributed systems (latency, error recovery, etc.), leading to numerous problems such as deadlocks, race conditions, and many difficulties in trying to detect and reproduce such error conditions and debug them. The OO technolog...
متن کاملCovert channels detection in protocols using scenarios
This paper presents an approach to detect illegal information flows from requirements expressed as high-level scenarios.
متن کاملValidating Distributed Software Modeled with UML
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distributed systems (latency, error recovery, etc.), leading to numerous problems such as deadlocks, race conditions, and many difficulties in trying to reproduce such error conditions and debug them. The OO technology is ill eq...
متن کاملSystem Test Synthesis from UML Models of Distributed Software
The object-oriented software development process is increasingly used for the construction of both centralised and distributed systems. As yet, however, formal V&V techniques have not found much use in the object-oriented context, in spite of the fact that some are now mature enough to be exercised in real world applications. In this paper, we investigate the use of formal validation in a UML-b...
متن کاملA UML-integrated Test Description Language for Component Testing
A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML there are significant advantages to using UML also for the test description language. Since we wish to describe tests of non-trivial temporal ordering properties, we define our test description language based around UML intera...
متن کامل