The scientific scheduling of maintenance support resources in the war is very important to accomplishing the task of maintenance support, but the finity of maintenance support resources has a demand that the commander...
详细信息
The composite vector function is introduced, which is applied to multiobjective programming with equality constraints and inequality constraints, three theorems on the optimality sufficient condition are established i...
详细信息
A wide variety of programming abstractions have been developed for cyber-physical systems. These approaches provide support for the composition of cyber-physical systems from generic units of application functionality...
详细信息
Saddle points formed through morphologic erosion and existing between adjacent connecting objects in 2D images have been applied for segmenting purposes. In this article, a new approach is presented for searching the ...
详细信息
Range reduction is widely used in the element function library and high performance computing applications. A new rang reduction algorithm and an improved one based on the Payne and Hanek Algorithm are proposed. Using...
详细信息
Coriolis mass flowmeter (CMF) is becoming a research hotspot in flow measurement for its high accuracy and multi-parameter measurement. Through the dynamic study on CMF's vibrating model, get the conclusion that t...
详细信息
Due to the frequent non-existence of an automated oracle, test cases are often evaluated manually in practice. However, this fact is rarely taken into account by automatic test data generators, which seek to maximise ...
详细信息
ISBN:
(纸本)9781450301381
Due to the frequent non-existence of an automated oracle, test cases are often evaluated manually in practice. However, this fact is rarely taken into account by automatic test data generators, which seek to maximise a program's structural coverage only. The test data produced tends to be of a poor fit with the program's operational profile. As a result, each test case takes longer for a human to check, because the scenarios that arbitrary-looking data represent require time and effort to understand. This short paper proposes methods to extracting knowledge from programmers, source code and documentation and its incorporation into the automatic test data generation process so as to inject the realism required to produce test cases that are quick and easy for a human to comprehend and check. The aim is to reduce the so-called qualitative human oracle costs associated with automatic test data generation. The potential benefits of such an approach are demonstrated with a simple case study.
Persistent Data Library (PDL) manages object persistence in C++ applications. PDL abstracts persisting features and provides an easy programming environment to the programmer. It offers a set of data structures which ...
详细信息
Vulnerabilities do enormous harm to personal computers. What is worse, with emergence of much more applications of computer networks nowadays, network security caused by vulnerabilities has become an important issue. ...
详细信息
Modern multiprocessor architectures have exacerbated problems of coordinating access to shared data, in particular as regards to the possibility of deadlock. For example semaphores, one of the most basic synchronizati...
详细信息
暂无评论