| 摘要 |
<p>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.</p> |
