-
1.发明申请ENHANCING FUNCTIONAL TESTS COVERAGE USING TRACEABILITY AND STATIC ANALYSIS 审中-公开使用可追溯性和静态分析增强功能测试覆盖公开(公告)号：US20110271253A1
公开(公告)日：2011-11-03
申请号：US12768764
申请日：2010-04-28
申请人： Jonathan Bnayahu , Maayan Goldstein , Dany Moshkovich , Moti Nisenson , Yahalomit Simionovici , Shmuel Ur
发明人： Jonathan Bnayahu , Maayan Goldstein , Dany Moshkovich , Moti Nisenson , Yahalomit Simionovici , Shmuel Ur
IPC分类号： G06F9/44
CPC分类号： G06F11/3676 , G06F8/10 , G06F8/20 , G06F8/73 , G06F8/75
摘要： A method that may include: building a dependencies graph representing dependencies between code elements of a computer code; associating portions of the computer code with corresponding design specifications or requirements derived from a design specifications document or a requirements document respectively which is associated with the computer code, to yield a design specifications or requirements-code tracing map; and analyzing the design specifications or requirements-code tracing map based on the dependencies graph to yield an ordered list of design specifications or requirements respectively, wherein the order is selected such that functional tests written for the computer code and addressing design specifications or requirements of a higher order, will yield a higher level of functional test coverage of the computer code in terms of design specifications or requirements.
摘要翻译： 可以包括：构建表示计算机代码的代码元素之间的依赖关系的依赖图; 将计算机代码的一部分与分别与计算机代码相关联的设计规范文档或要求文档导出的相应设计规范或要求相关联，以产生设计规范或要求代码跟踪图; 并根据依赖图分析设计规范或要求 - 代码追踪图，以分别产生设计规范或要求的有序列表，其中选择这样的顺序，使得为计算机代码编写的功能测试和寻址设计规范或要求 更高的排序，将在设计规范或要求方面产生更高级别的计算机代码的功能测试覆盖。
-
2.发明申请公开(公告)号：US20110271252A1
公开(公告)日：2011-11-03
申请号：US12768761
申请日：2010-04-28
申请人： Jonathan Bnayahu , Maayan Goldstein , Dany Moshkovich , Moti Nisenson , Yahalomit Simionovici , Shmuel Ur
发明人： Jonathan Bnayahu , Maayan Goldstein , Dany Moshkovich , Moti Nisenson , Yahalomit Simionovici , Shmuel Ur
IPC分类号： G06F9/44
CPC分类号： G06F8/10 , G06F11/3676
摘要： A method that includes: running a set of functional tests over a computer code; determining, for each code element of the computer code, which functional test covered it, to yield a tests-elements coverage map; associating portions of the computer code with corresponding design portions or requirements derived from a design document or a requirements document respectively, associated with the computer code, to yield a design/requirements-code tracing map; deriving, from the tests-code coverage map and the design/requirements-code tracing map, a design/requirements-tests coverage map, exhibiting coverage of the computer code by the functional tests, in terms of the design or the requirements, wherein at least one of the running, the determining, the associating, and the deriving is executed by at least one processor.
摘要翻译： 一种方法，包括：通过计算机代码运行一组功能测试; 确定对于计算机代码的每个代码元素，哪个功能测试涵盖了它，以产生测试元素覆盖图; 将计算机代码的部分与分别与计算机代码相关联的设计文档或需求文档的相应设计部分或要求相关联，以产生设计/要求代码跟踪图; 从测试代码覆盖图和设计/需求代码跟踪图导出设计/需求测试覆盖图，通过功能测试在设计或要求方面展示计算机代码的覆盖范围，其中在 至少一个处理器执行运行，确定，关联和导出中的至少一个。
-
3.发明申请USING TRACEABILITY LINKS STRENGTH FOR SOFTWARE DEVELOPMENT INTEGRITY MONITORING 有权使用可追溯性链接强度软件开发完整性监控公开(公告)号：US20130117725A1
公开(公告)日：2013-05-09
申请号：US13290088
申请日：2011-11-06
IPC分类号： G06F9/44
摘要： A method for monitoring requirements integrity. The method comprises receiving a plurality of requirements for an application development project having a plurality of code elements, computing a first strength for each of a plurality of traceability links each between a certain code element in a current software code version of the application development project and one of the plurality of requirements, computing a second strength for each of said plurality of traceability links in a new software code which includes a revision to the certain code element from said current software version, and generating an inconsistency notification based on a deviation between said second strength and said first strength.
摘要翻译： 一种监控需求完整性的方法。 该方法包括接收对具有多个代码元素的应用开发项目的多个要求，为应用开发项目的当前软件代码版本中的特定代码元素和/或应用开发项目的当前软件代码版本中的每个代码元素计算第一强度， 所述多个要求中的一个要求，为包括对所述当前软件版本的特定代码元素的修订的新的软件代码计算所述多个可跟踪链接中的每一个的第二强度，并且基于所述多个可追溯性链接中的所述 第二力量说第一力量。
-
4.发明授权Using traceability links strength for software development integrity monitoring 有权使用可追溯性链接强大的软件开发完整性监控公开(公告)号：US09292410B2
公开(公告)日：2016-03-22
申请号：US13290088
申请日：2011-11-06
摘要： A computerized method that combines identifying conflicting requirements and monitoring requirements integrity. Traceability link strengths are computed between a code element and a plurality of requirements. Revised traceability link strengths are computed between a revised version of the same code element and the plurality of requirements. The revised traceability link strengths are compared to the pre-existing traceability link strengths and a deviation decreased is identified when the revised traceability link strength is less than the pre-existing traceability link strength. An additional traceability link strength is computed between the revised version of the same code element and a new requirement, the new requirement first appearing with the revised version of the same code element. A conflict between the new requirement and the pre-existing requirements is identified when both a deviation decrease is identified and when additional traceability link strength exceeds a correlation threshold.
摘要翻译： 一种组合识别冲突的要求和监控要求完整性的计算机化方法。 在代码元素和多个需求之间计算可追溯性链接强度。 在相同代码元素的修订版本和多个要求之间计算修改的可追溯性链接强度。 将修改的可追溯性链路优势与先前存在的可追溯性链路优势进行比较，并且当修改的可跟踪链路强度小于先前存在的可追溯性链路强度时，确定偏差减小。 在相同代码元素的修订版本和新要求之间计算附加的可跟踪链接强度，新的要求首先出现在相同代码元素的修订版本中。 当确定了偏差减少和额外的可追溯性链路强度超过相关阈值时，就会识别新要求与预先存在的要求之间的冲突。
-
公开(公告)号：US20130246080A1
公开(公告)日：2013-09-19
申请号：US13423289
申请日：2012-03-19
摘要： Systems and methods for presenting benefit rules in a policy into a human readable table are provided. The method comprises analyzing logic code implemented for processing claims under a policy to identify one or more rules and one or more parameters of interest; translating the rules, as applicable to the parameters of interest, into an ordered list of boolean expressions; applying an algorithm to the ordered list of boolean expressions to identify a solution for a set of query parameters defined by the rules and the parameters of interest; and generating a summary table according to the identified solution for the set of query parameters.
摘要翻译： 提供了将策略中的利益规则呈现到人类可读表中的系统和方法。 该方法包括分析实施用于在策略下处理权利要求的逻辑代码，以识别感兴趣的一个或多个规则和一个或多个参数; 将适用于感兴趣的参数的规则转换为布尔表达式的有序列表; 将算法应用于布尔表达式的有序列表，以识别由规则和感兴趣的参数定义的一组查询参数的解; 以及根据针对所述一组查询参数的所识别的解决方案生成汇总表。
-
-
-
-
搜索结果
5 条记录 (耗时 0.021 秒)
