Results 251 to 260 of about 11,900,388 (297)
Some of the next articles are maybe not open access.
2013
For software systems, models can be learned from behavioral traces, available specifications, knowledge of experts, and other such sources. Software models help to steer testing and model checking of software systems. The model inference techniques extract structural and design information of a software system and present it as a formal model.
Irfan, Muhammad Naeem +2 more
openaire +2 more sources
For software systems, models can be learned from behavioral traces, available specifications, knowledge of experts, and other such sources. Software models help to steer testing and model checking of software systems. The model inference techniques extract structural and design information of a software system and present it as a formal model.
Irfan, Muhammad Naeem +2 more
openaire +2 more sources
SSRN Electronic Journal, 2010
ABSTRACT This study explores decisions related to formal empirical tests of business models and interpretations and uses of those tests. Business models describe managers' rationales as to how their organizations will achieve success. This study documents a test of one company's business model under seemingly favorable conditions for ...
Merchant, K.A. +2 more
openaire +1 more source
ABSTRACT This study explores decisions related to formal empirical tests of business models and interpretations and uses of those tests. Business models describe managers' rationales as to how their organizations will achieve success. This study documents a test of one company's business model under seemingly favorable conditions for ...
Merchant, K.A. +2 more
openaire +1 more source
Mutation Research/Environmental Mutagenesis and Related Subjects, 1981
Despite the value and widespread use of the Ames test, little attention has been focused on standardizing quantitative methods of analyzing these data. In this paper, a realistic and statistically tractable model is developed for the evaluation of Ames-type data.
A G, Stead +3 more
openaire +2 more sources
Despite the value and widespread use of the Ames test, little attention has been focused on standardizing quantitative methods of analyzing these data. In this paper, a realistic and statistically tractable model is developed for the evaluation of Ames-type data.
A G, Stead +3 more
openaire +2 more sources
Programming and Computer Software, 2011
Metamodels ensuring the adequacy of the results of performance testing and its parts were developed; these parts are statement of the problem, initial data, and analysis of experimental results. Tools for the adaptation of metamodels to the characteristics of a specific automated load testing experiment and for the estimation of performance of a wide ...
B. A. Pozin, Igor V. Galakhov
openaire +1 more source
Metamodels ensuring the adequacy of the results of performance testing and its parts were developed; these parts are statement of the problem, initial data, and analysis of experimental results. Tools for the adaptation of metamodels to the characteristics of a specific automated load testing experiment and for the estimation of performance of a wide ...
B. A. Pozin, Igor V. Galakhov
openaire +1 more source
IEEE Transactions on Systems, Man, and Cybernetics, 1995
Complex systems such as computers, aerospace systems, etc., are often tested by using a sequence of tests to exercise the functionality of the system. If the system fails a test, an error message is generated, initiating the test selection (TS) phase. The troubleshooter must decide whether or not to run more tests.
Inderpal S. Bhandari +2 more
openaire +1 more source
Complex systems such as computers, aerospace systems, etc., are often tested by using a sequence of tests to exercise the functionality of the system. If the system fails a test, an error message is generated, initiating the test selection (TS) phase. The troubleshooter must decide whether or not to run more tests.
Inderpal S. Bhandari +2 more
openaire +1 more source
Testing and modelling of spasticity
Journal of Biomedical Engineering, 1982The aim of this investigation was to develop a clinically applicable method for quantitative evaluation of spasticity about the knee and to determine the minimum instrumentation necessary for a quick and simple estimation of spasticity. Skeletal muscle spasticity is assessed by physical therapists as increased resistance of a particular muscle group to
T, Bajd, B, Bowman
openaire +2 more sources
2008 Ninth International Workshop on Microprocessor Test and Verification, 2008
A memory model defines the behavior of a shared memory machine when two or more threads read/write the same operand at the same time. There are only a handful of choices in defining a memory model. There are two (not clearly distinct) types of test to determine if a machine fails to conform to its memory model. Simple tests identify the normal behavior
openaire +1 more source
A memory model defines the behavior of a shared memory machine when two or more threads read/write the same operand at the same time. There are only a handful of choices in defining a memory model. There are two (not clearly distinct) types of test to determine if a machine fails to conform to its memory model. Simple tests identify the normal behavior
openaire +1 more source
From design models to test models by means of test ideas
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, 2009Model-Based Testing is slowly becoming the next level of software testing. It promises higher quality, better coverage and efficient change management. MBT shows two main problems of modeling the test behavior. While modeling test cases test designers rewrite most of the system specification.
Michael Mlynarski +3 more
openaire +1 more source
IEEE Software, 2012
Model-based testing (MBT) strives to automatically and systematically generate test cases. In this column, Ina Schieferdecker introduces MBT technologies and methods.
openaire +1 more source
Model-based testing (MBT) strives to automatically and systematically generate test cases. In this column, Ina Schieferdecker introduces MBT technologies and methods.
openaire +1 more source
2014
Software more and more pervades our everyday lives. Hence, we have high requirements towards the trustworthiness of the software. Software testing greatly contributes to the quality assurance of modern software systems. However, as today's software system get more and more complex and exist in many different variants, we need rigorous and systematic ...
Malte Lochau +3 more
openaire +1 more source
Software more and more pervades our everyday lives. Hence, we have high requirements towards the trustworthiness of the software. Software testing greatly contributes to the quality assurance of modern software systems. However, as today's software system get more and more complex and exist in many different variants, we need rigorous and systematic ...
Malte Lochau +3 more
openaire +1 more source