公开(公告)号：US08260333B2

公开(公告)日：2012-09-04

申请号：US12781410

申请日：2010-05-17

申请人： Itzhack Goldberg ,  Miron Horodi ,  Ruthie D. Lyle ,  Kenneth Nagin ,  Gilad Sharaby

发明人： Itzhack Goldberg ,  Miron Horodi ,  Ruthie D. Lyle ,  Kenneth Nagin ,  Gilad Sharaby

IPC分类号： H04W4/00

CPC分类号： H04W4/14 ,  H04L12/189 ,  H04L51/063 ,  H04L51/38 ,  H04M2215/2073 ,  H04M2215/28 ,  H04W28/06

摘要： Two or more received SMS messages can be aggregated into a single consolidated SMS message. The consolidated SMS message can be conveyed across a boundary in accordance with SMS protocols. A fee per SMS message can be incurred for conveying SMS messages across the boundary. The fee can be minimized by use of the consolidated SMS message in lieu of having to convey multiple SMS messages. Once the consolidated SMS message have been conveyed across the boundary, the consolidated SMS message can be parsed or decomposed into its constituent SMS messages, each of which can be conveyed to an intended recipient.

摘要翻译： 两个或多个接收到的SMS消息可以聚合成单个合并的SMS消息。 合并的SMS消息可以根据SMS协议跨越边界传送。 每个SMS消息可能会在跨越边界传输SMS消息。 可以通过使用合并的SMS消息来代替不必传送多个SMS消息来最小化费用。 一旦整合的SMS消息已经跨越边界传送，则合并的SMS消息可以被解析或分解成其组成的SMS消息，每个消息可以被传送到预期的接收者。

公开(公告)号：US20080310605A1

公开(公告)日：2008-12-18

申请号：US11761383

申请日：2007-06-12

申请人： Itzhack Goldberg ,  Samuel Kallner ,  Yotam Medini ,  Kenneth Nagin

发明人： Itzhack Goldberg ,  Samuel Kallner ,  Yotam Medini ,  Kenneth Nagin

IPC分类号： H04M11/00

CPC分类号： H04M1/274516

摘要： A method for establishing a communication connection between a first communication device and a second communication device, the method comprising requesting contact information for a second communication device, during a first communication connection established between a first communication device and a third communication device; receiving the contact information from the third communication device, in response to a third party interacting with the third communication device during the first communication connection; and establishing a second communication connection between the first communication device and the second communication device based on the contact information received from the third communication device, wherein the second communication connection is established by way of the first communication device independently initiating communication with the second communication device.

摘要翻译： 一种用于在第一通信设备和第二通信设备之间建立通信连接的方法，所述方法包括在第一通信设备和第三通信设备之间建立的第一通信连接期间请求第二通信设备的联系人信息; 响应于在第一通信连接期间与第三通信设备交互的第三方，从第三通信设备接收联系人信息; 以及基于从第三通信设备接收的联系信息，在第一通信设备和第二通信设备之间建立第二通信连接，其中通过第一通信设备建立第二通信连接，独立地启动与第二通信设备的通信 。

公开(公告)号：US20080189694A1

公开(公告)日：2008-08-07

申请号：US11671631

申请日：2007-02-06

申请人： Nicholas D. Fifer ,  Ilan Gayda ,  Itzhack Goldberg ,  Kenneth Nagin

发明人： Nicholas D. Fifer ,  Ilan Gayda ,  Itzhack Goldberg ,  Kenneth Nagin

IPC分类号： G06F9/44

CPC分类号： G06F8/65

摘要： A defective self-sustained code-upgrade code is recovered. A relevant unset variable is set to avoid an un-initialized command failure. A relevant set variable is unset to render a second invocation of the set variable to appear as a first invocation A fix-named file is retrieved containing a plurality of code entries organized in a stanza style. The fixed-named file is executed. The plurality of stanza-organized entries are sourced by the defective code-upgrade code to change a variable which has been previously set, thereby overriding an existing process.

摘要翻译： 有缺陷的自维持代码升级代码被恢复。 设置相关的未设置变量以避免未初始化的命令失败。 相关的设置变量未设置为使设置变量的第二次调用显示为第一次调用检索修复命名文件，其中包含以节风格组织的多个代码条目。 执行固定命名的文件。 多个组织条目由缺陷代码升级代码提供，以改变先前设置的变量，从而覆盖现有进程。

公开(公告)号：US07272752B2

公开(公告)日：2007-09-18

申请号：US09946237

申请日：2001-09-05

申请人： Eitan Farchi ,  Daniel Geist ,  Alan Hartman ,  Paul Kram ,  Kenneth Nagin ,  Yael Shaham-Gafni ,  Shmuel Ur

发明人： Eitan Farchi ,  Daniel Geist ,  Alan Hartman ,  Paul Kram ,  Kenneth Nagin ,  Yael Shaham-Gafni ,  Shmuel Ur

IPC分类号： G06F11/00

CPC分类号： G06F11/3676

摘要： A test coverage tool provides output that identifies differences between the actual coverage provided by a test suite run on a program under test and the coverage criteria (e.g., the coverage criteria required by the test/development team management). The output from the test coverage tool is generated in the same language that was used to write the coverage criteria that are input to an automated test generator to create the test cases which form the test suite. As a result, the output from the coverage tool can be input back into the automated test generator to cause the generator to revise the test cases to correct the inadequacies. This allows iterative refinement of the test suite automatically, enabling automated test generation to be more effectively and efficiently used with more complex software and more complex test generation inputs.In preferred embodiments, test coverage analysis results of several different test suites, some manually generated and others automatically generated, are used to produce a streamlined automatically-generated test suite and/or to add missing elements to an automatically generated test-suite.

摘要翻译： 测试覆盖工具提供了输出，其识别由被测程序运行的测试套件提供的实际覆盖范围与覆盖标准（例如，测试/开发团队管理所需的覆盖标准）之间的差异。 测试覆盖工具的输出以与用于写入输入到自动测试发生器的覆盖率标准相同的语言生成，以创建形成测试套件的测试用例。 因此，覆盖工具的输出可以被输入到自动测试发生器中，以使发生器修改测试用例以纠正不足之处。 这样可以自动地对测试套件进行迭代细化，使自动测试生成能够更复杂的软件和更复杂的测试生成输入被更有效和高效地使用。 在优选实施例中，使用若干不同测试套件（一些手动生成的和其他自动生成的测试套件）的测试覆盖率分析结果来产生流线型的自动生成的测试套件和/或将丢失的元素添加到自动生成的测试套件中。

公开(公告)号：US07117484B2

公开(公告)日：2006-10-03

申请号：US10122427

申请日：2002-04-16

申请人： Alan Hartman ,  Kenneth Nagin ,  Guy Sharon

发明人： Alan Hartman ,  Kenneth Nagin ,  Guy Sharon

IPC分类号： G06F9/44 ,  G06F9/45

CPC分类号： G06F11/3684

摘要： Middleware is validated using a two layered modeling strategy for the generation of test suites. A high level model of the syntax of the programming language used to program the middleware generates a series of high level abstract programs. These high level abstract programs then undergo two separate translations. First they are translated directly into actual test programs, which are expressed in the programming language of the middleware. Second, they are translated into second models of the high level abstract programs. Running the model based test generator again on the second models produces a set of suites of test cases, each test case consisting of data inputs and predicted results for one of the actual test programs. The actual test programs are run repetitively using the middleware execution engine. The results are compared with the predicted results, using a generic validation engine.

摘要翻译： 中间件使用两层建模策略进行验证，用于生成测试套件。 用于编程中间件的编程语言的高级模型生成一系列高级抽象程序。 这些高级抽象程序然后经过两个单独的翻译。 首先，它们被直接转换成实际的测试程序，它们以中间件的编程语言表示。 第二，它们被转化为高级抽象程序的第二种模式。 在第二个模型上再次运行基于模型的测试生成器产生一套测试用例，每个测试用例由数据输入和实际测试程序之一的预测结果组成。 实际的测试程序使用中间件执行引擎重复运行。 将结果与使用通用验证引擎的预测结果进行比较。

公开(公告)号：US07089534B2

公开(公告)日：2006-08-08

申请号：US10135409

申请日：2002-05-01

申请人： Alan Hartman ,  Andrei Kirshin ,  Kenneth Nagin ,  Sergey Olvovsky ,  Aviad Zlotnick

发明人： Alan Hartman ,  Andrei Kirshin ,  Kenneth Nagin ,  Sergey Olvovsky ,  Aviad Zlotnick

IPC分类号： G06F9/44

CPC分类号： G06F11/3688 ,  G06F11/3684

摘要： An execution engine synchronizes test suite execution to run multiple independent operations concurrently or in parallel. The execution engine operates by stepping through the test suite. At each step it runs the required number of independent operations and waits for their completion. It then checks the results, and continues to the next step of the test suite. If at any step, the actual results are different from the expected results, then the exact sequence that triggered the fault is known. The sequence can be repeated when a correction is provided for the fault. Furthermore, the execution engine allows the user to interactively step through a test case when debugging a fault. A synchronization pattern generator may be incorporated in the system to generate minimal numbers of repetitions of test cases to guarantee varying degrees of interaction coverage.

摘要翻译： 执行引擎同步或并行地同步测试套件执行以运行多个独立操作。 执行引擎通过测试套件进行操作。 在每一步，它运行所需数量的独立操作，并等待完成。 然后它检查结果，并继续下一步测试套件。 如果在任何步骤中，实际结果与预期结果不同，则触发故障的确切顺序是已知的。 当为故障提供校正时，可以重复该顺序。 此外，执行引擎允许用户在调试故障时交互地跨越测试用例。 同步模式发生器可以并入系统中以产生最小数量的测试用例重复，以保证不同程度的交互覆盖。

公开(公告)号：US06275964B1

公开(公告)日：2001-08-14

申请号：US09272994

申请日：1999-03-20

申请人： Kenneth Nagin ,  Dafna Sheinwald ,  Julien Satran ,  Efri Zeidner ,  Benny Rochberger

发明人： Kenneth Nagin ,  Dafna Sheinwald ,  Julien Satran ,  Efri Zeidner ,  Benny Rochberger

IPC分类号： G06F1100

CPC分类号： H03M13/35

摘要： Data communication system for transmitting data codewords of n bytes length over a communication channel (20) from a transmitter (10) comprising a hardware encoder (12) capable of receiving as input an information sequence of n−2t bytes and emitting as output a codeword of n bytes including n−2t information bytes and 2t redundant bytes to a receiver (24) comprising a hardware decoder (28) capable of detecting up to 2t byte-errors and correcting up to t byte errors; the transmitter (10) further comprising a software encoder (14) transforming, in combination with the hardware encoder (12), an information sequence of n−2s bytes with t

摘要翻译： 一种用于从包括硬件编码器（12）的发射机（10）通过通信信道（20）发送n字节长度的数据码字的数据通信系统，所述硬件编码器能够作为输入接收n-2t字节的信息序列并作为输出码字 包括n-2t个信息字节和2t冗余字节的n字节到包括能够检测高达2t字节错误并且纠正到t字节错误的硬件解码器（28）的接收器（24） 所述发射机（10）还包括软件编码器（14），与硬件编码器（12）一起将具有t