Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
The number of software-driven features within a modern automotive powertrain rises significantly. With increasing number of features, also the risk of undesired interactions between those features rises drastically. This leads to new challenges with regard to efficiency in testing such automotive features. Automated Feature-Interaction-Testing significantly increases the efficiency of such feature...
Vehicles which satisfy ever increasing needs for comfort, safety and environment protection uses electronic engine. Electronic Control Unit (ECU) is the brain of electronic engine. Overall operation of electronic engine is controlled by ECU software. As customer needs are increasing, ECU software is becoming more and more complex. Testing of such complex software manually is difficult as well as time...
Any small defect is not permitted in the industry, so PLC real-time engine performance is very important for industry robot control system. Because these industrial characteristic, a new untested system can't be used in real field.
The rationale behind domain specific modeling in software engineering is to raise the level of abstraction while boosting automation in software production. Domain-specific languages (DSLs) typically fall into two categories: high-level, script-like languages and visual modeling languages. The code generation engines that come with them are capable of translating what are written (or visually expressed)...
Automated test framework plays a significant role in test driven software development methodologies. The XUnit family of testing tools has been widely used in the industry. However, they are weak in supporting test case generation and test result checking. In this paper we propose a new kind of test automation framework by integrating data mutation testing and metamorphic testing methods. A tool for...
We developed an UML-State-charts Object Oriented Design Pattern for PLCs IEC61131-3. This PLC UML-State-chart Design Pattern aims to explore the advantage of Object Oriented Programming by IEC61131-3 in PLCs, and to provide a direct map of UML State-chart to PLC code. We illustrates the design pattern and its use through UML Class diagrams and an application example. This Design Pattern can be used...
Automated testing is a hot topic in computing testing society. The automated test management is an important component in this domain. Workflow Management System(WfMS) is a powerful tool to support software testing process management and automation. Java Business Process Management (jBPM) is a flexible and extensible framework combing the convenience of workflow capabilities and the outstanding scalability...
Logistics system is an important element for the engine production line, and the automation degree affects the efficiency of the production line. This paper presents an automatic logistics system for the engine cylinder block production line, based on a type identification and tracking subsystem, and an automatic transmission and storage subsystem. The logistics system achieves the mixed manufacturing...
Reusing software processes from a Software Process Line (SPL, i.e., a set of software processes that captures their commonalities and variabilities) and automating their execution is a way to reduce development costs. However, to our best knowledge no approach integrates both aspects. The difficulty is to automate the execution of a process whose variability is only partially resolved (i.e., a value...
Validation of configuration and security compliance at the time of creating new service is an important part of service management process and governance in most IT delivery organizations. It is performed to ensure that security risks, governance controls and vulnerabilities are proactively managed through the lifecycle of the services, and to guarantee that all discovered problems and issues are...
Current research on the reconfiguration of automated industrial manufacturing systems focuses mainly on the reconfiguration of the production process. For uninterrupted operation also the distributed control system has to allow for reconfiguration during runtime. In this paper a method for dynamic redeployment of control software during runtime is presented, comprising a structural and behavioral...
We report in this case-study paper our experience and success story with a practical approach and tool for unit regression testing of a SCADA (Supervisory Control and Data Acquisition) software. The tool uses a black-box specification of the units under test to automatically generate NUnit test code. We then improved the test suite by white-box and mutation testing. The approach and tool were developed...
Testing practice has a critical place during the design, implementation and integration of software, hardware and complex systems composed of these. Cost of failures caused by bugs that could not be detected and fixed early in the process increase in a multiplicative way and adversely affect the overall projects costs. However, trying to do comprehensive tests generating correct outputs is also costly...
Current model-driven software product line development is mostly based on feature/variability modeling techniques, however, we see the potential for automatic assistance in identifying the commonality and variability of a set of models within the domain and synthesizing the product line model based on those. This paper presents a generic approach for synthesizing a software product line using model...
AADL (Architectural Analysis & Design Language) is an architecture description language standard for embedded real-time systems, and it is widely used in aerospace and other safety-critical applications. However, the AADL standard lacks at present a formal semantics. This paper proposes a formal semantics and a verification framework of AADL models with regard to mode change. The precise semantics...
In recent years to sustain competitive advantages, manufacturing enterprises strive for improvements in their monitoring and control of enterprise processes. Hence in the current contribution, an event driven software framework for enabling enterprise integration (EI) and enhancing control of enterprise processes is presented. The proposed framework is composed of four main components: First, a data...
This paper discusses the development of a reusable and customizable test automation framework for testing of avionics systems at the system, integration and unit testing phases of the V-model system development life cycle. The increased system complexity and involvement of multiple streams of engineering (electrical, mechanical, software etc) has resulted in Co-design of hardware and software, hence...
This paper makes a case for Source Code Analysis and Manipulation. The paper argues that it will not only remain important, but that its importance will continue to grow. This argument is partly based on the 'law' of tendency to executability, which the paper introduces. The paper also makes a case for Source Code Analysis purely for the sake of analysis. Analysis for its own sake may not be merely...
Test automation systems used for developing combustion engines comprise hardware components and software functionality they depend on. Such systems usually perform similar tasks; they comprise similar hardware and execute similar software. Regarding their details, however, literally no two systems are exactly the same. In order to support such variations, the automation system has to be customized...
Models of software intensive systems often are unnecessarily complex due to inappropriate modeling language capabilities. In the context of model driven generation of automation system parameters, we propose a multi-level modeling approach to prevent unnecessary complex models. The mechanism, based on a unified notion of classes and objects, allows modeling the domain entities concisely and builds...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.