Abstract: Tools that provide quality assurance to improve the efficiency of developing software using a Finite Input Output Semantic Model (FIOSM, or herein referred to as a Semantic Model (SM) or Semantic Model Program) and automated reasoning services compatible with a semantic model. Exemplary embodiments of the tools allow a user to validate a semantic model and its related source software system and executable, while providing the enormous benefit of automating the quality assurance process. Instead of rigorous manual analysis of code to determine where a problem resides, the tools, through their relationship with the semantic model, visualize for the user on a display or in another tangible media where in the source software system a problem(s) resides.

Abstract: Aspects of the invention relate generally to software, and more specifically to one or more specifically to software development, FIOSM creation, comparison and subsumption in a software environment and software quality assurance. An exemplary embodiment includes the processes of: (i) designing and verifying that a computer language can completely and correctly generate a Finite Input-Output Semantic Model (FIOSM); and (ii) generating, typically using automation, a FIOSM for a program or system of several programs written in a FIOSM-compatible language.