About conceptual model of the test control problem (original) (raw)
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.
A Framework for Automatic Testing of Industrial Controller Code
Software Engineering Research and Practice, 2006
The current trend in many industries is the introduction of more sophisticated optimization and control algorithms for enhancing production, regularity, and the operation of the plant. Some industries, like the automotive, have successfully used rapid prototyping tools like The Mathwork's Real- Time Workshop® in order to make development, testing, and implementation of new solutions more efficient. However, more traditional industries,
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...
Software Testing, Verification & Reliability, 2009
Computer-based control systems have grown in size, complexity, distribution and criticality. In this paper a methodology is presented to perform an ‘abstract testing’ of such large control systems in an efficient way: an abstract test is specified directly from system functional requirements and has to be instantiated in more test runs to cover a specific configuration, comprising any number of control entities (sensors, actuators and logic processes). Such a process is usually performed by hand for each installation of the control system, requiring a considerable time effort and being an error-prone verification activity. To automate a safe passage from abstract tests, related to the so-called generic software application, to any specific installation, an algorithm is provided, starting from a reference architecture and a state-based behavioural model of the control software. The presented approach has been applied to a railway interlocking system, demonstrating its feasibility and effectiveness in several years of testing experience. Copyright © 2008 John Wiley & Sons, Ltd.
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.
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.
Impact of Test Automation and Test Case Design Techniques -Challenges
Test Automation is more than a set of tests run to generate apparent results. It includes designing testware, implementing automated test cases, and monitoring and interpreting a broad range of results. Automation by simply running test cases without human interaction doesn't provide interesting test exercises. This paper describes key elements of automated testing that need to be considered, models for testing that can be used for designing test automation architecture. The paper first develops a general framework for discussion of software testing and test automation. This includes a definition of test automation, a model for software tests, and a discussion of test oracles. The remainder of the paper focuses on using various designing techniques for framework to plan for designing test cases.
Tri-service automatic test system R&D program
Proceedings of AUTOTESTCON '94
Recent changes in the state-of-the art in software development and test instrumentation has provided the Department of Defense with opportunities to reduce the cost of its automatic test systems (automatic test equipment and the software and information required to drive that equipment). In order to guide and enhance thk evolution, The three Services (USN, USAF, USA) have developed an automatic test system research and development program consisting of three broad areas; automatic test system functional interface convergence, next generation test environment, and automatic test system modernization methods. Thk program, when funded, wlll provide the technology necessary to transition to the open architecture test systems of the future. The balance of this paper will cover the eleven identified tasks under these broad areas, and how they form a coordinated, integrated basis for an improved acquisition strategy. I. BACKGROUND
Environment-Model Based Testing of Control Systems: Case Studies
Lecture Notes in Computer Science, 2014
A reactive system reacts to an environment it tries to control. Lurette is a black-box testing tool for such closed-loop systems. It focuses on environment modeling using Lutin, a language designed to perform guided random exploration of the System Under Test (SUT) environment, taking into account the feedback. The test decision is automated using Lustre oracles resulting from the formalisation of functional requirements. In this article, we report on experimentations conducted with Lurette on two industrial case studies. One deals with a dynamic system which simulates the behavior of the temperature and the pressure of a fluid in a pipe. The other one reports on how Lurette can be used to automate the processing of an existing test booklet of a Supervisory Control and Data Acquisition (SCADA) library module.