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.
Signal software for high-speed railways is safetycritical, controlling communications between trains, tracks, stations, and signals. It is necessary to test railway signal software rigorously. However, ad-hoc approaches still dominate in practice. We proposed a hybrid approach that uses combinatorial testing (CT) and model-based testing (MBT). We applied this systematic approach to testing track circuit...
Fault localization techniques have been applied to database and data-centric applications that use SQL or SQL-based languages. However, existing techniques can only identify the SQL statements that have faults, but not determine the precise location of the faults within SQL statements. Since SQL statements can be rather complex, programmers are still left with a difficult repair chore. We propose...
A track circuit is a critical component of a modern railway system. The circuit is used to detect the absence of a train on rail tracks and produce corresponding control signals. A railway track has many block sections, each of which has a separate track circuit device. A track circuit receiver analyzes signals sent from a track circuit sender and produces a signal to control a relay. When the train...
We improve the interpolation accuracy and efficiency of the Delaunay tessellation field estimator (DTFE) for surface density field reconstruction by proposing an algorithm that takes advantage of the adaptive triangular mesh for line-of-sight integration. The costly computation of an intermediate 3D grid is completely avoided by our method and only optimally chosen interpolation points are computed,...
This paper identifies three problems when testing software that uses Hadoop-based big data techniques. First, processing big data takes a long time. Second, big data is transferred and transformed among many services. Do we need to validate the data at every transition point? Third, how should we validate the transferred and transformed data? We are developing a novel big data test framework to address...
Test driven development (TDD) is the practice of writing unit tests before writing the source. TDD practitioners typically start with example-based unit tests to verify an understanding of the software's intended functionality and to drive software design decisions. Hence, the typical role of test cases in TDD leans more towards specifying and documenting expected behavior, and less towards detecting...
Model-based testing creates tests from abstract models of the software. These models are often described as graphs, and test requirements are defined as sub paths in the graphs. As a step toward creating concrete tests, complete (test) paths that include the sub paths through the graph are generated. Each test path is then transformed into a test. If we can generate fewer and shorter test paths, the...
With the development of ARM (Advanced RISC Machines) microprocessor embedded system, a method of graphical programming software development is more and more important. The system consists of PC graphical programming software, USB program transmitter and ARM development platform. It is mainly used for developing of graphic software. It can program conveniently through the graphical way, and can perform...
The need for better software continues to rise, as do expectations. This, in turn, puts more emphasis on finding problems before software is released. Industry is responding by testing more, but many test engineers in industry lack a practical, yet theoretically sound, understanding of testing. Software engineering educators must respond by teaching students to test better. An essential testing skill...
Introduced was the development and implementation for the water pollution control technology database platform based on general management information system. The technology research and application demonstration of the system were developed, covering six fields such as lake water pollution treatment and ecological restoration, improvement of environment quality of urban water, drinking water safety,...
Creating GUI can be a time and money consuming work in application development. In AUTOSAR methodology for automotive electronics software development, configuration GUI with a large number of configuration items is required in the ECU (Electronic Control Unit) configuration step. To reduce the development time and cost, and meet the requirement of future update of AUTOSAR standard, we present a way...
Risk assessment is the base of software project risk management. According to risk assessment's objective and correlative literatures analysis, the risk assessment's criterion system is established in the paper. Then fuzzy linguistic multiple attribute decision making method is utilized to assess software project risk. The method estimates risk criteria values using linguistic terms based on triangular...
When an application manages multiple XML documents, the references between them need to be validated before any further operation. In this paper, we present a general validating mechanism based on a model which describes references between two or more XML documents as directed graphs. A formal system is presented and we prove that the correlating validation of many-to-many XML documents could be simplified...
As the automotive electronic system grows larger and more complex, research on software architecture and development methodology becomes more important. This paper proposes a component-based hierarchical software platform for automotive electronics - SmartSAR, which follows the AUTOSAR specification and provides a series of tools for model-driven development, visual configuration and automatic generation...
With recent increased expectations for quality, and the growth of agile processes and test driven development, developers are expected to do more and more effective unit testing. Yet, our knowledge of when to use the various unit level test criteria is incomplete. The paper presents results from a comparison of four unit level software testing criteria. Mutation testing, prime path coverage, edge...
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.