专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US4410682A Fluoroether modified epoxy composites 失效
标题翻译：氟醚改性环氧复合材料
公开(公告)号：US4410682A
公开(公告)日：1983-10-18
申请号：US452464
申请日：1982-12-23
申请人： Robert W. Rosser , Mark S. Taylor
发明人： Robert W. Rosser , Mark S. Taylor
IPC分类号： C08K5/06 , C08G59/18 , C08G59/30
CPC分类号： C08K5/06
摘要： Addition of controlled amounts of perfluorinated alkyl ether diacyl fluoride to epoxy resin systems prior to cure results in a formulation which, when cured with or without reinforcing, exhibits improved energy absorbing properties.
摘要翻译：在固化之前向环氧树脂体系中加入受控量的全氟化烷基醚二酰基氟化物，得到当用或不加强固化时固化的配方表现出改进的能量吸收性能。

2. 发明授权

US08627146B2 Model-based testing of an application program under test 失效
标题翻译：正在测试的应用程序的基于模型的测试
公开(公告)号：US08627146B2
公开(公告)日：2014-01-07
申请号：US13554456
申请日：2012-07-20
申请人： Thomas J. G. Bailey , John W. Duffell , Mark S. Taylor
发明人： Thomas J. G. Bailey , John W. Duffell , Mark S. Taylor
IPC分类号： G06F11/00
CPC分类号： G06F11/3692
摘要： A method includes receiving a first processing request for an application program under test. The method includes generating a second processing request for a model of the application program, wherein the second processing request is equivalent to said first processing request. The method includes communicating said first and second requests to said application program under test and said model of the application program respectively. The method includes receiving a first response data set from the application program under test and a second response data set from the model of the application program. The method includes comparing said first and second response data sets and generating a success indication if said comparing said first and second response data sets does not identify a difference. The method includes generating an error indication if said comparing said first and second response data sets identifies a difference between the first and second data sets.
摘要翻译：一种方法包括接收针对被测试的应用程序的第一处理请求。该方法包括为应用程序的模型生成第二处理请求，其中第二处理请求等同于所述第一处理请求。该方法包括分别将所述第一和第二请求传送到被测试的所述应用程序和应用程序的所述模型。该方法包括从被测应用程序接收第一响应数据集，以及从应用程序的模型接收第二响应数据集。所述方法包括：如果所述比较所述第一和第二响应数据集不识别差异，则比较所述第一和第二响应数据集并产生成功指示。所述方法包括如果所述比较所述第一和第二响应数据集识别所述第一和第二数据集之间的差异则产生错误指示。

3. 发明授权

US08245080B2 Model-based testing of an application program under test 失效
标题翻译：正在测试的应用程序的基于模型的测试
公开(公告)号：US08245080B2
公开(公告)日：2012-08-14
申请号：US12632892
申请日：2009-12-08
申请人： Thomas J. G. Bailey , John W. Duffell , Mark S. Taylor
发明人： Thomas J. G. Bailey , John W. Duffell , Mark S. Taylor
IPC分类号： G06F11/00
CPC分类号： G06F11/3692
摘要： A software testing system includes a test interface and a verification interface. The test interface receives a first processing request for the application program under test. The test interface generates a second processing request equivalent to the first processing request, and communicates the first and second processing requests to the application program under test and a model of the application program, respectively. A verification interface compares a first and a second response data set received, respectively, from the application program under test and the model. The verification interface generates an error indication if a difference is determined from the comparison of the first and second response data sets. If a difference is not determined from the comparison, then the verification interface generates a success indication. The verification interface communicates either the success or error indication to the test interface.
摘要翻译：软件测试系统包括测试界面和验证界面。测试界面接收被测应用程序的第一个处理请求。测试接口产生等同于第一处理请求的第二处理请求，并将第一和第二处理请求分别传送到被测应用程序和应用程序的模型。验证界面分别接收来自被测应用程序和模型的第一和第二响应数据集。如果根据第一和第二响应数据集的比较确定差异，则验证接口产生错误指示。如果没有从比较中确定差异，则验证接口产生成功指示。验证界面将成功或错误指示传达给测试界面。

4. 发明申请

US20100241904A1 MODEL-BASED TESTING OF AN APPLICATION PROGRAM UNDER TEST 失效
标题翻译：基于模型的测试应用程序测试
公开(公告)号：US20100241904A1
公开(公告)日：2010-09-23
申请号：US12632892
申请日：2009-12-08
申请人： Thomas J. G. Bailey , John W. Duffell , Mark S. Taylor
发明人： Thomas J. G. Bailey , John W. Duffell , Mark S. Taylor
IPC分类号： G06F11/36
CPC分类号： G06F11/3692
摘要： A software testing system includes a test interface and a verification interface. The test interface receives a first processing request for the application program under test. The test interface generates a second processing request equivalent to the first processing request, and communicates the first and second processing requests to the application program under test and a model of the application program, respectively. A verification interface compares a first and a second response data set received, respectively, from the application program under test and the model. The verification interface generates an error indication if a difference is determined from the comparison of the first and second response data sets. If a difference is not determined from the comparison, then the verification interface generates a success indication. The verification interface communicates either the success or error indication to the test interface.
摘要翻译：软件测试系统包括测试界面和验证界面。测试界面接收被测应用程序的第一个处理请求。测试接口产生等同于第一处理请求的第二处理请求，并将第一和第二处理请求分别传送到被测应用程序和应用程序的模型。验证界面分别接收来自被测应用程序和模型的第一和第二响应数据集。如果根据第一和第二响应数据集的比较确定差异，则验证接口产生错误指示。如果没有从比较中确定差异，则验证接口产生成功指示。验证界面将成功或错误指示传达给测试界面。

5. 发明授权

US5373205A Method and apparatus for limiting motor current 失效
标题翻译：用于限制电机电流的方法和装置
公开(公告)号：US5373205A
公开(公告)日：1994-12-13
申请号：US998909
申请日：1992-12-29
申请人： Rickey L. Busick , Mark S. Taylor , Stephen T. Walsh
发明人： Rickey L. Busick , Mark S. Taylor , Stephen T. Walsh
IPC分类号： H02H6/00 , H02H7/12 , H03K5/13 , H02K17/32
CPC分类号： H02H7/1216 , H02H6/00 , Y10S323/907 , Y10T307/766
摘要： A method and apparatus for limiting current through a switching device supplying current to a load. A control evaluates a model representing the switching device temperature as a nonlinear function of current and time. The model compares the temperature of the switching device to a maximum allowable temperature. The current limit is defaulted to peak current; and in response to the model detecting a temperature in excess of the maximum allowable temperature, a nominal current limit is set. The current limit reset to peak current after the model detects a switching device temperature a predetermined magnitude below the maximum allowable temperature.
摘要翻译：一种用于限制通过向负载提供电流的开关装置的电流的方法和装置。控制器将表示开关器件温度的模型评估为当前和时间的非线性函数。该模型将开关装置的温度与最高允许温度进行比较。电流限制默认为峰值电流; 并且响应于模型检测超过最大允许温度的温度，设定额定电流限制。在模型检测到开关器件温度超过最大允许温度的预定值之后，电流限制复位为峰值电流。

6. 发明申请

US20120284567A1 MODEL-BASED TESTING OF AN APPLICATION PROGRAM UNDER TEST 失效
标题翻译：基于模型的测试应用程序测试
公开(公告)号：US20120284567A1
公开(公告)日：2012-11-08
申请号：US13554456
申请日：2012-07-20
申请人： Thomas J.G. Bailey , John W. Duffell , Mark S. Taylor
发明人： Thomas J.G. Bailey , John W. Duffell , Mark S. Taylor
IPC分类号： G06F11/36
CPC分类号： G06F11/3692
摘要： A method includes receiving a first processing request for an application program under test. The method includes generating a second processing request for a model of the application program, wherein the second processing request is equivalent to said first processing request. The method includes communicating said first and second requests to said application program under test and said model of the application program respectively. The method includes receiving a first response data set from the application program under test and a second response data set from the model of the application program. The method includes comparing said first and second response data sets and generating a success indication if said comparing said first and second response data sets does not identify a difference. The method includes generating an error indication if said comparing said first and second response data sets identifies a difference between the first and second data sets.
摘要翻译：一种方法包括接收针对被测试的应用程序的第一处理请求。该方法包括为应用程序的模型生成第二处理请求，其中第二处理请求等同于所述第一处理请求。该方法包括分别将所述第一和第二请求传送到被测试的所述应用程序和应用程序的所述模型。该方法包括从被测应用程序接收第一响应数据集，以及从应用程序的模型接收第二响应数据集。所述方法包括：如果所述比较所述第一和第二响应数据集不识别差异，则比较所述第一和第二响应数据集并产生成功指示。所述方法包括如果所述比较所述第一和第二响应数据集识别所述第一和第二数据集之间的差异则产生错误指示。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式