Страница66
разрешенныхсимволов.Этоприводитксозданиютрехклассовэквивалентности:одного–дляпустогополя,
другого–длямаксимальногочисласимволов,атретьего–длялюбогодругогочисласимволов,которое
лежитмеждуэтимипредельнымизначениями.ДлякатегориикнопкиOKстроки,соответствующиепустому
полюименипользователяипароля,объединяютсяводинклассэквивалентностиподназванием
отсутствуетимяпользователяилипароль.Этотклассотличаетсяотклассаневерноеимя
пользователя/парольтогда,когдаиимяпользователя,ипарольсодержаткакой‐тонаборсимволов,но
либоимяпользователя,либопарольневерны.
Третье,ипоследнееразбиениенаклассыэквивалентностивлияетнакнопкуCANCEL.Всвязанныхсэтим
разбиениемтестахбольшенеучитываетсясодержимоеполейusernameиpassword,посколькуздесь
рассматриваетсявыходиздиалоговогоокна.ПризаданиикомандыCANCELтестердолженубедиться,что
значенияименипользователяипаролянеобновлялисьилинеиспользовалиськаким‐либоспособом.
ПРЕИМУЩЕСТВА.Предоставляяболеедетальнуюинформациюосодержимомполевводадиалогового
окна,описаниестановитсяболееполнымитакиетестыможнобудетточновоспроизвести.
НЕДОСТАТКИ.Приодностроковомподходесложнееопределить,какиеусловиятестовотсутствуют.
Созданиетаблицытакогоформатанегарантирует,чтотестыбудутзаданыхорошо.Длясравнения,
матричныйформатдаетвозможностьбыстроустановитьтиптестиру
емыхусловий.Тестеротвечаетза
предоставлениеадекватнойинформациидлясозданиявсестороннегоописаниятестовогопримера.
ЛИТЕРАТУРА
[Тамре2003]–ТамреЛ.Введениевтестированиепрограммногообеспечения.:Пер.сангл.–М.:
Издательскийдом“Вильямс”,2003.
КОНЕЧНЫЙАВТОМАТ
КОНЕЧНЫЙАВТОМАТ
Конечныйавтомат–этоповеденческаямодель,состояниекоторойзависиткакотпредыдущих,такиот
текущихвходныхданных.Диаграммапереходов–этографическоепредставлениеконечногоавтомата.Ее
задача–отобразитьсостояние,котороеможетпринятьсистемаиликомпонент.Диаграммапереходов
такжепоказываетсобытияилиобстоятельства,результатомкоторыхсталпереходсистемыкомпонентиз
одногосостояниявдругое.
Вкачествепримерарассмотримтестдлясекундомера[Тамре2003].Диаграммапереходовсостоитизтрех
состояний,аинтерфейссодержиттритипавходныхданныхиодин–выходных.Каждыйизтрехтипов
входныхданныхпредставляетсобойсобытие,влияющеенасистему.Интерфейсимеетследующее
описание.
Надиаграммеперехода(рис.5.1[Тамре2003])показаноповедениесекундомераисвязьмеждувходными
даннымиисостояниями.Овалы–состояниясекундомера,астрелки–переходыизодногосостоянияв