-
公开(公告)号：US08949773B2
公开(公告)日：2015-02-03
申请号：US12731533
申请日：2010-03-25
申请人： Amitkumar M. Paradkar , Avik Sinha
发明人： Amitkumar M. Paradkar , Avik Sinha
摘要： One or more process models from natural language use case models are derived, for example, by creating, using a processor, an in-memory model of a use case from information in natural language text describing the use case; transforming the in-memory model into a process model in predetermined modeling notation; and generating a selected business process model using the process model.
摘要翻译： 从自然语言用例模型中得出一个或多个过程模型，例如，通过使用处理器创建描述用例的自然语言文本中的用例的内存模型; 将内存中的模型转换为预定建模符号的过程模型; 并使用流程模型生成选定的业务流程模型。
-
公开(公告)号：US08683446B2
公开(公告)日：2014-03-25
申请号：US11775090
申请日：2007-07-09
IPC分类号： G06F9/44
CPC分类号： G06F11/3684
摘要： An automated system and method to generate functional conformance tests for applications are provided. The system and method in one aspect use Inputs, Outputs, Preconditions, Effects (IOPEs) paradigm associated with an application for automatically generating test goals. A planner component may accept these testing goals to generate a sequence of operations or invocations as a test case. Verification sequences are also generated. The system and method also allow generation of executable test cases, which can be applied to the various interfaces through which the application may be accessed.
摘要翻译： 提供了一种用于为应用程序生成功能一致性测试的自动化系统和方法。 系统和方法在一个方面使用与自动生成测试目标的应用程序相关联的输入，输出，前提条件，效果（IOPE）范例。 计划器组件可以接受这些测试目标，以生成一系列操作或调用作为测试用例。 还生成验证序列。 该系统和方法还允许生成可执行的测试用例，其可应用于可以通过其访问应用的各种接口。
-
公开(公告)号：US08478627B2
公开(公告)日：2013-07-02
申请号：US12039415
申请日：2008-02-28
申请人： Murray Cantor , Sunita Chulani , Robert Delmonico , Vedakkedathu T. Rajan , Avik Sinha , Giuseppe Valetto , Mark N. Wegman , Clay E. Williams , Annie T. T. Ying
发明人： Murray Cantor , Sunita Chulani , Robert Delmonico , Vedakkedathu T. Rajan , Avik Sinha , Giuseppe Valetto , Mark N. Wegman , Clay E. Williams , Annie T. T. Ying
摘要： A method and system of reducing risk in the life cycle of a product, in one aspect, obtain one or more tasks required to achieve an overall task, determine risk impact of each task, the risk impact being an impact of each task on the likelihood of failure for the overall task and compute risk of overall task based on risk impacts of the tasks. The method and system utilize said risk impact of each task to schedule the tasks in such a way so as to reduce said risk of overall task as rapidly as possible.
摘要翻译： 一种降低产品生命周期风险的方法和系统，一方面，获得实现总体任务所需的一个或多个任务，确定每个任务的风险影响，风险影响是每个任务对可能性的影响 基于任务的风险影响，总体任务失败，总体任务计算风险。 该方法和系统利用每个任务的风险影响，以这样的方式安排任务，以尽可能快地降低总体任务的风险。
-
4.发明申请MINING A USE CASE MODEL BY ANALYZING ITS DESCRIPTION IN PLAIN LANGUAGE AND ANALYZING TEXTURAL USE CASE MODELS TO IDENTIFY MODELING ERRORS 审中-公开通过分析其在普通语言中的描述和分析纹理使用案例模型来识别建模错误公开(公告)号：US20100325491A1
公开(公告)日：2010-12-23
申请号：US12487461
申请日：2009-06-18
CPC分类号： G06F11/3684 , G06F8/74 , G06F17/24 , G06F17/2725 , G06F17/2775
摘要： A system and method for identifying modeling errors in textual use case description analyze an input text describing a use case and create an application model representing the use case, the application model containing information obtained from analyzing the input text describing the use case. The application model may be automatically analyzed using automatic process and one or more errors in the use case and/or reports about the use case may be generated. In one aspect, processing components may be integrated into a user development environment to allow developing use cases and improving them incrementally and/or iteratively as information is identified about the use cases.
摘要翻译： 用于识别文本用例描述中的建模错误的系统和方法分析描述用例的输入文本并创建表示用例的应用模型，所述应用模型包含从分析描述用例的输入文本获得的信息。 可以使用自动处理来自动分析应用模型，并且可以生成用例中的一个或多个错误和/或关于用例的报告。 在一个方面，处理组件可以被集成到用户开发环境中，以允许开发用例并且随着关于用例的信息被识别而逐渐地和/或迭代地改进它们。
-
公开(公告)号：US20090018811A1
公开(公告)日：2009-01-15
申请号：US11775090
申请日：2007-07-09
IPC分类号： G06F9/45
CPC分类号： G06F11/3684
摘要： An automated system and method to generate functional conformance tests for applications are provided. The system and method in one aspect use Inputs, Outputs, Preconditions, Effects (IOPEs) paradigm associated with an application for automatically generating test goals. A planner component may accept these testing goals to generate a sequence of operations or invocations as a test case. Verification sequences are also generated. The system and method also allow generation of executable test cases, which can be applied to the various interfaces through which the application may be accessed.
摘要翻译： 提供了一种用于为应用程序生成功能一致性测试的自动化系统和方法。 系统和方法在一个方面使用与自动生成测试目标的应用程序相关联的输入，输出，前提条件，效果（IOPE）范例。 计划器组件可以接受这些测试目标，以生成一系列操作或调用作为测试用例。 还生成验证序列。 该系统和方法还允许生成可执行的测试用例，其可应用于可以通过其访问应用的各种接口。
-
公开(公告)号：US20090228261A1
公开(公告)日：2009-09-10
申请号：US12043175
申请日：2008-03-06
申请人： Sunita Chulani , Avik Sinha , Clay Williams
发明人： Sunita Chulani , Avik Sinha , Clay Williams
IPC分类号： G06F9/455
摘要： Techniques are provided for calculating effort of a software application. The techniques include obtaining a detailed use case model (DUCM) of the software application, computing a multi-dimensional metrics vector (MMV) based on the DUCM, using a size model for the MMV to estimate a size of the software application, and inputting the MMV and the size into an effort model, wherein the effort model is used to calculate the effort required to build the software application. Techniques are also provided for representing a DUCM of a software application.
摘要翻译： 提供了用于计算软件应用程序的技术。 这些技术包括获得软件应用的详细用例模型（DUCM），基于DUCM计算多维度量矢量（MMV），使用MMV的大小模型来估计软件应用的大小，以及输入 MMV和大小变成努力模型，其中使用努力模型来计算构建软件应用所需的努力。 还提供了用于表示软件应用程序的DUCM的技术。
-
公开(公告)号：US20110239183A1
公开(公告)日：2011-09-29
申请号：US12731533
申请日：2010-03-25
申请人： AMITKUMAR M. PARADKAR , AVIK SINHA
发明人： AMITKUMAR M. PARADKAR , AVIK SINHA
IPC分类号： G06F9/44
摘要： One or more process models from natural language use case models are derived, for example, by creating, using a processor, an in-memory model of a use case from information in natural language text describing the use case; transforming the in-memory model into a process model in predetermined modeling notation; and generating a selected business process model using the process model.
摘要翻译： 从自然语言用例模型中得出一个或多个过程模型，例如，通过使用处理器创建描述用例的自然语言文本中的用例的内存模型; 将内存中的模型转换为预定建模符号的过程模型; 并使用流程模型生成选定的业务流程模型。
-
公开(公告)号：US20090222275A1
公开(公告)日：2009-09-03
申请号：US12039415
申请日：2008-02-28
申请人： Murray Cantor , Sunita Chulani , Robert Delmonico , Vedakkedathu T. Rajan , Avik Sinha , Giuseppe Valetto , Mark N. Wegman , Clay E. Williams , Annie T. T. Ying
发明人： Murray Cantor , Sunita Chulani , Robert Delmonico , Vedakkedathu T. Rajan , Avik Sinha , Giuseppe Valetto , Mark N. Wegman , Clay E. Williams , Annie T. T. Ying
IPC分类号： G06Q99/00
摘要： A method and system of reducing risk in the life cycle of a product, in one aspect, obtain one or more tasks required to achieve an overall task, determine risk impact of each task, the risk impact being an impact of each task on the likelihood of failure for the overall task and compute risk of overall task based on risk impacts of the tasks. The method and system utilize said risk impact of each task to schedule the tasks in such a way so as to reduce said risk of overall task as rapidly as possible.
摘要翻译： 一种降低产品生命周期风险的方法和系统，一方面，获得实现总体任务所需的一个或多个任务，确定每个任务的风险影响，风险影响是每个任务对可能性的影响 基于任务的风险影响，总体任务失败，总体任务计算风险。 该方法和系统利用每个任务的风险影响，以这样的方式安排任务，以尽可能快地降低总体任务的风险。
-
公开(公告)号：US07392509B2
公开(公告)日：2008-06-24
申请号：US10822739
申请日：2004-04-13
申请人： Avik Sinha , Carol S. Smidts
发明人： Avik Sinha , Carol S. Smidts
IPC分类号： G06F9/44
CPC分类号： G06F11/3684
摘要： A method for automatically generating test cases from a domain specific description language specification makes use of the properties of the language to derive domain specific axioms and language specific predicates. These properties are embedded into an extended finite state machine which is in turn supplied to the input of a test case generator. The enhanced extended finite state machine, referred herein as an extended finite state machine accounting for axioms and predicates (EFSMAP) contains states and transitions associated with information on implied behavior of the specified system within a particular problem domain. The implicit behavior, defined by the axiomatic properties of the operators of the domain specific language, provide test capability of the associated system that was not explicitly set forth in the formal specification, but nevertheless should be tested to increase confidence in the reliability of the finished product.
摘要翻译： 从域特定描述语言规范自动生成测试用例的方法利用语言的属性来导出域特定公理和语言特定谓词。 这些属性嵌入到扩展的有限状态机中，该机器又提供给测试用例发生器的输入。 增强的扩展有限状态机，这里称为扩展有限状态机，用于公理和谓词（EFSMAP），其包含与特定问题域内指定系统的隐含行为信息相关联的状态和转换。 由域特定语言的运算符的公理属性定义的隐含行为提供了正式规范中未明确规定的关联系统的测试能力，但是应该进行测试，以增加对完成的可靠性的置信度 产品。
-
公开(公告)号：US20050240794A1
公开(公告)日：2005-10-27
申请号：US10822739
申请日：2004-04-13
申请人： Avik Sinha , Carol Smidts
发明人： Avik Sinha , Carol Smidts
IPC分类号： G06F11/00
CPC分类号： G06F11/3684
摘要： A method for automatically generating test cases from a domain specific description language specification makes use of the properties of the language to derive domain specific axioms and language specific predicates. These properties are embedded into an extended finite state machine which is in turn supplied to the input of a test case generator. The enhanced extended finite state machine, referred herein as an extended finite state machine accounting for axioms and predicates (EFSMAP) contains states and transitions associated with information on implied behavior of the specified system within a particular problem domain. The implicit behavior, defined by the axiomatic properties of the operators of the domain specific language, provide test capability of the associated system that was not explicitly set forth in the formal specification, but nevertheless should be tested to increase confidence in the reliability of the finished product.
摘要翻译： 从域特定描述语言规范自动生成测试用例的方法利用语言的属性来导出域特定公理和语言特定谓词。 这些属性嵌入到扩展的有限状态机中，该机器又提供给测试用例发生器的输入。 增强的扩展有限状态机，这里称为扩展有限状态机，用于公理和谓词（EFSMAP），其包含与特定问题域内指定系统的隐含行为信息相关联的状态和转换。 由域特定语言的运算符的公理属性定义的隐含行为提供了正式规范中未明确规定的关联系统的测试能力，但是应该进行测试，以增加对完成的可靠性的置信度 产品。
-
-
-
-
-
-
-
-
-
搜索结果
10 条记录 (耗时 0.023 秒)
