A pattern-matching approach for automated scenario-driven testing of structured computational policy
Michael, James Bret
MetadataShow full item record
Organizations are policy-driven entities. Policy bases can be very large and complex; these factors are in the dynamic nature of policy evolution. The mechanical aspects of policy modification and assurance of the consistency, completeness, and correctness of a policy base can be automated to some degree. Such support is known as computer support for policy. We developed an object-oriented schema-based approach to structure policy. Our structural model consists of Unified Modeling Language class and collaboration diagrams. The structural model is used by a suite of testing tools. We present a case study to illustrate our approach to automated testing of policy. Our approach to test-case generation is based on the use of pattersn within policy statements and relationships between policy objects. The test spectrum has query-specific tests at one end, and the generic types of tests at the other end. We introduce the use of statistical inference to reuse test cases by determining the patterns that approximate the query-to-be-executed. Query mapping, anytime reasoning and fuzzy logic concepts in policies and their applications are discussed.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
Berzins, Valdis (2012-04-30); NPS-AM-12-C9P06R03-055In this paper, we describe a method for evaluating tools that can be used to guide decisions about how much retesting is needed and to check conditions under which testing of unmodified components can be reduced or avoided. ...
Software testing tools : analyses of effectiveness on procedural and object-orientated source code Snyder, Byron B. (Monterey, California. Naval Postgraduate School, 2001-09);The levels of quality, maintainability, testability, and stability of software can be improved and measured through the use of automated testing tools throughout the software development process. Automated testing tools ...
Luqi; Yang, Hongji; Zhang, Xiaodong (1994);Achieving reliability in practice is becoming a dominant issue in software engineering. This paper describes part of a systematic approach to producing reliable software that is based on automated support for software ...