Software automates QA for business rules applications.
Share:
Press Release Summary:
Using model-based reasoning technology, qaSemantics(TM) automatically verifies application's adherence to business policies without requiring test cases and test data. Applications can be explored using integral graphs and charts to visualize behavior and spot exceptions. Able to fit into any application development approach, programming language-independent solution also generates logical model of application to eliminate any possibility of human error.
Original Press Release:
ioSemantics Launches Quality Assurance Automation Technology for Business Rules Applications
Extending the 2007 Turing Award winning Model-checking that transformed quality assurance in the semiconductor chip industry
CONIFER, Colo., June 6 -- ioSemantics announced today the launch of a revolutionary quality assurance automation technology for business systems. Similar to the 2007 Turing Award winning technology (http://acm.org/press-room/news-releases/turing-award-07/), qaSemantics(TM) brings patent pending* model-based reasoning technology to business rules applications. qaSemantics is used to automatically verify an application's adherence to business policies without the need for test cases and test data. qaSemantics' model-based reasoning technology can automatically verify the equivalent of an infinite combination of inputs against defined business policies, resulting in total system reliability and quality.
"ioSemantics builds upon the model-checking technology that has transformed quality assurance in the computer hardware, aeronautics and space industries, but using techniques more focused on the semantics of business rules in information systems. qaSemantics' technology will have a dramatic impact on the quality of business rule management. I know of no other technology that allows large business systems to be modeled and verified with the efficiency and flexibility provided by qaSemantics," said Ken Anderson, Associate Professor of Computer Science, University of Colorado at Boulder.
ioSemantics' President, Steve Bucuvalas, said the qaSemantics' technology is the culmination of two of his personal passions. "After thirty years of building business systems, and my avid interest in advanced theories of computer science, I am delighted to see these two threads in my life come together and be realized in such a pragmatic and revolutionary technology for information-intensive business industries such as financial services, insurance, and health care."
Total business rules application quality through automated reasoning
qaSemantics' technology automatically verifies business rules application quality by comparing business policies about the system to a logical, database-like model of the application's behavior. Automated, model-based reasoning is used to verify the overall input-output system behavior, and its impact on business data. qaSemantics accomplishes this complete quality automation without test cases or test data, achieving a 30% - 50% reduction in system development time and costs.
Business policy managers and application architects can explore an application by using qaSemantics' integral graphs and charts to instantly visualize application behavior and spot unexpected exceptions.
qaSemantics is programming language independent, intrinsically agile, and can fit into any application development approach.
Background
Quality assurance processes comprise, on average, between 40% and 60% of business system development time and costs. Much of this time and cost is spent on tedious and error-prone business and quality analysis, and the development of extensive test cases and test data. The resulting test coverage is only a small percentage of the total system, because there are an infinite number of possible system inputs for most business rules applications.
Model-checking is an ACM Turing Award winning method of using automated reasoning to validate the behavior of a logic-based system. This process uses automated reasoning methods to test all program states to insure correct system behavior, and has become the foundation of a quantum leap in quality assurance in the computer chip manufacturing industry and in high-risk real-time systems. Model-checking eliminates the need for quality analysis, test cases and test data.
qaSemantics builds upon these strengths, but adds patent pending* techniques for business rules applications that make quality assurance automation more business data focused, more agile and more intuitive. The comprehensive business data impact, and the reliability of business rules applications, is automatically and completely verified by qaSemantics' workbench of quality assurance tools.
qaSemantics automatically generates the logical model of the application, eliminating any possibility of human error, incompleteness or other errors, such as infinite loops, that could freeze an application at runtime.
About ioSemantics
ioSemantics, LLC (http://www.iosemantics.com/) is a company dedicated to bringing to market unprecedented innovation in business software engineering. ioSemantics has developed proprietary, patent pending software capabilities which dramatically reduce business system project development time and cost, while simultaneously delivering vastly improved project quality. The capability draws on fundamentally new model-based automated reasoning for the analysis of business systems.
ioSemantics has offices in Conifer, Colorado.
*One or more United States and foreign patent applications have been filed to protect the capabilities of qaSemantics.
CONTACT: Leslie Whitehouse of ioSemantics, LLC, +1-602-810-2155, leslie@iosemantics.com
