Поля
данные класса.
процедура получения и/или выбора тестовых сценариев, ориентированных на одну или более категорию дефектов, с разработкой тестов исходя из знаний об определенной категории дефектов.
данные класса.
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
(байт-код) машинно-независимый код, который генерирует Java-компилятор.