Mitsubishi Electric Corporation

Mitsubishi Denki Kabushiki Kaisha

Mitsubishi Electric R&d Centre Europe B.v.

David Mentre

Christophe Mangin

Romain Rollet

Eric Lavillonniere

Denis Cousineau

A method () to generate test suite for a source-code (). The method comprises: a) implementing a structural analysis () of said source-code () to obtain a completed source-code () including: &#x2014;parsing the source-code, &#x2014;addition of annotations defining tests objectives, &#x2014;generation of stubs; b) implementing at least one semantic analysis algorithm including categorizing each set of tests objectives as satisfied, impossible to satisfy or unsatisfied; c) feeding a first list () with satisfied test cases; d) feeding a second list () with test objectives impossible to satisfy, e) implementing at least one mathematical optimization algorithm () on parts corresponding to unsatisfied test objectives; &#x2014;identifying test cases () that satisfy at least a part of said test objectives, &#x2014;feeding said first list of set of test cases with them, &#x2014;categorizing said test objectives as satisfied; f) providing a test suite comprising the two lists.

Method to generate test suite for source-code

A method for submitting a TCP segment stream to a in-line content analysis comprises: receiving from a TCP emitter a first TCP data segments stream corresponding to a given TCP connection between the TCP emitter and a TCP receiver; extracting and re-assembling a first byte stream from the TCP segment stream; passing a second byte stream, which is derived from the first byte stream, to a content analyser () adapted to perform a content analysis on the second byte stream; relaying to the TCP receiver a second TCP data segment stream with a byte stream content totally consistent with the byte stream passed to the content analyser. In order to keep the device () that implements the method as stealthy as possible, the second TCP data segment stream has the same number of data segments as the first TCP data segment stream, all segments in the second TCP data segment stream being of same size and having the same header as corresponding segments in the first TCP data segment stream.

In-line content analysis of a TCP segment stream

A method of managing the allocation to TCP connections of memory blocks of a TCP re-assembly buffer in a TCP network device including a TCP Processing unit, comprises computing a function r(t) on a per connection basis, that measures the occupancy rate of the re-assembly buffer for the relevant TCP connection, and that is updated upon reception of any packet belonging to said TCP connection; and allowing the TCP connection to be closed and the corresponding memory blocks to be released based on a decision scheme that includes at least a first trigger set on the corresponding function r(t), which defines two different states for said function r(t).

Growing community of inventors

Rennes, France

David Mentre