Compiler and method for compiling specification language...

Details Compiler and method for compiling specification language... Compiler and method for compiling specification language...

Category

G - Physics

Subcategory

06

Subsubcategory

F

IPC codes

G06F 11/36 (2006.01) G06F 9/45 (2006.01)

Type

Patent

Patent number

CA 2319719

Description

Formal specifications of a procedure interface are used to generate test sources. The formal specifications, and accordingly the test sources, are independent from implementation of the procedure interface. The test sources are compiled into a test suite in implementation language. The compiler comprises a convertor having conversion procedures and a mediator having mediator procedures.

Affiliated with

Also associated with

Rating

Compiler and method for compiling specification language... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Compiler and method for compiling specification language..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Compiler and method for compiling specification language... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFCA-PAI-O-1935459