Company Filing History:
Years Active: 2000
Title: **Innovations by David K Shema: Automated Validation and Verification of Computer Software**
Introduction
David K Shema, an inventive mind hailing from Cedar Rapids, IA, is recognized for his significant contributions to the field of software engineering. With a focus on improving the reliability and efficacy of software through automation, Shema has secured one patent that reflects his innovative spirit and technical proficiency.
Latest Patents
David K Shema holds a patent for an invention titled "Automated Validation and Verification of Computer Software." This method and apparatus are designed to automate the validation and verification processes of computer software. The invention ensures that during software testing, all lines of code are executed, and every branch in the software is exercised at least once. The process begins with the compilation of the software, leading to the generation of a link map. The compiled code is subsequently executed in a test fixture that assesses all essential functions. During this execution, a real-time monitoring process documents which lines of code have been exercised, and whether specific branches of the code were taken or not taken. This detailed analysis produces an execution record, allowing for comparisons between the initial link map and the generated instruction record to confirm coverage of all code lines.
Career Highlights
In his professional journey, David K Shema is affiliated with Honeywell G.m.b.h., a globally recognized company that focuses on technology and innovation across various sectors. At Honeywell, Shema has likely contributed to projects that allow companies to enhance their software products through advanced validation techniques, ensuring reliability and efficiency.
Collaborations
Throughout his career, David has collaborated with talented individuals such as Emray R Goossen and Carl Edward Lippitt. These partnerships underscore a shared commitment to fostering innovation and pushing the boundaries of software development through collaborative efforts.
Conclusion
David K Shema's innovative patent highlights an essential advancement in software validation and verification processes. His dedication to enhancing the reliability of software tools not only impacts his immediate work environment at Honeywell but also sets a precedent for future advancements in software engineering. As technologies evolve, Shema's contributions will undoubtedly inspire further innovations in the field.