Medtronic Minimed, Inc.

Parasoft Corporation

Haripriyan Hampapuram

Michael Robert Mensinger

Eric Cohen

Arnold Holmquist

Roberto Scaramuzzi

Medical devices critical to patient health and safety that communicate with third party hardware and software, such as smart devices, require validation to ensure compatibility and correct performance. Disclosed are methods and systems to perform a self-validation of hardware and/or software components with a medical device to confirm that any combination of hardware and software are compatible and perform acceptably. If the self-validation passes then the user may safely use the system, and it may report to a cloud server that the particular configuration tested was successful. If the self-validation fails, the user will be prevented from using safety-critical aspects of the application and be notified of the incompatibility; and the results may also be reported to a cloud server.

Systems and methods for self-validation of hardware and software for safety-critical medical devices

Methods for self-validation of hardware and software for safety-critical medical devices

A system and method for recording a state of an object in a computer program being tested. The system and method include: identifying an object having a plurality of fields, each field having a value; executing the computer program including a unit test; recording the values of each field of the identified object; generating assertions for the unit test from the recorded values of each field of the identified object; and inserting the generated assertions into the unit test. The computer program including the unit test having the generated assertions may be re-executed to verify the assertions. Furthermore, the unit test having the generated assertions may be modified and the computer program including the modified unit test having the generated assertions re-executed to generate new assertions.

System and method for recording the state of variables and objects when running unit tests

Growing community of inventors

San Diego, CA, United States of America

Haripriyan Hampapuram