Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: Systems, devices, and techniques are disclosed for differentiating a therapeutic dose and a priming event to properly administer medication to patients. In one example aspect, a method for differentiating therapeutic doses and priming events in administering a medication to a patient includes determining a time window for monitoring dispensing of the medication by an injection pen device. Multiple dispense events each releasing an amount of the medication occur in the time window. The method also includes classifying dispense events prior to a last dispense event in the time window as priming events or therapeutic doses and designating the last dispense event in the time window as a therapeutic dose for facilitating calculation and tracking of a dosage amount for the patient.

Abstract: Disclosed are systems and techniques providing alternatives to traditional insulin dose calculators that involve little to no input from a patient user of a medicine injection device, including a fixed-dose titration therapy dose calculator and a streamlined dose calculator. In some aspects, a system for administering a medicine using a fixed-dose titration protocol includes an injection pen device in wireless communication with a mobile communication device comprising a software application to determine a recommended one or more fixed-dose sizes of the insulin based on (i) health data, including first glucose level of a patient user of the injection pen device that is measured prior to consumption of a meal and a second glucose level of the patient user that is measured within a predefined time period after consumption of the meal, and (ii) meal data, including a meal type of the meal and a meal size of the meal.

Abstract: 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.

Abstract: 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.

Abstract: Software development tools, such as a static analyzer, debugger or source browser, incorporates techniques to process macro expansions and provide display of macro expansion information, so as to facilitate program analysis and debugging during the development process. The tool processes macro expansions during a build of a programming project's source files, and collects and records the macro expansion information into an output file or database. The tool then utilizes the recorded information to provide a display of the macro expansions in a graphical user interface of the tool, such as for source browsing or viewing static analysis.

Abstract: Software development tools, such as a static analyzer, debugger or source browser, incorporates techniques to process macro expansions and provide display of macro expansion information, so as to facilitate program analysis and debugging during the development process. The tool processes macro expansions during a build of a programming project's source files, and collects and records the macro expansion information into an output file or database. The tool then utilizes the recorded information to provide a displays of the macro expansions in a graphical user interface of the tool, such as for source browsing or viewing static analysis.