ioSemantics Launches Quality Assurance Automation Technology for Business Rules Applications

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 /PRNewswire/ -- ioSemantics announced today the
launch of a revolutionary quality assurance automation technology for business
systems. Similar to the 2007 Turing Award winning technology
(http://www.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.
SOURCE ioSemantics, LLC

Leslie Whitehouse of ioSemantics, LLC, +1-602-810-2155,
leslie@iosemantics.com