Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: adaptive testing

Sortuj według:

Ogranicz wyniki do:

Computerized Adaptive Testing in Poland

Gmoch R.

Chemistry-Didactics-Ecology-Metrology

2012

R. 17, NR 1-2

61--68

New trends relating to computer-based testing of learners’ achievements are presented in the paper. It describes adaptive testing methods and results of studies in this problem area. Essential questions connected with the Item Response Theory (IRT) were also discussed. The presented data indicate that computer-based adaptive testing should be popularized in Poland to its fullest extent.

W artykule scharakteryzowano nowe trendy w zakresie komputerowego testowania osiągnięć uczących się. Omówiono metody testowania adaptacyjnego i wyniki badań w tym zakresie. Przedstawiono podstawowe zagadnienia dotyczące teorii wyniku zadania (IRT). Zaprezentowane dane wskazują, że komputerowe testowanie adaptacyjne winno być w pełni upowszechnione w Polsce.

Validating Behavioral Component Interfaces in Rewriting Logic

Johnsen E.B., Owe O., Torjusen A.B.

Fundamenta Informaticae

2008

Vol. 82, nr 4

341-359

Many distributed applications can be understood in terms of components interacting in an open environment such as the Internet. Open environments are subject to change in unpredictable ways, as applications may arrive, evolve, or disappear. In order to validate components in such environments, it can be useful to build simulation environments which reflect this highly unpredictable behavior. This paper considers the validation of components with respect to behavioral interfaces. Behavioral interfaces specify semantic requirements on the observable behavior of components, expressed in an assume-guarantee style. In our approach, a rewriting logic model is transparently extended with the history of all observable communications, and metalevel strategies are used to guide the simulation of environment behavior. Over-specification of the environment is avoided by allowing arbitrary environment behavior within the bounds of the assumption on observable behavior, while the component is validated with respect to the guarantee of the behavioral interface.