Лабораторная работа: Задание 2
Описание
Характеристики лабораторной работы
Список файлов
- Задание 2
- Task02.pdf 269,41 Kb
- avasite
- Reliability_Task1
- Debug
- Reliability_Task1.exe 386,5 Kb
- Release
- Reliability_Task1.exe 68 Kb
- Reliability_Task1
- Reliability_Task1.sln 1,32 Kb
- Reliability_Task1.v12.suo 53 Kb
- 421_Vasilenko_Anatoly.cpp 14,08 Kb
- Program.cpp 8,08 Kb
- Program.h 1,93 Kb
- Reliability_Task1.vcxproj 6,03 Kb
- Reliability_Task1.vcxproj.filters 1,45 Kb
- Reliability_Task1.vcxproj.user 1,21 Kb
- f_function.txt 94 b
- g_function.txt 188 b
- lts_m12.dot 6,19 Kb
- lts_m12.png 298,59 Kb
- states.txt 1,28 Kb
- x64
- Debug
- Reliability_Task1.exe 458 Kb
- Release
- Reliability_Task1.exe 81,5 Kb
- answer
- 421_Vasilenko_2.q 140 b
- 421_Vasilenko_2.xml 3,31 Kb
- 421_Vasilenko_Anatoly3.cpp 24,92 Kb
- abstract_lts_m12.dot 455 b
- abstract_lts_m12.png 50,2 Kb
- f_function.txt 87 b
- g_function.txt 172 b
- log.txt 225 b
- lts_m1.png 25,29 Kb
- lts_m1.txt 338 b
- lts_m12.dot 6,19 Kb
- lts_m12.png 298,59 Kb
- lts_m2.png 35,08 Kb
- lts_m2.txt 486 b
- states.txt 203 b
- task.txt 303 b
- sliusar
- 421_sliusar.q 97 b
- 421_sliusar.xml 4,26 Kb
- Гуськов Дмитрий
- 421_Guskov_2.xml 6,54 Kb
void f (int a, int b)
{
int x, y;
x = 9;
y = 3;
h = 3;
h = a + y;
}
void g (int a, int b)
{
int x, y;
x = 2;
y = 7;
h = 5;
x = 4;
h = b;
if (h < y)
{
y = 0;
}
else
{
x = 3;
}
}
c_f, c_g, h, f.x, f.y, g.x, g.y
0, 0, #, #, #, #, #
0, 1, #, #, #, #, #
0, 2, #, #, #, 2, #
0, 3, #, #, #, 2, 7
0, 4, 5, #, #, 2, 7
0, 5, 5, #, #, 4, 7
0, 6, 4, #, #, 4, 7
0, 7, 4, #, #, 4, 7
0, 9, 4, #, #, 4, 0
1, 0, #, #, #, #, #
1, 1, #, #, #, #, #
1, 2, #, #, #, 2, #
1, 3, #, #, #, 2, 7
1, 4, 5, #, #, 2, 7
1, 5, 5, #, #, 4, 7
1, 6, 4, #, #, 4, 7
1, 7, 4, #, #, 4, 7
1, 9, 4, #, #, 4, 0
2, 0, #, 9, #, #, #
2, 1, #, 9, #, #, #
2, 2, #, 9, #, 2, #
2, 3, #, 9, #, 2, 7
2, 4, 5, 9, #, 2, 7
2, 5, 5, 9, #, 4, 7
2, 6, 4, 9, #, 4, 7
2, 7, 4, 9, #, 4, 7
2, 9, 4, 9, #, 4, 0
3, 0, #, 9, 3, #, #
3, 1, #, 9, 3, #, #
3, 2, #, 9, 3, 2, #
3, 3, #, 9, 3, 2, 7
3, 4, 5, 9, 3, 2, 7
3, 5, 5, 9, 3, 4, 7
3, 6, 4, 9, 3, 4, 7
3, 7, 4, 9, 3, 4, 7
3, 9, 4, 9, 3, 4, 0
4, 0, 3, 9, 3, #, #
4, 1, 3, 9, 3, #, #
4, 2, 3, 9, 3, 2, #
4, 3, 3, 9, 3, 2, 7
4, 4, 3, 9, 3, 2, 7
4, 4, 5, 9, 3, 2, 7
4, 5, 3, 9, 3, 4, 7
4, 5, 5, 9, 3, 4, 7
4, 6, 3, 9, 3, 4, 7
4, 6, 4, 9, 3, 4, 7
4, 7, 3, 9, 3, 4, 7
4, 7, 4, 9, 3, 4, 7
4, 9, 3, 9, 3, 4, 0
4, 9, 4, 9, 3, 4, 0
5, 0, 4, 9, 3, #, #
5, 1, 4, 9, 3, #, #
5, 2, 4, 9, 3, 2, #
5, 3, 4, 9, 3, 2, 7
5, 4, 4, 9, 3, 2, 7
5, 4, 5, 9, 3, 2, 7
5, 5, 4, 9, 3, 4, 7
5, 5, 5, 9, 3, 4, 7
5, 6, 4, 9, 3, 4, 7
5, 7, 4, 9, 3, 4, 7
5, 9, 4, 9, 3, 4, 0
void f (int a, int b)
{
int x, y;
x = 9;
y = 3;
h = 3;
h = a + y;
}
void g (int a, int b)
{
int x, y;
x = 2;
y = 7;
h = 5;
x = 4;
h = b;
if (h < y)
{
y = 0;
}
else
{
x = 3;
}
}
Verifying formula 1 at line 6
-- Formula is satisfied.
-- States stored : 61 states
-- States explored : 61 states
-- CPU user time used : 0 ms
-- Virtual memory used : 40932 KiB
-- Resident memory used : 3740 KiB
digraph M1 {
0 [label="0,?,?,?"]
1 [label="1,?,?,?"]
2 [label="2,?,9,?"]
3 [label="3,?,9,3"]
4 [label="4,3,9,3"]
5 [label="5,4,9,3"]
6 [label="stop"]
0 -> 1 [label=" int x,y;"]
1 -> 2 [label=" x = 9;"]
2 -> 3 [label=" y = 3;"]
3 -> 4 [label=" h = 3;"]
4 -> 5 [label=" h = a + y;"]
5 -> 6 [label=" ret"]
}
digraph M1 {
0 [label="0,?,?,?"]
1 [label="1,?,?,?"]
2 [label="2,?,2,?"]
3 [label="3,?,2,7"]
4 [label="4,5,2,7"]
5 [label="5,5,4,7"]
6 [label="6,4,4,7"]
7 [label="7,4,4,7"]
9 [label="9,4,4,0"]
10 [label="stop"]
0 -> 1 [label=" int x, y;"]
1 -> 2 [label=" x = 2;"]
2 -> 3 [label=" y = 7;"]
3 -> 4 [label=" h = 5;"]
4 -> 5 [label=" x = 4;"]
5 -> 6 [label=" h = b;"]
6 -> 7 [label=" h < y"]
7 -> 9 [label=" y = 0;"]
9 -> 10 [label=" ret"]
}
Возможно не удалось распознать кодировку файла
int h;
void f (int a, int b)
{
0: int x, y;
1:x = 9;
2: y = 3;
3: h = 3;
4: h = a + y;
5: }
void g (int a, int b)
{
0: int x, y;
1: x = 2;
2: y = 7;
3: h = 5;
4: x = 4;
5: h = b;
6: if (h < y)
{
7: y = 0;
}
else
{
8: x = 3;
}
9: }
Начать зарабатывать