Abstract: A method checks the functional equivalence of two pieces of software for control systems, engineered from function block diagram with a plurality of interconnected function blocks. The method includes a) generating a first instance of compilable source code; b) parsing the first instance of source code; c) using the information from step b) to reconstruct a first data flow graph of the first instance of source code; d) generating a second instance of compilable source code from a second plurality of function block diagrams; e) parsing the second instance of source code; f) using the information from step e) to reconstruct a second data flow graph of the second instance of source code; g) comparing the first identified data flow graph and the second identified data flow graph, and checking if the transitive closure of input up to that node in the second instance of source code is the same.

Abstract: A system and method of providing telecommunication services reports is disclosed. In a particular embodiment, the method includes receiving a plurality of call detail records (CDRs) from a server. The plurality of CDRs are associated with a particular telecommunications service provider and each of the plurality of CDRs includes a data structure that includes one or more fields, one or more subfields, or any combination thereof. The method also includes generating a report based on data within at least one of the one or more fields, at least one of the one or more subfields, or any combination thereof, of the plurality of CDRs.

Abstract: A system and method for processing a plurality of call detail records (CDRs) each indicative of a call transaction on a telecommunications network. The method includes receiving the plurality of CDRs at a first controller, wherein each of the CDRs include a data structure including a plurality of fields each containing at least one character. The method then selects a first sorting field from the plurality of fields and groups the plurality of CDRs as a function of data within the first sorting field. In one embodiment, the first sorting field is used to group the CDRs according to different carriers. The method then analyzes at least one additional sorting field within each of the CDRs which were previously grouped according to the first sorting field. A report is then generated for each of the grouped CDRs as a function of data within the additional sorting field. In this way, periodic, customized reports can be generated from information contained with CDRs with user-selectable sorting or analysis fields.