Patent application number | Description | Published |
20110271252 | DETERMINING FUNCTIONAL DESIGN/REQUIREMENTS COVERAGE OF A COMPUTER CODE - 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. | 11-03-2011 |
20110271253 | ENHANCING FUNCTIONAL TESTS COVERAGE USING TRACEABILITY AND STATIC ANALYSIS - 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. | 11-03-2011 |
20140215435 | AUTOMATIC UNTANGLING CYCLIC DEPENDENCIES IN SOFTWARE SYSTEMS - A computerized method, system and computer product for untangling cyclic dependencies between components in software architecture is disclosed. The method includes receiving a software architecture that includes a set of components wherein the components include further elements. The method includes finding one or more cyclic dependencies between the set of components and creating a set of rearranged untangled components. The method includes outputting the rearranged components. | 07-31-2014 |
20140245233 | READABLE STRUCTURAL TEXT-BASED REPRESENTATION OF ACTIVITY FLOWS - A computerized method for converting a graphical representation of an activity flow to a structural text-based representation according to a plurality of human readability considerations, said computerized method comprising: converting a graphical representation of an activity flow to a structural text-based representation having a plurality of text elements which are related to one another in a hierarchical manner; identifying a subset of said plurality of text elements having an equal number of hierarchical degrees of separation from a root of said plurality of text elements; acquiring a plurality of human readability rules; ordering said subset of plurality of text elements by applying said plurality of human readability rules to said subset of plurality of text elements. | 08-28-2014 |
Patent application number | Description | Published |
20130067436 | ENHANCING FUNCTIONAL TESTS COVERAGE USING TRACEABILITY AND STATIC ANALYSIS - 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. | 03-14-2013 |
20130074039 | DETERMINING FUNCTIONAL DESIGN/REQUIREMENTS COVERAGE OF A COMPUTER CODE - 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. | 03-21-2013 |
Patent application number | Description | Published |
20140239732 | INDUCTIVE POWER TRANSMISSION SYSTEM AND METHOD FOR CONCURRENTLY TRANSMITTING DIGITAL MESSAGES - An inductive power receiver including a resonant circuit, a rectifier, a rectified current sense, and a communication and control unit includes a communications modulator and at least one signal generator operable to generate a set of communication signals including a series of pulses generated at characteristic frequencies. Communication signals provide instructions for an inductive power outlet to regulate power transfer to the inductive power receiver. | 08-28-2014 |
20140239733 | SYSTEM AND METHOD FOR PROVIDING AND CONTROLLING INDUCTIVE POWER CHARGING - The disclosure relates to inductive charging systems comprising at least one power access point (PAP) comprising a primary inductor connectable to a power supply, a PAP credential characterizing said PAP and a charger link comprising at least one wireless communication component; at least one device comprising a secondary inductor, a device credential characterizing said device and a device link comprising at least one wireless communication component; and a power controller comprising a communicator comprising at least one wireless communication component and a server having a database. The disclosure further relates to methods of controlling the inductive charging performed by an inductive charging system. | 08-28-2014 |
20140300452 | SYSTEM AND METHOD FOR DETERMINING PROXIMITY - A system for locating a locator device includes a seeker device that sends a seeker signal which is received by the locator device and the locator device is operable to transmit a locator signal when a seeker signal is received. The locator device is used to provide an indication of the location of the locator device. | 10-09-2014 |
20150035381 | INDUCTIVE POWER TRANSMISSION SYSTEM AND METHOD FOR CONCURRENTLY TRANSMITTING DIGITAL MESSAGES - A control circuit for an inductive power outlet configured to transfer power to an inductive power receiver includes a resonant circuit having a characteristic resonant peak and connected to a primary coil configured to inductively couple with a secondary coil of the inductive power receiver, a frequency driver operable to provide a driving voltage oscillating at an operating frequency higher than the characteristic resonant peak of the resonant circuit across the primary coil, a magnitude detector operable to monitor primary coil voltage, and a data demodulator operable to detect modulated peaks in primary coil voltage indicating that a communications modulator of the inductive power receiver has transitioned from a first state to a second state. The communications modulation determines a characteristic frequency of the peaks and extracts modulated data sent in communication signals from the inductive power receiver. | 02-05-2015 |
20150054355 | SYSTEM AND METHOD FOR TRIGGERING POWER TRANSFER ACROSS AN INDUCTIVE POWER COUPLING AND NON RESONANT TRANSMISSION - A triggerable power transmitter for power transmission from a primary coil to an inductively coupled secondary coil in a power receiver has a primary coil; a driver for electrically driving the primary coil; a front end receiving analog signal indicative of resonance properties of the primary coil and generating digital information in response to the analog signal; and a processor capable of: determining if said primary coil is coupled to a secondary coil based on the digital information, and triggering power from the primary coil to said secondary coil when said primary coil is inductively coupled to said secondary coil. The effective inductance of the primary coil increases reducing the resonance frequency when a secondary coil is inductively coupled to the primary coil. However, foreign material such as a metal sheet placed on the primary coil increases the effective resistance thus shortening the decay time of the resonance. | 02-26-2015 |
20150195013 | WIRELESS POWER RECEIVER AND HOST CONTROL INTERFACE THEREOF - A wireless power receiver, configured to receive power from a wireless power outlet and to communicate with a host for providing electrical power thereto, is provided comprising a secondary inductive coil configured to receive power from a primary coil of the wireless power outlet, and a host control interface configured to facilitate communication between the wireless power receiver and the host. The host control interface comprises contacts, one or more information-carrying contacts configured to conduct at least one of a clock and a data signal between the wireless power receiver and the host, supply input and power supply ground contacts configured to cooperate to provide current between the wireless power receiver and the host, an interrupt-signal contact configured to carry an INTERRUPT signal from the wireless power receiver and the host, and an enable-signal contact configured to carry an ENABLE signal from the host to the wireless power receiver. | 07-09-2015 |
20150214750 | WIRELESS POWER SYSTEM - A wireless power system comprising a secondary unit and a wireless power outlet configured to provide an electric charge wirelessly to the secondary unit comprises a primary inductive coil connected to a power source via a driver configured to provide an oscillating driving voltage to the primary inductive coil. The secondary unit is configured to receive an electric charge wirelessly from the wireless power outlet, and comprises a secondary inductive coil wired to an electric load. The wireless power outlet and secondary unit are each configured to ensure compatibility with one another. | 07-30-2015 |