View
178
Download
2
Category
Preview:
Citation preview
PosterPrintSize:ThispostertemplateissetupforA0interna7onalpapersizeof1189mmx841mm(46.8”highby33.1”wide).Itcanbeprintedat70.6%foranA1posterof841mmx594mm.
Placeholders:ThevariouselementsincludedinthisposterareonesweoNenseeinmedical,research,andscien7ficposters.Feelfreetoedit,move,add,anddeleteitems,orchangethelayouttosuityourneeds.Alwayscheckwithyourconferenceorganizerforspecificrequirements.
ImageQuality:Youcanplacedigitalphotosorlogoartinyourposterfilebyselec7ngtheInsert,Picturecommand,orbyusingstandardcopy&paste.Forbestresults,allgraphicelementsshouldbeatleast150-200pixelsperinchintheirfinalprintedsize.Forinstance,a1600x1200pixelphotowillusuallylookfineupto8“-10”wideonyourprintedposter.
Topreviewtheprintqualityofimages,selectamagnifica7onof100%whenpreviewingyourposter.Thiswillgiveyouagoodideaofwhatitwilllooklikeinprint.Ifyouarelayingoutalargeposterandusinghalf-scaledimensions,besuretopreviewyourgraphicsat200%toseethemattheirfinalprintedsize.
Pleasenotethatgraphicsfromwebsites(suchasthelogoonyourhospital'soruniversity'shomepage)willonlybe72dpiandnotsuitableforprin7ng.
[Thissidebarareadoesnotprint.]
ChangeColorTheme:Thistemplateisdesignedtousethebuilt-incolorthemesinthenewerversionsofPowerPoint.
Tochangethecolortheme,selecttheDesigntab,thenselecttheColorsdrop-downlist.
Thedefaultcolorthemeforthistemplateis“Office”,soyoucanalwaysreturntothataNertryingsomeofthealterna7ves.
Prin7ngYourPoster:Onceyourposterfileisready,visitwww.genigraphics.comtoorderahigh-quality,affordableposterprint.EveryorderreceivesafreedesignreviewandwecandeliveryasfastasnextbusinessdaywithintheUSandCanada.
Genigraphics®hasbeenproducingoutputfromPowerPoint®longerthananyoneintheindustry;da7ngbacktowhenwehelpedMicrosoN®designthePowerPointsoNware.USandCanada:1-800-790-4001Interna7onal:+(1)913-441-1410Email:info@genigraphics.com
[Thissidebarareadoesnotprint.]
Automatic Non-functional Testing of Code Generators Families
Mohamed Boussaa, Olivier Barais, Gerson Sunye and Benoit Baudry INRIA Rennes, France
Mohamed BOUSSAA INRIA Rennes, France Presentation date: GPCE 2016 - Tue 1 Nov: 16:40 at Z1 Email: mohamed.boussaa@inria.fr Personal webpage: mboussaa@wordpress.com Tool webpage: testingcodegenerators.wordpress.com Phone: +33626492436
Contact
CodegeneratorsareusedeverywhereTheyautoma7callytransformhigh-level system specications (Models,DSLs,
GUIs,etc.)intogeneral-purposelanguagesTargetdiverseandheterogeneous soNwareplakorms(JAVA,C++,C#,etc.)
ThegeneratedsoNwarear7factsworkbut…
Howaboutthenon-funcDonalproperDes(quality)
ofgeneratedcode?
Context ¤ Definition (Code generator family): We define a code generator family
as a set of code generators that takes as input the same language/model and generate code for different target platforms
¤ Non-functional testing of code generators: The classical way
• Analyze the non-functional properties of generated code using platform-specific tools, profilers, etc.
• Report inconsistencies, bugs, performance issues, etc.
Lack of tools for automatic non-functional testing of code generators
15th International Conference on Generative Programming: Concepts & Experiences (GPCE 2016) Amsterdam, Netherlands, October 31, 2016
Footprint C
Footprint A
DSL(Model)
SUT
SUT
SUT
Design
Generate
Generate
Generate
CodeGenerator A
CodeGenerator B
CodeGenerator C
Execute
Execute
Execute
C++
Platform C
Platform B
Platform A
JAVA
C#
Profiler A
Profiler B
Profiler C
Bugs Finding
Report
Report
Report
Footprint B
Code Generation Non-functional TestingCode ExecutionSoftware Design
Software Platform Diversity
Software Design Automatic Code Generation
Software Designer
DSL
Model
GPL
Specs
GUICode Generator
creators/maintainers
Code generators
Generated code
Container C
Container B
Container A
DSL(Model)
SUT
SUT
SUT
Design
Generate
Generate
Generate
CodeGenerator A
CodeGenerator B
CodeGenerator C
Code Generation Runtime monitoring engineCode ExecutionSoftware Design
Container A’
C#
Container B’
Container C’
MonitoringContainer
Back-end Data Base Container
Front-endVisualization
Container
JAVA
C++
Footprint C’
Footprint A’
RESTCalls
Footprint B’ Request
Bugs Finding
Testing Infrastructure
GPCE’16
Research Team diverse.irisa.fr Research Lab inria.fr/centre/rennes EU Funding Project heads-project.eu
Running…
Haxe library + Test suites
Component Under Test
Back-end Database
Component
Cgroup file systems
Running…
Monitoring records
Front-end: Visualization Component
Time-series database
HTTP Requests
CPU
Memory
…
8086:
Back-end: Monitoring Component Target
language … Code
Generation
Software Tester
Motivation
We propose: • A black-box approach to automatically check the potential inefficient
code generators • A runtime monitoring infrastructure, based on system containers
(Docker) as execution platforms, that allow code-generator developers to evaluate the non-functional properties of generated code
Differential Testing: Compare equivalent implementations of the same program written in different languages Standard deviation (std_dev): Quantify the amount of variation among the execution traces in terms of memory usage and execution time
Testing Method
Approach Overview
Running…
¤ Test suites with the highest variation in terms of execution time (k=60) ¤ Test suites with the highest variation in terms of memory usage (k=400) We can identify a singular behavior of the PHP code regarding the memory usage and exectution time
Validation …
Test suites with Std_dev > threshold value are interpreted as code generator inconsistencies
…
Memory usage Memory usage Memory usage
Compare Std_dev > kStd_dev < kBugNo Bug
Recommended