Project

General

Profile

Download (8.97 KB)

Bug #542 » report-1.0.20030331-1.00a07.html

Alexey Khoroshilov, 11/13/2010 10:35 AM

 
<html>
<head>
<title>Отчет о работе CTesK Toolkit с заданиями практикума</title>
<meta http-equiv="Content-Type" content="text/html; charset=windows-1251">
</head>


<body bgcolor="#FFFFFF" text="#000000">
<h2>Отчет о работе CTesK Toolkit с заданиями практикума</h2>
<p>Сборка:<code> ctesk-1.0.20030331 от 31 марта 2003</code></p>
<p>Практикум: <code>CTesK 1.00a07 от 6 мая 2003</code></p>



<table width="0%" border="1">
<tr>
<td align="center" colspan="3"><b>Практическое занятие №1.
&quot;Тестирование функций, не зависящих от состояния&quot;</b></td>
</tr>
<tr>
<td align="center"><b>Задание</b></td>
<td align="center"><b>Статус</b></td>
<td align="center"><b>Комментарий</b></td>
</tr>



<tr>
<td>Задание №1. &quot;Определение ограничений доступа к параметрам&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №2. &quot;Определение ограничений доступа к параметрам спецификационных типов&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №3. &quot;Выделение предусловия&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №4. &quot;Выделение ветвей функциональности&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №5. &quot;Выделение постусловия&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №6. &quot;Использование презначений параметров&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №7. &quot;Использование презначений параметров спецификационных типов&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №8. &quot;Выделение инвариантов типов&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №9. &quot;Выделение инвариантов спецификационных типов&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №10. &quot;Разработка медиатора&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №11. &quot;Разработка спецификации&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №12. &quot;Разработка итератора параметров&quot;</td>
<td align="center"><font color="green">Работает</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №13. &quot;Разработка теста в целом&quot;</td>
<td align="center"><font color="green">Работает</font></td>
<td align="center">&nbsp;</td>
</tr>


</table>

<p>&nbsp;</p>

<table width="0%" border="1">
<tr>
<td align="center" colspan="3"><b>Практическое занятие №2.
&quot;Тестирование функций, зависящих от состояния&quot;</b></td>
</tr>
<tr>
<td align="center"><b>Задание</b></td>
<td align="center"><b>Статус</b></td>
<td align="center"><b>Комментарий</b></td>
</tr>



<tr>
<td>Задание №1. &quot;Определение ограничений доступа к переменным состояния&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №2. &quot;Определение ограничений доступа спецификации&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №3. &quot;Определение ограничений на переменные состояния в предусловии&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №4. &quot;Выделение предусловия&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №5. &quot;Выделение ветвей функциональности по переменным состояния&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №6. &quot;Выделение ветвей функциональности&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №7. &quot;Определение ограничений на переменные состояния в постусловии&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №8. &quot;Использование презначений переменных состояния&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №9. &quot;Выделение постусловия функций&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №10. &quot;Выделение инвариантов переменных состояния&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №11. &quot;Разработка спецификаций для группы функций&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №12. &quot;Построение белого медиатора&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №13. &quot;Построение черного медиатора&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №14. &quot;Разработка медиатора&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №15. &quot;Определение состояния сценария&quot;</td>
<td align="center"><font color="green">Компилируется</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №16. &quot;Разработка итератора параметров, зависящего от состояния&quot;</td>
<td align="center"><font color="green">Работает</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №17. &quot;Разработка теста в целом&quot;</td>
<td align="center"><font color="green">Работает</font></td>
<td align="center">&nbsp;</td>
</tr>


</table>

<p>&nbsp;</p>

<table width="0%" border="1">
<tr>
<td align="center" colspan="3"><b>Практическое занятие №3.
&quot;Тестирование функций, зависящих от состояния, с обобщением состояния&quot;</b></td>
</tr>
<tr>
<td align="center"><b>Задание</b></td>
<td align="center"><b>Статус</b></td>
<td align="center"><b>Комментарий</b></td>
</tr>



<tr>
<td>Задание №1. &quot;Определение обобщенного состояния&quot;</td>
<td align="center"><font color="green">Работает</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №2. &quot;Разработка итератора параметров, зависящего от состояния&quot;</td>
<td align="center"><font color="green">Работает</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №3. &quot;Разработка сценария с обобщенным состоянием&quot;</td>
<td align="center"><font color="green">Работает</font></td>
<td align="center">&nbsp;</td>
</tr>

<tr>
<td>Задание №4. &quot;Разработка теста в целом&quot;</td>
<td align="center"><font color="green">Работает</font></td>
<td align="center">&nbsp;</td>
</tr>


</table>

<p>&nbsp;</p>

<table width="0%" border="1">
<tr>
<td align="center" colspan="3"><b>Практическое занятие №4.
&quot;Разработка тестов для реальной системы&quot;</b></td>
</tr>
<tr>
<td align="center"><b>Задание</b></td>
<td align="center"><b>Статус</b></td>
<td align="center"><b>Комментарий</b></td>
</tr>



<tr>
<td>Задание №1. &quot;Система управления памятью&quot;</td>
<td align="center"><font color="green">Работает</font></td>
<td align="center">&nbsp;</td>
</tr>


</table>

<p>&nbsp;</p>


<p>Проверку выполнял: <a href="mailto:egor@ispras.ru">Егор Рогов</a><br>
7 мая 2003 года</p>
</body>
</html>
    (1-1/1)