About conceptual model of the test control problem (original) (raw)
Related papers
The Object-Oriented Design of Intelligent Test Systems
AUTOTESTCON-IEEE-, 1993
Recent IEEE and Department of Defense (DoD) initiatives to standardize automatic test equipment (ATE) architectures are providing unique opportunities to improve the development of test systems. The purpose of A Broad Based Environment for Test (ABBET) initiative is to provide the next generation in ATE and test program set (TPS) development through the standardization of test services and test development tools. The Artificial Intelligence and Expert System Tie to Automatic Test Equipment (AI-ESTATE) initiative will ...
Proposing Innovative Modeling of Testing Related Concepts
MONOGRAFIAS EM CIÊNCIA DA COMPUTAÇÃO, 2018
As the recognition of systematic software testing increases, there is a need to conceive modeling techniques to explicitly document key concerns associated with test cases. Modeling techniques are known as a good way to perform such documentation, because they provide abstractions and a visual notation to represent testing-specific concerns, therefore facilitating the communication among the members of the project team. Based on this context, this research aims to provide a test conceptual framework that represents relevant test concepts which are not considered by well known test approaches, such as TTCN-3 and UML Testing Profile. From this proposal we intend to reduce overall testing time in systems related to different domains. Industrial systems will be used to test and analyze this new approach.
Automated Test Case Generation for Industrial Control Applications
Studies in Computational Intelligence, 2013
The need for increasing flexibility of industrial automation system products leads to the trend of shifting functional behavior from hardware solutions to software components. This trend causes an increasing complexity of software components and the need for comprehensive and automated testing approaches to ensure a required (high) quality level. Nevertheless, key tasks in software testing include identifying appropriate test cases that typically require a high effort for (a) test case generation/construction and (b) test case modification in case of requirements changes. Semi-automated derivation of test cases based on models, like UML, can support test case generation. In this paper we introduce an automated test case generation approach for industrial automation applications where the test cases are specified by UML state chart diagrams. In addition we present a prototype application of the presented approach for a sorting machine. Major results showed that state charts (a) can support efficient test case generation and (b) enable automated generation of test cases and code for industrial automation systems.
Implementing Test Automation Framework Using Model-Based Testing Approach
2018
There are various stages present in the process of software testing lifecycle which starts mainly with the requirement review process, proceeds with test planning, test designing, test case development and execution of test cases and ends with test reporting phase. This paper will emphasize mainly on the application of model-based testing with test automation frameworks for automating the test designing and test development phases of software testing lifecycle. In the test development phase it mainly provides information about using model-based testing in the activity related to the development of test automation scripts for execution of tests. This mainly tells about the steps involved in the implementation of test automation framework using the approach of model-based testing. Test development and test designing both can be automated to decrease the amount of human effort and cost for the same in the project. The development of test scripts which includes both automated and manual...
A System for Multi-variant Multi-parametric WEB-based Test Control
The necessity of development of a system for WEB-based test control has been examined in the present report. A classification of the multi-variant and multi-parameter models in the developed system has been made. A simple structure and a user interface of the system have been suggested. The realized in the WEB-based system models has got multimedia character and expands the possibilities and the application areas of the test control.
Model driven automatic unit testing technology tool architecture
Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033), 1999
Traditional approaches to unit testing involve establishing test vectors from the source code and establishing expected results that can be used to determine if a particular case has been addressed. This approach is time consuming and expensive. The availability of Computer Aided Control System Design (CACSD) tools for software modeling has permitted expected values to be automatically established from an executable specification. Further automation and implementation independence can be achieved by generating test vectors directly from the executable specification. A model driven automatic unit testing tool architecture and specification has been established. This paper discusses the architecture and requirements of such a tool. Topics include control coverage, data flow coverage, domain coverage, path sensitizing and test management.
Test-data generation for control coverage by proof
Formal Aspects of Computing, 2013
Many tools can check if a test set provides control coverage; they are, however, of little or no help when coverage is not achieved and the test set needs to be completed. In this paper, we describe how a formal characterisation of a coverage criterion can be used to generate test data; we present a procedure based on traditional programming techniques like normalisation, and weakest precondition calculation. It is a basis for automation using an algebraic theorem prover. In the worst situation, if automation fails to produce a specific test, we are left with a specification of the compliant test sets. Many approaches to model-based testing rely on formal models of a system under test. Our work, on the other hand, is not concerned with the use of abstract models for testing, but with coverage based on the text of programs.
The Determination of Results of Knowledge Test Control by Means of the Hierarchical Structures
2007
Development of the methodology of designing of electronic textbooks with an opportunity of individual learning strategy's identification is considered in the article. In this regard a formal approach aimed at research of knowledge testing results is suggested on the basis of the hierarchical structures. Analytical decision of the objective has been elaborated and realised in practice in Common Lisp language.
Modern information and communication systems (ICS) are characterized by a high level of complexity of the components being developed, and, above all, by their software (SW). In its turn, the specified development complexity may have a significant impact on the quality of the final software product. One of the defining phases of the SW life cycle at which the control of its quality is realized is the testing phase of the SW. Software testing is the consistency check between the actual and the expected behavior of the software product carried out on a finite set of test kits. And the expected behavior, as a rule, is represented directly in the form of the SW requirements. In the future, this article deals with the problems of the development of the test kits based on the requirements for object-oriented software of an ICS information subsystem. Developing test kits is among the most time-consuming and intellectual activities during the SW testing. The process of designing test kits itself is offered to be considered within the framework of the appropriate information technology. One of the effective approaches to the development of test kits for testing systems depending on the adoption of logical decisions are the methods based on the use of decision charts (DCs) [1]. However, the existing apparatus of DCs has some drawbacks preventing from its effective use in this capacity, for example, their descriptive capabilities are somehow limited, the complexity of identifying the type of unreported cases in the DCs, etc. Thus, there is a need in improving the information technology of test kits development based on SW requirements, in particular with the use of DCs, as well as direct improvement of the apparatus they are based on [2]. Myers and others are known [ 1, 2-8]. At the same time, their proposed technological approaches use either informal methods of test kits description (for example, a method based on applying a user scenarios), or method focused on a fairly narrow classes of problems (for example, the state models), or which do not contain the control methods and means of the developed tests' correctness (for example, a method of all pairs), etc., which, in its turn, does not allow to obtain an effective and simple enough description of passable test kits for practical usage to verify compliance with the requirements for the software of the ICS information subsystem. III. THE PURPOSE OF THE ARTICLE The purpose of the article is to improve the information technology of test kits development based on SW requirements of the ICS information subsystem using the improved DCs (the regularized cascading decision charts (RCDCs)) allowing to increase the completeness of coverage by the projected test kits of the software requirements for the software as well as the accuracy of the tests themselves. ABSTRACT The article presents an advanced information technology of developing test kits based on software requirements using regulated cascading decision charts, providing the increase of coverage completeness by the projected test kits of software requirements and the accuracy of the tests themselves. The article presents an advanced information technology of developing test kits based on software requirements using regulated cascading decision charts, providing the increase of coverage completeness by the projected test kits of software requirements and the accuracy of the tests themselves.
Study of Requirement of Automated Testing
With the ever-increasing complexity of embedded software applications, and the emergence of more and more safety critical applications, thorough validation and verification of the code is needed. To address this need, many embedded software development groups are using models and doing upfront engineering before testing on the final product. Using the old style of testing late in the development cycle resulted in very long and expensive release cycles. Ford estimated that 60% of work tasks were to correct requirements or design defects that had been released to downstream developers. With today's increasing need to get to market quickly with a safe product, this old style of testing is not adequate. Ford also used randomly generated unit test vectors, due to the lack of a commercially available tool, which only had approximately 75% coverage. Because of the need for safe systems, this level of testing is insufficient. This paper presents requirements for model checking and unit test generation tools so that the tools are practical in a large production environment that is typical in the automotive industry.