Results 271 to 280 of about 5,324,413 (319)
Some of the next articles are maybe not open access.
2013 18th International Conference on Engineering of Complex Computer Systems, 2013
Over the last decade several model merging approaches have been proposed. Most of these approaches focused on version control systems. We are interested in merging test models. We present a merging approach to reconcile unit test models and generate integration test models using the UML Testing Profile.
Mohamed Mussa, Ferhat Khendek
openaire +1 more source
Over the last decade several model merging approaches have been proposed. Most of these approaches focused on version control systems. We are interested in merging test models. We present a merging approach to reconcile unit test models and generate integration test models using the UML Testing Profile.
Mohamed Mussa, Ferhat Khendek
openaire +1 more source
IFAC Proceedings Volumes, 1994
Abstract This paper proposes a method to determine whether or not the real plant model is in a domain which is defined with a given nominal plant model and a given perturbation bound, when an input sequence and an output sequence of the plant are available.
A. YONEYA +3 more
openaire +1 more source
Abstract This paper proposes a method to determine whether or not the real plant model is in a domain which is defined with a given nominal plant model and a given perturbation bound, when an input sequence and an output sequence of the plant are available.
A. YONEYA +3 more
openaire +1 more source
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
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
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
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