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.
Model oriented testing methods are known relatively long time, but the right time for viable deployment is coming up now with the continuously growing amount of vehicle electronic systems. Paper proposes a new Model-Based Testing approach to testing of automotive electronics systems. The key concept is the utilization of Timed Automata for online testing of automotive electronic control units. System...
Remanufacturing has been characterized as a critical component of the circular economy and an engine of the closed loop supply chain process. However, few researches focus on consumers' intention to purchase remanufactured products. To enrich researches on this, we propose an extended theory of planned behavior (TPB) by adding more explanative variables to investigate the affecting factors of consumers'...
The service-oriented architecture style supports desirable qualities, including distributed, loosely coupled systems spanning organizational boundaries. Such systems and their configurations are challenging to understand, reason about, and test. Improved understanding of these systems will support activities such as autonomic runtime configuration, application deployment, and development/testing....
For a long time, cartographers pay more attention to the quality control at the aspects of accuracy, logical consistency and completeness of cartographic geometry data. However, they ignored the theory and the research on the method of quality control at the aspects of aesthetics and visibility of map. For further research and application, the paper studies on the representation method of the cartographic...
The verification of modern microprocessor-based systems requires stressing the cache hierarchy and effectively covering its huge state space. Cache hierarchy initialization (or preloading) is a technique that enables simulation to start from a rich, complex system-level setup, thereby simplifying the task of dynamically driving the hierarchy into the required corner cases. In this paper we introduce...
Automobile driveline test system is used to test and study the driveline components and assembly (DCA). This paper introduces the structure and principle of the test system, illuminates the application of frequency conversion technology in the test of the DCA. The drive system commands the drive motor to produce the necessary speed (RPM) and torque to simulate engine power. The actual driving resistances...
Software testing is complex and costly. It has become increasingly difficult to assess the quality of software and evaluate its correctness due to the ever increasing complexity of the software implementations as well as their dynamic nature in terms of the requirements changes and functionality updates. It is practically not possible to test a software system for all possible combinations of inputs,...
Processors are verified for architectural correctness with instruction set simulators. Traditionally, this verification is done at the full-chip level with the focus on high-level register/memory correctness at each instruction execution. This approach is effective in a full-chip environment with all units in place so a test can be run from beginning to end. At the unit level, running a test means...
Load testing of Web applications can be specified by simulating realistic user behavior with stochastic form-oriented analysis models. Stochastic models have advantages over load test models that simply play back recorded session data: they are easier to specify and achieve a higher coverage of the different operational paths. There are challenges when specifying load tests such as the generation...
The Niagara2 CMT system-on-chip incorporates many design-for-test features to achieve high test coverage for both arrays and logic. All the arrays are tested using memory built-in-self-test. This is supplemented with scan-based testing. Logic is tested with standard ATPG for slow-speed defects and extensive use of transition test, along with logic built-in-self-test for the SPARC cores, for at-speed...
This paper describes a benchmarking workload model for business process execution language (BPEL) engines for Web services. The proposed model is based on simulation of real world traffic conditions by defining a set of requirements which best characterize the end-users. The performance characteristics are evaluated on top of collected measurements such as success/fail rate, response times or round-trip...
A model management workflow typically consists of a number of interdependent model-management tasks such as model validation, transformation, merging, comparison and text generation. As such workflows are becoming more and more complex, errors in individual tasks are likely to be propagated to subsequent tasks and eventually compromise the operation of the entire workflow. Therefore, building confidence...
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.