Suche senden
Hochladen
A Methodology of Reproducible Research of Simulation Test Models and Communication Protocols Implementations
•
1 gefällt mir
•
677 views
Iosif Itkin
Folgen
Dmitry Chalyy, Yaroslavl State University, Yaroslavl
Weniger lesen
Mehr lesen
Wissenschaft
Melden
Teilen
Melden
Teilen
1 von 10
Jetzt herunterladen
Downloaden Sie, um offline zu lesen
Empfohlen
TMPA-2015: The Verification of Functional Programs by Applying Statechart Dia...
TMPA-2015: The Verification of Functional Programs by Applying Statechart Dia...
Iosif Itkin
резидентные разрешения
резидентные разрешения
Timur Beyters
Web d auexs
Web d auexs
t_batsaikhan
Lecture9
Lecture9
Batjargal Batbold
дэлхийн дулаарал
дэлхийн дулаарал
univ.medical healt
Tailan 2011 on
Tailan 2011 on
Amarjargal Tserentogtoh
Lecture 7
Lecture 7
Tuguldurbayar Gantogoo
тэгш өнцөгт гурвалжин
тэгш өнцөгт гурвалжин
Otgonpurev63
Empfohlen
TMPA-2015: The Verification of Functional Programs by Applying Statechart Dia...
TMPA-2015: The Verification of Functional Programs by Applying Statechart Dia...
Iosif Itkin
резидентные разрешения
резидентные разрешения
Timur Beyters
Web d auexs
Web d auexs
t_batsaikhan
Lecture9
Lecture9
Batjargal Batbold
дэлхийн дулаарал
дэлхийн дулаарал
univ.medical healt
Tailan 2011 on
Tailan 2011 on
Amarjargal Tserentogtoh
Lecture 7
Lecture 7
Tuguldurbayar Gantogoo
тэгш өнцөгт гурвалжин
тэгш өнцөгт гурвалжин
Otgonpurev63
20101021 proof complexity_hirsch_lecture05
20101021 proof complexity_hirsch_lecture05
Computer Science Club
Hodolgoonii bodlogo
Hodolgoonii bodlogo
tseren2
3.1 himiin temdeg
3.1 himiin temdeg
Erka Bandi
Гидротаран Марухина_Введение
Гидротаран Марухина_Введение
Võ Hồng Quý
32 Osteoporosis Drugs
32 Osteoporosis Drugs
kdiwavvou
Normal labor
Normal labor
Sosoo Byambaa
Colo,blum
Colo,blum
bolormaa87
Ioni xolboo
Ioni xolboo
Baterdene Tserendash
12jil 3r angi mongol hel 21 d.dolgortsetseg
12jil 3r angi mongol hel 21 d.dolgortsetseg
dokoo
амралтын даалгавар Piziк bodlogo
амралтын даалгавар Piziк bodlogo
bayja
Zuvulguu
Zuvulguu
gdavaa
Bhagatsingh hand bill 2012
Bhagatsingh hand bill 2012
Kathiresan K Samy
Опыт проведения аттестационных испытаний современных АСУ ТП подстанций
Опыт проведения аттестационных испытаний современных АСУ ТП подстанций
ООО "Прософт-Системы"
1 r sar shilen dansand tavih material
1 r sar shilen dansand tavih material
Ukhnaa Tungalag
Lecture8
Lecture8
Batjargal Batbold
Sanhuu
Sanhuu
Да Баярцэцэг
New
New
Bayarbaatar Surenjav
עושים שלום
עושים שלום
genevaaccord
Eenadu51
Eenadu51
vissuredy
Foundations of Software Testing Lecture 4
Foundations of Software Testing Lecture 4
Iosif Itkin
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
Iosif Itkin
Exactpro FinTech Webinar - Global Exchanges Test Oracles
Exactpro FinTech Webinar - Global Exchanges Test Oracles
Iosif Itkin
Weitere ähnliche Inhalte
Was ist angesagt?
20101021 proof complexity_hirsch_lecture05
20101021 proof complexity_hirsch_lecture05
Computer Science Club
Hodolgoonii bodlogo
Hodolgoonii bodlogo
tseren2
3.1 himiin temdeg
3.1 himiin temdeg
Erka Bandi
Гидротаран Марухина_Введение
Гидротаран Марухина_Введение
Võ Hồng Quý
32 Osteoporosis Drugs
32 Osteoporosis Drugs
kdiwavvou
Normal labor
Normal labor
Sosoo Byambaa
Colo,blum
Colo,blum
bolormaa87
Ioni xolboo
Ioni xolboo
Baterdene Tserendash
12jil 3r angi mongol hel 21 d.dolgortsetseg
12jil 3r angi mongol hel 21 d.dolgortsetseg
dokoo
амралтын даалгавар Piziк bodlogo
амралтын даалгавар Piziк bodlogo
bayja
Zuvulguu
Zuvulguu
gdavaa
Bhagatsingh hand bill 2012
Bhagatsingh hand bill 2012
Kathiresan K Samy
Опыт проведения аттестационных испытаний современных АСУ ТП подстанций
Опыт проведения аттестационных испытаний современных АСУ ТП подстанций
ООО "Прософт-Системы"
1 r sar shilen dansand tavih material
1 r sar shilen dansand tavih material
Ukhnaa Tungalag
Lecture8
Lecture8
Batjargal Batbold
Sanhuu
Sanhuu
Да Баярцэцэг
New
New
Bayarbaatar Surenjav
עושים שלום
עושים שלום
genevaaccord
Eenadu51
Eenadu51
vissuredy
Was ist angesagt?
(19)
20101021 proof complexity_hirsch_lecture05
20101021 proof complexity_hirsch_lecture05
Hodolgoonii bodlogo
Hodolgoonii bodlogo
3.1 himiin temdeg
3.1 himiin temdeg
Гидротаран Марухина_Введение
Гидротаран Марухина_Введение
32 Osteoporosis Drugs
32 Osteoporosis Drugs
Normal labor
Normal labor
Colo,blum
Colo,blum
Ioni xolboo
Ioni xolboo
12jil 3r angi mongol hel 21 d.dolgortsetseg
12jil 3r angi mongol hel 21 d.dolgortsetseg
амралтын даалгавар Piziк bodlogo
амралтын даалгавар Piziк bodlogo
Zuvulguu
Zuvulguu
Bhagatsingh hand bill 2012
Bhagatsingh hand bill 2012
Опыт проведения аттестационных испытаний современных АСУ ТП подстанций
Опыт проведения аттестационных испытаний современных АСУ ТП подстанций
1 r sar shilen dansand tavih material
1 r sar shilen dansand tavih material
Lecture8
Lecture8
Sanhuu
Sanhuu
New
New
עושים שלום
עושים שלום
Eenadu51
Eenadu51
Mehr von Iosif Itkin
Foundations of Software Testing Lecture 4
Foundations of Software Testing Lecture 4
Iosif Itkin
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
Iosif Itkin
Exactpro FinTech Webinar - Global Exchanges Test Oracles
Exactpro FinTech Webinar - Global Exchanges Test Oracles
Iosif Itkin
Exactpro FinTech Webinar - Global Exchanges FIX Protocol
Exactpro FinTech Webinar - Global Exchanges FIX Protocol
Iosif Itkin
Operational Resilience in Financial Market Infrastructures
Operational Resilience in Financial Market Infrastructures
Iosif Itkin
20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season
20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season
Iosif Itkin
Testing the Intelligence of your AI
Testing the Intelligence of your AI
Iosif Itkin
EXTENT 2019: Exactpro Quality Assurance for Financial Market Infrastructures
EXTENT 2019: Exactpro Quality Assurance for Financial Market Infrastructures
Iosif Itkin
ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...
ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...
Iosif Itkin
EXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan Shamrai
EXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan Shamrai
Iosif Itkin
EXTENT Talks QA Community Tbilisi 20 April 2019 - Conference Open
EXTENT Talks QA Community Tbilisi 20 April 2019 - Conference Open
Iosif Itkin
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...
Iosif Itkin
QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...
QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...
Iosif Itkin
QA Community Saratov: Past, Present, Future (2019-02-08)
QA Community Saratov: Past, Present, Future (2019-02-08)
Iosif Itkin
Machine Learning and RoboCop Testing
Machine Learning and RoboCop Testing
Iosif Itkin
Behaviour Driven Development: Oltre i limiti del possibile
Behaviour Driven Development: Oltre i limiti del possibile
Iosif Itkin
2018 - Exactpro Year in Review
2018 - Exactpro Year in Review
Iosif Itkin
Exactpro Discussion about Joy and Strategy
Exactpro Discussion about Joy and Strategy
Iosif Itkin
FIX EMEA Conference 2018 - Post Trade Software Testing Challenges
FIX EMEA Conference 2018 - Post Trade Software Testing Challenges
Iosif Itkin
BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)
BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)
Iosif Itkin
Mehr von Iosif Itkin
(20)
Foundations of Software Testing Lecture 4
Foundations of Software Testing Lecture 4
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
Exactpro FinTech Webinar - Global Exchanges Test Oracles
Exactpro FinTech Webinar - Global Exchanges Test Oracles
Exactpro FinTech Webinar - Global Exchanges FIX Protocol
Exactpro FinTech Webinar - Global Exchanges FIX Protocol
Operational Resilience in Financial Market Infrastructures
Operational Resilience in Financial Market Infrastructures
20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season
20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season
Testing the Intelligence of your AI
Testing the Intelligence of your AI
EXTENT 2019: Exactpro Quality Assurance for Financial Market Infrastructures
EXTENT 2019: Exactpro Quality Assurance for Financial Market Infrastructures
ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...
ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...
EXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan Shamrai
EXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan Shamrai
EXTENT Talks QA Community Tbilisi 20 April 2019 - Conference Open
EXTENT Talks QA Community Tbilisi 20 April 2019 - Conference Open
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...
QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...
QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...
QA Community Saratov: Past, Present, Future (2019-02-08)
QA Community Saratov: Past, Present, Future (2019-02-08)
Machine Learning and RoboCop Testing
Machine Learning and RoboCop Testing
Behaviour Driven Development: Oltre i limiti del possibile
Behaviour Driven Development: Oltre i limiti del possibile
2018 - Exactpro Year in Review
2018 - Exactpro Year in Review
Exactpro Discussion about Joy and Strategy
Exactpro Discussion about Joy and Strategy
FIX EMEA Conference 2018 - Post Trade Software Testing Challenges
FIX EMEA Conference 2018 - Post Trade Software Testing Challenges
BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)
BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)
A Methodology of Reproducible Research of Simulation Test Models and Communication Protocols Implementations
1.
Ìåòîäîëîãèÿ âîñïðîèçâîäèìûõ èññëåäîâàíèé
èìèòàöèîííûõ ìîäåëåé è ðåàëèçàöèé êîììóíèêàöèîííûõ ïðîòîêëîâ Äìèòðèé Þðüåâè÷ ×àëûé ßðîñëàâñêèé ãîñóäàðñòâåííûé óíèâåðñèòåò, ßðîñëàâëü 13 íîÿáðÿ 2014 ã. ×àëûé Ä.Þ.: Âîñïðîèçâîäèìûå èññëåäîâàíèÿ êîììóíèêàöèîííûõ ïðîòîêîëîâ 1 / 8
2.
Èñòî÷íèê: Google Ngram
Viewer. Äàòà äîñòóïà: 12.11.2014. url: https://books.google.com/ngrams ×àëûé Ä.Þ.: Âîñïðîèçâîäèìûå èññëåäîâàíèÿ êîììóíèêàöèîííûõ ïðîòîêîëîâ 2 / 8
3.
Ïðèìèòèâíûé ïîäõîä ê
âîñïðîèçâîäèìîñòè Ìîæíî ëè îòêîìïèëèðîâàòü è çàïóñòèòü èñõîäíûé êîä ýêñïåðèìåíòà çà 30 ìèíóò? 1 Äîñòóïåí ëè êîä è áèáëèîòåêè îò êîòîðûõ îí çàâèñèò? 2 Êîìïèëèðóåòñÿ? Çàïóñêàåòñÿ? 1Äîñòóïåí ïî àäðåñó: http://reproducibility.cs.arizona.edu/v1/tr.pdf. Äàòà äîñòóïà: 12.11.2014. Âåðñèÿ äîêóìåíòà îò 21 ìàðòà 2014 ã. ×àëûé Ä.Þ.: Âîñïðîèçâîäèìûå èññëåäîâàíèÿ êîììóíèêàöèîííûõ ïðîòîêîëîâ 3 / 8
4.
Ïðèìèòèâíûé ïîäõîä ê
âîñïðîèçâîäèìîñòè Ìîæíî ëè îòêîìïèëèðîâàòü è çàïóñòèòü èñõîäíûé êîä ýêñïåðèìåíòà çà 30 ìèíóò? 1 Äîñòóïåí ëè êîä è áèáëèîòåêè îò êîòîðûõ îí çàâèñèò? 2 Êîìïèëèðóåòñÿ? Çàïóñêàåòñÿ? Christian Collberg, Todd Proebsting, Gina Moraila, Akash Shankaran, Zuoming Shi, Alex M. Warren Measuring Reproducibility in Computer Systems Research1 1Äîñòóïåí ïî àäðåñó: http://reproducibility.cs.arizona.edu/v1/tr.pdf. Äàòà äîñòóïà: 12.11.2014. Âåðñèÿ äîêóìåíòà îò 21 ìàðòà 2014 ã. ×àëûé Ä.Þ.: Âîñïðîèçâîäèìûå èññëåäîâàíèÿ êîììóíèêàöèîííûõ ïðîòîêîëîâ 3 / 8
5.
Ïðèìèòèâíûé ïîäõîä ê
âîñïðîèçâîäèìîñòè Ìîæíî ëè îòêîìïèëèðîâàòü è çàïóñòèòü èñõîäíûé êîä ýêñïåðèìåíòà çà 30 ìèíóò? 1 Äîñòóïåí ëè êîä è áèáëèîòåêè îò êîòîðûõ îí çàâèñèò? 2 Êîìïèëèðóåòñÿ? Çàïóñêàåòñÿ? Christian Collberg, Todd Proebsting, Gina Moraila, Akash Shankaran, Zuoming Shi, Alex M. Warren Measuring Reproducibility in Computer Systems Research1 Ìåòîäîëîãèÿ èññëåäîâàíèÿ: àíàëèç 613 ñòàòåé (ASPLOS’12, CCS’12, OOPSLA’12, OSDI’12, PLDI’12, SIGMOD’12, SOSP’11, TACO’9, TISSEC’15, TOCS’30, TODS’37, TOPLAS’34, VLDB’12). 1Äîñòóïåí ïî àäðåñó: http://reproducibility.cs.arizona.edu/v1/tr.pdf. Äàòà äîñòóïà: 12.11.2014. Âåðñèÿ äîêóìåíòà îò 21 ìàðòà 2014 ã. ×àëûé Ä.Þ.: Âîñïðîèçâîäèìûå èññëåäîâàíèÿ êîììóíèêàöèîííûõ ïðîòîêîëîâ 3 / 8
6.
Âîñïðîèçâîäèìîñòü â íàñòîÿùåå
âðåìÿ Èòîã: âñåãî 25% ðåçóëüòàòîâ êîìïèëèðóþòñÿ (èç êîòîðûõ êàæäûé ÷åòâåðòûé ïðîåêò íå çàïóñêàåòñÿ)2 2Èñòî÷íèê: http://reproducibility.cs.arizona.edu/v1/index.html. Äàòà äîñòóïà: 12.11.2014. ×àëûé Ä.Þ.: Âîñïðîèçâîäèìûå èññëåäîâàíèÿ êîììóíèêàöèîííûõ ïðîòîêîëîâ 4 / 8
7.
Ïðîöåññ èññëåäîâàíèé
8.
×àëûé Ä.Þ.: Âîñïðîèçâîäèìûå
èññëåäîâàíèÿ êîììóíèêàöèîííûõ ïðîòîêîëîâ 5 / 8
9.
Ïðèìåð: òðàíñïîðòíûå ïðîòîêîëû.
Èñõîäíûå äàííûå 1 Îðèãèíàëüíûå ìîäåëè (ARTCP). 2 Ïàêåòû èìèòàöèîííîãî ìîäåëèðîâàíèÿ: ns-3, OMNeT++, Cisco Packet Tracer (TCP TIPS). 3 Çàõâàò ñåòåâîãî òðàôèêà íåïîñðåäñòâåííî ñ ñåòåâîãî óñòðîéñòâà: tcpdump (îðèãèíàëüíûé Trickles). ×àëûé Ä.Þ.: Âîñïðîèçâîäèìûå èññëåäîâàíèÿ êîììóíèêàöèîííûõ ïðîòîêîëîâ 6 / 8
10.
Ïðèìåð: òðàíñïîðòíûå ïðîòîêîëû.
Àíàëèç è îáðàáîòêà äàííûõ 1 Ñêðèïòîâûå ÿçûêè ïðîãðàììèðîâàíèÿ (shell, awk è ò.ä.). 2 R. 3 Âîçìîæíîñòè ñèñòåì ìîäåëèðîâàíèÿ (íàïð. ns-3 statistical framework, wireshark). ×àëûé Ä.Þ.: Âîñïðîèçâîäèìûå èññëåäîâàíèÿ êîììóíèêàöèîííûõ ïðîòîêîëîâ 7 / 8
11.
Ïðîåêòíûé ïîäõîä 1
Êàæäîå èññëåäîâàíèå - ýòî ïðîåêò. 2 Êàê ìîæíî ìåíüøå íåñòàíòàðäíûõ ñðåäñòâ ðàçðàáîòêè. 3 Îáùåäîñòóïíûé ðåïîçèòîðèé êîäà - bitbucket, github. 4 Äîêóìåíòàöèÿ - Doxygen. 5 Àíàëèç äàííûõ - R+{Sweave, knitr}+RPubs. ×àëûé Ä.Þ.: Âîñïðîèçâîäèìûå èññëåäîâàíèÿ êîììóíèêàöèîííûõ ïðîòîêîëîâ 8 / 8
Jetzt herunterladen