Roman Salvador is an accomplished inventor based in La Jolla, CA. He has made significant contributions to the field of computer programming and dynamic debugging. With a total of 5 patents to his name, Salvador continues to push the boundaries of technology.

Latest Patents

One of his latest patents is titled "Method and system for dynamically invoking and/or checking conditions of a computer test program." This invention allows for the automatic creation of test cases that verify class and component functionality from DbC contracts. It ensures that when classes or components containing DbC contracts are integrated into a system, the invention automatically checks for correct usage. The contract information is utilized to generate more comprehensive and higher quality test cases. In one embodiment, the specification information of a code is analyzed, leading to the generation of a class with additional bytecodes that describe its intended functionality. The instrumented class is then integrated into the system, which is monitored during execution to automatically detect any contract violations.

Another notable patent is "Method using a computer for automatically instrumenting a computer." This method focuses on dynamic debugging of computer programs. It involves a sequence of statements in a programming language, which are separated into tokens representing operators and operands. A parse tree is constructed based on these tokens, and it is instrumented to create an instrumented parse tree that indicates error conditions during program execution. Object code is generated from this instrumented parse tree and stored for later execution, utilizing an error-checking engine to identify any present error conditions.

Career Highlights

Roman Salvador is currently employed at Parasoft Corporation, where he continues to innovate and develop new technologies. His work has significantly impacted the field of software testing and debugging.

Collaborations

Some of his notable coworkers include Adam K Kolawa and Wendell T Hicken, who have also contributed to advancements in software development and testing.

Conclusion

Roman Salvador's contributions to the field of computer programming and dynamic debugging are noteworthy. His innovative patents reflect his commitment to improving software quality and functionality.

This text is generated by artificial intelligence and may not be accurate.

Please report any incorrect information to support@idiyas.com