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.
In this paper we generalize a framework previously presented for the analysis of dyadic cooperation of finite state machines (FSM) performing code acquisition. Our aim is to tackle the limitations of this framework making it more general, and suitable for larger range of applications. Moreover, we introduce in our paper new Bidirectional (BD) cooperation strategies to exchange information among FSMs...
Currently multiple Domain Specific Languages (DSLs) are used for model-driven software development, in some specific domains. Software development methods, such as agile development, are test-centered, and their application in model-based frameworks requires model support for test development. We introduce a specific language to define generic test models, which can be automatically transformed into...
While pursuing high performance and cost effectiveness for directed acyclic graph (DAG)-structured scientific workflow executions in the cloud, it is critical to identify appropriate resource instances and their quantity. This paper presents a testing engine that employs a resource-selection heuristic, which statically analyzes the DAG structure to guide the selection of resource instances, how many...
Automated testing is a hot topic in computing testing society. The automated test management is an important component in this domain. Workflow Management System(WfMS) is a powerful tool to support software testing process management and automation. Java Business Process Management (jBPM) is a flexible and extensible framework combing the convenience of workflow capabilities and the outstanding scalability...
To meet the complex and variable characteristics of spacecraft testing business, and to increase the expandability of automated testing system, this paper proposed an architecture of spacecraft test executing system which is composed of test executing engine, business component library and registration center based on workflow. And discussed the key issues involved by the three parts of the architecture...
A good estimation tool offers a "model" of a project and is usually used to estimate cost and schedule, but it can also be used to help make trade decisions that affect cost and schedule as well as to estimate risks and opportunities. It was evident that Rolls-Royce needed a cost model to underpin decisions when they launched a Software Product Line initiative. The first generation cost...
Achieving high structural coverage is an important goal of software testing. Instead of manually producing test inputs that achieve high structural coverage, testers or developers can employ tools built based on automated test-generation approaches, such as Pex, to automatically generate such test inputs. Although these tools can easily generate test inputs that achieve high structural coverage for...
Third generation Intel??IBIST (IBIST) is the first full featured edition of what was originally envisioned in 1999. The objective was to create a standard infrastructure for validating, debugging, and testing high speed IOs (Input/Output) which could be supported by a common software toolset. This vision was realized in 2009 on Intel products. The IBIST methodology has become a standard at Intel....
Service oriented architecture (SOA) is a dominant architecture for today software development architecture. The companies must adapt their systems to face the changes in the business processes. In SOA, each business process may be represented by one or more services. To achieve greater automation of enterprises business processes, enterprises need an integration engine that integrates and harmonizes...
The quality of service oriented architecture (SOA) solutions is becoming more and more important along with the increasing adoption of SOA. Continuous integration testing (CIT) is an effective technology to discover bugs as early as possible. However, the diversity of programming models used in an SOA solution and the distribution nature of an SOA solution pose new challenges for CIT. Existing testing...
The avionics of current-day aircraft is termed as modular integrated full glass cockpit. Unlike lots of dials and gauges, the pilot will interact with Multi-Function Displays (MYD). This means that the systems are coupled with multi-function displays, communication and navigation radios with control units, multi-mode interactive instruments for control and navigation, recording and fault management...
Spacecraft automatic testing has been a focused theme in spacecraft technology researches for over a decade. However, there is less attention on the spacecraft automatic testing technology based on workflow methodology. In this paper we introduce workflow technology into spacecraft testing field in order to improve the automation level of spacecraft testing. Firstly we present the architecture of...
In this paper, we discuss the automated generation of test cases from contract-oriented specifications. The static analysis we develop rely on original constraint minimization and satisfaction techniques (CSP). We propose a flexible CSP architecture that can apply not only on integer or bounded domains but also on arbitrary types. The original notion of type builders is used to establish the connection...
Spacecraft automatic testing plays an essential role in spacecraft testing field for over a decade. However, less attention has been paid on the spacecraft automatic testing technology based on workflow methodology. In this paper we introduce workflow technology into testing for improving the automation of spacecraft testing. Firstly we present a spacecraft testing process definition language STPDL...
An application plannerpsilas point of view of sensor-enabled detection systems is considered and a hypothesis-testing-based computational framework for evaluating the quality of information (QoI) supported by a sensor network deployment is explored. Through a common, modular analysis framework that decomposes the computational burden of QoI calculation, the QoI properties of various decision architectures...
Functional requirements must be tested to check if the system executes as the end user expects. Validation environments must be able to test multiple kinds of applications that belong to different domains and technologies. Since this wide validation spectrum is very difficult to cope with, validation environments are usually specialized in domains, programming languages, technologies, etc. However,...
The VoIP technology has been increasingly popular and the number of its users has surged in the past years, because of its economical advantage over the traditional PSTN services. As a side effect, various VoIP servers and clients are becoming attractive targets of malicious attacks. This paper outlines the detection rules we have formulated to detect fuzzing attacks, which attempt to crash a VoIP...
Soft errors caused by ionizing radiation have emerged as a major concern for current generation of CMOS technologies and the trend is expected to get worse. Soft error rate (SER) measurement, expressed as number of failures encountered per billion hours of device operation, is time consuming and involves significant test cost. The cost stems from having to connect a device-under-test to a tester for...
In this paper a BISR architecture for embedded memories is presented. The proposed scheme utilises a multiple bank cache-like memory for repairs. Statistical analysis is used for minimisation of the total resources required to achieve a very high fault coverage. Simulation results show that the proposed BISR scheme is characterised by high efficiency and low area overhead, even for high defect densities...
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...
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.