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.
Docking an autonomous underwater vehicle is a critical part of many current and envisioned Navy, commercial, and scientific missions. In the Defense Advanced Research Projects Agency's (DARPA) Tactical Undersea Network Architectures (TUNA) program, docking a vehicle is a key enabler for several of the proposed concepts of operation. To support the program, a series of risk reduction tests were performed...
Unit testing is based on the idea that units under test behave in a reproducible and deterministic way. If the unit's code is dependent on external context factors like time or location, these factors have to be controlled in order to produce meaningful results. Spaced repetition mobile learning games in which users are reminded to play at time intervals are based on previous user interaction with...
A multi-channel real-time sound pressure spectrum analyzer was demonstrated for investigating abnormal noises of tapered roller bearings (TRBs). The sound sensing system was developed to replace the existing quality-control method conducted by human ears. All data collected by proto-type were performed by using data processing module. The background was identified at a low frequency band. Peaks at...
As continuous delivery and continuous integration practices become more prevalent in industry, the need for education in these areas grows. Introducing these topics introduces complexities due to the learning curve of the involved tools and the amount of time available for teaching these topics. Furthermore, there has been limited research into effective teaching practices for incorporating continuous...
Even the most innovative healthcare technologies provide patient benefits only when adopted by clinicians and/or patients in actual practice. Yet realizing optimal positive impact from a new technology for the widest range of individuals who would benefit remains elusive. In software and new product development, iterative rapid-cycle “agile” methods more rapidly provide value, mitigate failure risks,...
Software engineering (SE) educators are challenged to balance the scope and depth in their courses to train students in skills which will fulfill the ever-evolving industry needs. Capstone courses are a tool for educators to transfer hands-on experience into practical knowledge and skills of SE students. This paper describes the design of a Casptone course, at Lappeenranta University of Technology...
This paper demonstrates a methodology for how the organizations that employ complex enterprise systems of systems can significantly improve cyber defense while decreasing overall operating costs by using formal methods. The paper demonstrates an approach that uses an event-based methodology to formalize all types of enterprise behavior, to include system, human, and environmental events.
In recent years, Blockchain technology has been highly valued, and the related applications have begun to be developed in large numbers. A smart contract is a software component encompass business logics and transactions that run on a blockchain. Thus, verifying whether the contract logics fully reflect the business requirements are one of the most important software engineering issues in blockchain...
This paper presents a generalized modeling framework of fault detection and correction processes with bivariate distributions. The presented framework includes almost all existing software reliability growth models, namely the models in which both fault detection and correction processes are described by non-homogeneous Poisson processes. In our framework, the time dependency of fault correction time...
Test Automation Platform©1 (TAP) is a software system that developers can use to test their own hardware or software (or combinations of both). Developers create TAP test plans by combining and configuring individual test steps in a GUI. Developers can also develop their own test steps with .NET to better suit their needs. Since (manual) programming is always prone to errors, TAP users need...
The decisional capability of robotic systems has expended significantly in recent years. Their validation typically implies expensive and laborious test campaigns in the field. Part of the validation could use simulation means, but there is currently no systematic method to test robots in virtual worlds. This work aims to provide such a method. We discuss the challenges regarding the definition of...
Automatically generating unit tests is a powerful approach to exercise complex software. Unfortunately, current techniques often fail to provide relevant input values, such as strings that bypass domain-specific sanity checks. As a result, state-of-the-art techniques are effective for generic classes, such as collections, but less successful for domain-specific software. This paper presents TestMiner,...
Regression testing is an important part of software development, but it can be very time consuming. Regression test selection (RTS) aims to speed up regression testing by running only impacted tests—the subset of tests that can change behavior due to code changes. We present STARTS, a tool for STAtic Regression Test Selection. Unlike dynamic RTS, STARTS requires no code instrumentation or runtime...
Predicting the number of defects in software modules can be more helpful in the case of limited testing resources. The highly imbalanced distribution of the target variable values (i.e., the number of defects) degrades the performance of models for predicting the number of defects. As the first effort of an in-depth study, this paper explores the potential of using resampling techniques and ensemble...
Rising cost pressure and increasing engineering efforts reach the automation departments of machinery and plant engineering industry, in this case the rolling mill manufacturer. A suitable way to overcome this challenges is to adapt concepts and procedures from the software engineering domain. To support this process, the authors present the requirements for the next generation automation solution...
Teaching programming using Massive Open Online Courses (MOOCs) is gaining popularity due to their scalability and efficiency of knowledge distribution. However, participating in these courses usually means fully committing to the supplied programming environment in the browser. While this allows a consistent and controllable setup, learners do not gain experience with actual development tools, such...
In this paper some popular techniques of analog-to-digital converter parameters measurement are compared. The structure of the proposed software-hardware complex and experiment procedure are described. Experimental results are presented.
Integrated Computer Control System (abbr. ICCS) of large-scale laser facility uses a scalable software architecture to manage more than 10,000 control points to operate 48 powerful laser beamlines, provides for the integration of all elements of laser and target area distributed subsystems to form an overall operational control system. Fault detection and diagnosis test are the important technique...
Line impedance stabilization network (LISN) is an important tool to provide noiseless power supply in electromagnetic compatibility (EMC) testing. There are several brands of LISN that are recognized in the market. However, the quality of measurement provided by the LISN is not dependent upon the quality of the product, but also its application scheme. This paper investigates the effect of grounding...
A key feature of Software Defined Network is the decoupling of control pane and data plane. Although delivering huge benefits, such a decoupling also brings a new risk: the data plane states (i.e., flow tables) may deviate from the control plane policies. Existing data plane testing tools like Monocle check the correctness of flow tables by injecting probes. However, they are limited in four aspects:...
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.