Test Case Structuring and Execution Control in an Integration Framework for Heterogeneous Automatic Software Tests
نویسندگان
چکیده
Developing and maintaining large software systems can require the usage of a variety of different automatic test tools. The complexity of the tools leads to considerable overheads for administration and maintenance of the test cases, as well as for the analysis of the test results. The necessary know-how to handle the test tools may limit their acceptance. This paper describes an integration framework for heterogeneous automatic test tools that unifies the test case administration, test execution, and reporting of the test results.
منابع مشابه
An automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملAutomatic Test Generation for the Analysis of a Real-Time System: Case Stud
We present a framework for testing timing constraints of real-time systems. Our tests are automatically derived from speciications of minimum and maximum allowable delays between input/output events in the execution of a system. Our test derivation scheme uses a graphical speciication formalism for timing constraints, and the real-time process algebra Algebra of Communicating Shared Resources (...
متن کاملAutomatic Test Generation for the Analysis of a Real-Time System: Case Study
We present a framework for testing timing constraints of real-time systems. Our tests are automatically derived from speciications of minimum and maximum allowable delays between input/output events in the execution of a system. Our test derivation scheme uses a graphical speciication formalism for timing constraints, and the real-time process algebra Algebra of Communicating Shared Resources (...
متن کاملAutomatic Business Process Test Case Selection: Coverage Metrics, Algorithms, and Performance Optimizations
Business processes describe and implement the business logic of companies, control human interaction, and invoke heterogeneous services during runtime. Therefore, ensuring the correct execution of processes is crucial. Existing work is addressing this challenge through process verification. However, the highly dynamic aspects of the current processes and the deep integration and frequent invoca...
متن کاملAIDA II Automatic control in distributed applications
Machine industry faces a shift where more and more functionality is implemented in software on distributed computer systems. Many difficult problems then face designers including system modelling, analysis and management of multi disciplinary design teams. There is a need to transfer theoretical results to industrial practice, necessitating the integration of existing work from separate discipl...
متن کامل