The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
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...
In the software testing contest, practitioners and researcher's are invited to test their test approaches against similar approaches to evaluate pros and cons and which is perceivably the best. The 2017 iteration of the contest focused on Graphical User Interface-driven testing, which was evaluated on the testing tool TESTONA. The winner of the competition was announced at the closing ceremony of...
Developing for a global market requires the internationalization of software products and their localization to different countries, regions, and cultures. Localization testing verifies that the localized software variants work, look and feel as expected. Localization testing is a perfect candidate for automation. It has a high potential to reduce the manual effort in testing of multiple language...
Laboratory work and experimentation is the most important cornerstone in engineering education. However often times there are not resources enough in the laboratories of industrial automation, or enough time to apply the knowledge acquired in lectures. Therefore, it is necessary to have support systems that enable students to learn in an autonomous way and teach them in the management of physical...
It is apparent that implementing Combinatorial (CT) Testing, being relatively new to many organizations, comes with both technical and non-technical challenges. This paper focuses the technical challenges and how they were addressed in implementing CT for solutions testing. The author believes that these challenges are not unique to solution testing, and that they are equally applicable to implementations...
Identification of an adequate invariant is valuable for reasoning about the correctness of code involving a loop, informally or formally. Almost every modern system for automated verification demands that programmers annotate their code with assertions, such as invariants to facilitate automation. But many learners struggle to grasp how to arrive at an assertion that remains an invariant and is sufficiently...
Web applications are meant to be viewed by human user. Quality of web application is our primary concern. An application is said to be a quality application when the users do not face any problem while using it. For this purpose performance testing is needed. For getting knowledge about the performance issues (such as response time), performance testing is performed. Performance testing basically...
The large demand for cost reduction of system operation has made the shift to runbook automation essential, because runbook enables both the operational cost to be reduced and operational quality to be improved. Because of the reduction in the cost of automation development, it is important to assess the operation manuals in advance and to select the operational tasks to automate. In the assessment,...
Trends in aviation systems continue a natural progression towards certain characteristics: autonomy, complexity, safety-criticality. These trends are largely inevitable, as new technology offers new capabilities (e.g. advanced sensors, fast processing, and ubiquitous connectivity at low cost and high availability). However, these trends drastically intensify certain verification and validation (V&V)...
Digital policy management forms the backbone of policy based management paradigm. This paradigm is useful for cognitive systems that address situation awareness, common operating picture, smart networks, and cost effective and efficient operations. Our research in this emerging area has provided a detailed view of what the internal structure of a digital policy looks like, and what functions the digital...
Test environments are a critical prerequisite for successful test automation. The definition, setup and maintenance of a test environment are a common source for pitfalls and a major cost driver in test automation. This paper describes the practical challenges involved in managing test environments and discusses solutions proposed in the literature and by academic research. The identified challenges...
Today's production plants are not conceivable without automation systems. Due to the increasing complexity of production plants and therefore of automation systems, delays and interruptions in automation projects are observed. A design model for more efficient planning of industrial automation systems is introduced. It is based on a new and practical proceeding for the construction of a requirements...
Assuring system integrity to a remote communication partner through attestation is a security concept which also is very important for safety-critical systems facing security threats. Most remote attestation methods are based on integrity measurement mechanisms embedded in the underlying hardware or software (e.g. operating system). Alternatively, the application software can measure itself, whereas...
Users adopt trust to reduce social complexity that can be caused by the lack of knowledge about the inner working of an information system. Our aim is to translate results from trust research about the transformation of user trust in new technologies into software requirement patterns. Therefore, we collect antecedents that build trust, and develop requirement patterns that demand functionality to...
Writing software is a difficult and expensive task. The large volume of software, lack of or partial software requirement and frequent update in software requirement makes software vulnerable without rigorous testing. Manual testing is infeasible in such an arena and lead to unwanted changes in code and specification. Because of increasing use of software in industry, automation of the software testing...
The Flying Machine Arena (FMA) is an indoor research space built specifically for the study of autonomous systems and aerial robotics. In this video, we give an overview of this testbed and some of its capabilities. We show the FMA infrastructure and hardware, which includes a fleet of quadrocopters and a motion capture system for vehicle localization. The physical components of the FMA are complemented...
Testing resources are usually involved in the early stage of the SDLC and execute formal Software Testing Life Cycle (STLC), which include test requirement analysis, test cases designing and implementation ,test planning, test execution, defect reporting and analysis, etc. It is expected to spent low cost on software testing process to provide high quality to meet the business requirements. In order...
Production automation systems consist of many entities (like robots and shuttles) that interact in complex ways to provide the overall system functionality like product assembly. Multi-Agent Systems (MAS) can simulate these system entities and their interactions to better understand the system behavior according to production strategies and system configuration, which are otherwise hard to determine...
The success of very large product lines systems with globally distributed stakeholders often builds significantly on the implicit knowledge of individuals. Final products are typically built by integrating numerous detailed specifications of subsystems. But how exactly all these parts can and need to be integrated to build valid end products is often left unspecified and to numerous discussions, reviews...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.