会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • System for automatically generating tests to ensure binary compatibility between software components produced by a source-to-source computer language translator
    • 用于自动生成测试的系统,以确保源到源计算机语言翻译器生成的软件组件之间的二进制兼容性
    • US06425118B1
    • 2002-07-23
    • US09118403
    • 1998-07-17
    • Mark E. MolloyKristy A. AndrewsJames L. HerrenDavid R. CutlerPaul Del Vigna
    • Mark E. MolloyKristy A. AndrewsJames L. HerrenDavid R. CutlerPaul Del Vigna
    • G06F945
    • G06F8/51
    • A system and method that implement a strategy for automatically generating self-checking tests of source-to-source translation. The tests make certain that software components produced by a source-to-source computer language translator continue to be binary-compatible with all other software components with which they previously interacted correctly, including components that remain in the original programming language. To that end, the correctness of procedure interfaces in a target computer program is also verified. With this strategy, correct translation of text preprocessor mechanisms such as macros, conditionally compiled regions of code, and source file inclusion can be achieved. The target program is the result of translating a source program written in a different language from the target program. The system creates a set of procedure calls to each procedure in the source program. The system also creates a set of callable procedures with the same interface specification as in the source program. However, the callable procedures created by the system to serve to perform tests on variables and other data that is passed to each procedures' interface specification. The system-generated procedure calls are designed to assign different test values to ensure that a valid interface exists. For example, high, low, zero, and random values, or other values, are chosen for a variable to test. The procedure calls, and callable procedures, are generated in the source language and are also translated into the target language by a translator. The procedure calls and callable procedures in both language formats are then cross-linked and executed to determine whether the translator is translating correctly with respect to the procedure interface specifications.
    • 一种实现自动生成源到源翻译自检的策略的系统和方法。 测试确定源到源计算机语言翻译器生成的软件组件继续与其以前正确交互的所有其他软件组件二进制兼容,包括保留在原始编程语言中的组件。 为此,还验证了目标计算机程序中程序接口的正确性。 通过这种策略,可以实现文本预处理机制的正确翻译,如宏,条件编译的代码区域和源文件包含。 目标程序是将用不同语言编写的源程序与目标程序进行翻译的结果。 系统会为源程序中的每个过程创建一组过程调用。 该系统还创建一组具有与源程序相同的接口规范的可调用过程。 但是,由系统创建的可调用过程用于对变量和其他数据执行测试,并传递给每个过程的接口规范。 系统生成的过程调用旨在分配不同的测试值,以确保存在有效的接口。 例如,为测试变量选择高,低,零和随机值或其他值。 过程调用和可调用过程以源语言生成,并由翻译器转换为目标语言。 然后,以两种语言格式的过程调用和可调用过程进行交互并执行,以确定翻译器是否正在相对于过程接口规范正确翻译。