скачать (254.3 kb.)
Доступные файлы (16):
| 10.doc | 34kb. | 27.01.2006 23:07 |  скачать |
| 12-13.doc | 36kb. | 27.01.2006 23:13 | скачать |
| 14.doc | 44kb. | 27.01.2006 23:30 | скачать |
| 16.doc | 23kb. | 27.01.2006 23:33 | скачать |
| 18.doc | 23kb. | 27.01.2006 19:24 | скачать |
| 1.doc | 43kb. | 27.01.2006 20:28 | скачать |
| 20.doc | 32kb. | 27.01.2006 23:43 | скачать |
| 21-22.doc | 22kb. | 27.01.2006 22:00 | скачать |
| 26-27.doc | 107kb. | 27.01.2006 19:49 | скачать |
| 2.doc | 68kb. | 27.01.2006 22:25 | скачать |
| 3.doc | 82kb. | 27.01.2006 20:21 | скачать |
| 4.doc | 25kb. | 27.01.2006 20:19 | скачать |
| 5.doc | 24kb. | 27.01.2006 19:51 | скачать |
| 6.doc | 27kb. | 27.01.2006 21:20 | скачать |
| 7.doc | 25kb. | 27.01.2006 20:52 | скачать |
| 8.doc | 23kb. | 27.01.2006 22:49 | скачать |
16.doc
Метод предполагает анализ семантического содержания внешних спецификаций и перевод их на язык логических отношений между входными данными (ситуациями) и выходными данными и преобразованиями (эффектами), представленных в форме логической диаграммы («и-или»-графа), называемой функциональной диаграммой. Диаграмма снабжается примечаниями в виде синтаксических правил и ограничений внешней среды и затем преобразуется в таблицу решений с ограниченным входом. Каждый столбец таблицы соответствует будущему тесту.Рассмотрим пример применения этого метода. Первый шаг — разбить внешние спецификации на отдельные функции, комбинаторные свойства которых и должны тестироваться. В качестве примера «аймемся фрагментом спецификации, изображенным на рис. 12.1. Отметим, что эти спецификации слегка упрощены, чтобы пример 5мл не слишком большим.
Второй шаг — проанализировать спецификации в поисках всех нпных и неявных ситуаций (условия на входе) и эффектов (действия на выходе). Лучше всего делать это, подчеркивая каждую ситуа-чию и каждый эффект, по мере того как они встречаются при чте-ши спецификаций. Все ситуации и эффекты нумеруются произвольном образом. Для рассматриваемого примера они перечислены ниже.
Скачать файл (254.3 kb.)