A pattern-matching approach for automated scenario-driven testing of structured computational policy

Download
Author
Sezgin, Mehmet.
Date
2001-09Advisor
Michael, James Bret
Riehle, Richard.
Metadata
Show full item recordAbstract
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.
Rights
This 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.Collections
Related items
Showing items related by title, author, creator and subject.
-
Certifying Tools for Test Reduction in Open Architecture
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 ... -
Constructing an Automated Testing Oracle: An Effort to Produce Reliable Software
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 ...