Automatic Test Data Generation using Genetic Algorithm using Sequence Diagram

Size: px
Start display at page:

Download "Automatic Test Data Generation using Genetic Algorithm using Sequence Diagram"

Transcription

1 Iteratioal Joural of Computer Systems (ISSN: ), Volume 03 Issue 02, February, 2016 Available at Automatic Test Data Geeratio usig Geetic Algorithm usig Sequece Diagram Aju Bala, Dr. Rajeder Sigh Chhillar Departmet of Computer Sciece & Applicatios, M.D. Uiversity, Rohtak, Idia Abstract The most strikig feature of SDLC is software testig. It is very labour-itesive ad expesive process i software developmet ad hadlig as well as maiteace of software. The mai objective of this paper is to exted the testig techique. Testig is to show the icorrectess ad is cosidered to succeed whe a error is detected [Myers79]. Today s automatic testig has replaced maual testig with a great extet. Automatig testig is very helpful i reducig huma efforts to geerate test cases or test data. Test data or test case is a very tiresome task i software testig. It has multiple set of values or data that are used to test the fuctioality of a particular feature. All degrees of the test values ad coditios maitaied i separate files ad stored as test data. Test case or data geeratio is a set of coditios or rules that are developed for fidig the failure poits i a developig software. Nowadays, may researches have paid cosiderable attetio, focusig o test data geeratio techiques. This paper adopts a case study ad proposes a techique for test data geeratio, based o geetic algorithm usig critical path. Critical path testig is cosidered to solve the loopig problem ad improvig the testig efficiecy. Test data sceario is derived from sequece diagram. Sequece diagram reveals the sequece of calls i a system usig exchage of messages amog the objects of system. Keywords: Geetic Algorithm, UML, Sequece diagram ad graph, Test-data geeratio. I. INTRODUCTION Software testig is recogized as a key feature or a ievitable part of software developmet life cycle. It is the most exhaustive ad critical phase but uavoidable, i SDLC. Software testig is the pheomea of executig a program with the itet of fidig a error or fault to make the software error-free ad satisfy the ed-user. Testig is a very essetial phase, though very labour-itesive ad expesive process i software developmet ad hadlig as well as maiteace of software. It accouts for takig a large part of total cost, up to 50 percet for a etire software developmet [1]. Due to advacemet i techology, the software system as well as testig process has becomes very complex, to overcome from all these issues, testig process should be automated, proportioal to cost of developig software should be reduced sigificatly. So, a challegig part of this phase, etails to the geeratio of test cases or data. This geeratio is very crucial to the success of testig, because it is very hard part of software, to obtai a fully tested program, give that the large umber of test cases will be able, if eeded to fid maximum umber of faults i less umber of iteratios. Software program is ifiite, ad a suitable desig of test cases will be able to detect a maximum umber of faults. For the requiremet of good ad effective software quality assurace, the techique for automatic geeratio of test data, make efforts efficietly to systematically ucover the differet types of errors with a miimum amout of time ad efforts. A test data is a set of data performed i a sequece ad related to a test objective, which will produce a umber of tests iput values, observed output, expected output or test oracle eeded for the test to ru, such as eviromet prerequisites [2]. A good test case should have the quality to cover every aspect of test objective ad high rate of fault detectio. This method is used for automatic geeratio of test case usually based o efficietly searchig or fidig small set of test cases with high probability of detectig as-yet udiscovered error [1]. There have bee few efforts o represetig a cosiderable attetio, which covers all existig automatic test case geeratio approaches. I this paper, we exted a geeral classificatio for automatic test data geeratio approaches with compariso betwee existig approaches, to show that the existig approaches are resource-itesive as well as limited budget. So, this paper presets a geeric approach i.e. Geetic Algorithm, is the most acceptable approach to geerate automatic test data or test case. This paper is preseted as follows: Sectio 2 review the related work of test-data geeratio techiques. May testdata geeratio techiques have bee developed. Sectio 3 gives a overview o itroductio of UML ad its diagram, otatio ad termiology of sequece diagram. Sectio 4 gives the itroductio of GA. Sectio 5 describes the proposed approach for geeratio of test data. Sectio 6 presets case study of o-lie appoitmet i hospital. Sectio 7 presets coclusio ad future work of this paper. II. RELATED WORK May researches have bee doe i the field of test data geeratio techology. Recetly, may techiques have bee proposed, all related to Geetic Algorithm. Parvee Raja ad T.H. Kim [5] developed variable legth geetic algorithm that optimized ad selected the path testig coverage criteria. Geetic algorithm used i Cotrol Flow Graph (CFG). Testig covers every possible 131 Iteratioal Joural of Computer Systems, ISSN-( ), Vol. 03, Issue 02, February, 2016

2 path i Software uder Test (SUT). Weights are assiged to edge of CFG by applyig rules. Xathakis et al. [8] preset geetic algorithm to geerate the test data. Geetic algorithms are used for geeratio of test data for structure. A path is selected by the user ad the relevat braches are executed from program. Fitess fuctio is calculated by summatio of brach predicated. V. Mary Sumalatha, G.S.V.P. Raju [9] presets the test case geeratio by meas of UML sequece diagram usig geetic algorithm from which best test cases optimized. Geetic algorithm applied o sequece graph. All paths discover from source to destiatio with loops ad calculate the fitess value. Sageeta Sabherwal [7] proposed a techique for prioritizatio of test cases sceario derived from activity diagram ad state chart diagram usig geetic algorithm cocepts, stack ad iformatio flow (IF) diagram. Stack based applicatio is adopted for assigig the weight to each ode of activity ad state chart diagram. Bo Zhag ad Che Wag [3] use simulated aealig algorithm ito geetic algorithm to geerate the test data for path testig. A simulated aealig algorithm is ispired by the aealig of metals. I this method, solid is heated from high temperature ad cooled dow slowly to maitai thermodyamic equilibrium of system. The adaptive geetic simulated aealig algorithm is proposed by Zhag to automatically geerate the test data. The steps if this algorithm is show i his paper. The fitess value, crossover, mutatio aother modificatio are applied i geetic algorithm procedure. M. Harma [4] focused o automated test data geeratio usig search based software egieerig. Automated test data geeratio usig geetic algorithm is based o search based software egieerig. Sulta H. Aljahdali [8] preseted the limitatio of geetic algorithm i software testig. The majority of software test-data geeratio techiques are based o geetic algorithm. It attempts to compare ad classify the combiatorial problems accordig to geetic algorithm feature ad parameters. III. UML The Uified Modelig Laguage (UML) is stadard modelig laguage, is widely used to visualize, specify, costruct ad documet the mai artifacts of software system. UML is used i busiess modelig ad may architectural modelig, but here maily i software developmet modelig to desig ad implemet for compoet-based applicatios. I software developmet, it is very popular to geerate test cases or data with the help of graphical otatio i.e. rectagles, lies, ellipses etc provided by UML. It has ow sytax ad sematics. Apart from all of the aforemetioed techiques adoptio of UML, there is ievitable ature of UML is, oce the model is developed, the a variety of problems solved i.e. aalysis, specificatio, code ad test case or data geeratio, visualize ad uderstad the problem ad workig of the software testig. It is also helpful i bridgig the gaps betwee the desigers ad testers. The most importat modelig laguage has bee iveted by Grady Booch, Jim Rumbaugh i 1994 to combie the diagrammig otatios of two most popular methods of Booch ad OMT (Object Modelig Techiques).The UML ad its diagrams are widely used to visually depict the static structure ad more importatly, the dyamic behavior of applicatios. UML costructs differet types of diagrams, categorized ito two groups-structural diagrams ad behavioral diagrams [Vaugha07]. There are may types of diagram to capture five differet behavior of the system i.e. Class diagram, Compoet diagram ad Deploymet diagram are to represet the static behavior of system. Activity diagram, Sequece diagram, State diagram are used to represet the dyamic behavior of the system. Here, the focus is o sequece diagram ad activity diagram because sequece diagram is most popular i UML diagram to geerate test data or cases. A. Sequece Diagram A sequece diagram is also called a iteractio diagram ad most commo behavior diagram. It is very popular artifact of UML for dyamic modelig. It focuses o behavior of your system. Sequece diagram oly focuses o processes how they iteract to oe aother ad i what order. It costructs the message sequece chart. It shows all iteractio of objects i timely maer. It reveals the exchage of iformatio betwee objects ad classes i a sceario. It shows the fuctioality of a sceario. Sometimes, it is called evet diagram or evet sceario. Structure of sequece diagram represeted by followig otatios i.e. class ame is writte i boxes with colo, parallel vertical lies, differet processes, horizotal arrow represets message exchaged betwee objects, this sceario also shows i graphical ru time sceario. Sequece diagram is better tha other dyamic diagram. I this paper, a brief idea is give o compariso of sequece diagram to activity diagram with the itet of showig that the sequece diagram is better to geerate test data. Activity diagram focuses o a particular operatio of a object. But sequece diagram focuses o the way of process executio i sequece, operatios ad its parameters but activity diagram reveals the workflow of operatios. Sequece diagram keeps track o the iteractio betwee objects, this feature exteds its usability for dyamic modelig. But i activity diagram, it focuses o how the process flow of a object. Fig1. Basic otatio of sequece diagram Sequece diagram expresses most formal level of refiemet. I research field, most of the software developer cosider sequece diagram because it is very helpful i documetig or predictig, how a system should behave i future or i other words, it is very useful i preset ad future level. From the orgaizatioal poit of 132 Iteratioal Joural of Computer Systems, ISSN-( ), Vol. 03, Issue 02, February, 2016

3 view, it shows how the busiess curretly workig by showig the iteractio betwee objects or how will be performed i future. Sequece diagram looks like as show i Figure 1. B. Basic Notatio of Sequece Diagram The basic otatios that are used i sequece diagram are described below: I. Actor: A participat or etity that iteracts with the system. II. Lifelie: A vertical lie reveals the sequece of evets, participate durig a iteractio. III. Uit: Represet a module or subsystem, compoet, uit or ru-time etity i the system. IV. Separator: Represet a iterface or boudary betwee subsystem, compoets or uits. V. Group: Header elemets ito subsystem or compoets. VI. Sychroous Message: The seder waits for a respose to a sychroous message before all cotiuous. VII. Asychroous message: A message that does ot require a respose before seder cotiuous. A asychroous message shows oly a call from the seder. VIII. Executio occurrece: A vertical shaded rectagle that appears o a participat s lifelie ad represets the period whe participates executig the operatio. IX. Callback message: A message returs to a participat that is waitig for a retur back. The resultig executio occurrece shows o top of existig oe. X. Self message: A message from participats to itself. The resultig executio occurrece appears o the top of sedig executio. XI. Create message: create a message to ivoke the first participat. If it receives it should be first. XII. Destroy message: Represets the destructio of a header elemets as a result of a call for aother elemet. XIII. Commet: A commet is additioal iformatio ca be attached to ay poit o a lifelie. XIV. Time start: it is a startig poit.. XV. Time expiratio: it shows the expiry time. IV. GENETIC ALGORITHM A. INTRODUCTION Geetic Algorithm is based o atural pheomea. The fudametal cocept behid GAs is atural selectio ad geetic iheritace. The fouder of GA is Joh Hollad, uiversity of Michiga (1970) i U.S.A developed a remarkable idea i the field of heuristic search. It is based o the evolutioary priciple. GA belogs to the class of probabilistic algorithm. GA empirically provides directed search algorithms rely o the mechaics of biological evolutio. The best part behid to use GA tha other searchig algorithm is that GA performs a multi-directioal search by maitaiig the optimized solutios ot a sigle poit. Mai applicatio areas of GA are- AI, busiess, scietific ad egieerig circle etc. But these ca be used i may forms like to geerate automatic test cases etc. GA is a class of probabilistic optimizatio algorithm. Geetic Algorithms are categorized as global heuristic search or GA is good heuristic search for combiatorial problems [20]. Ex.TSP, pe movemet of a plotter, measure real world routig of school, prisoer s dialemma. The simple form of GA is give by followig. This algorithm is stopped whe populatio covers all the optimal solutio. Simple geetic algorithm: Simple_Geetic_Algorithm( ) { Iitialize the populatio; /*geerate the iitial populatio*/ Calculate fitess fuctio; /* calculate fitess value for each idividual */ While(Fitess Value!= Optimal Value) { Selectio; /* radomly select idividual for matig*/ Crossover; /* apply crossover ad mutatio for gettig best idividual */ Mutatio; /* Calculate fitess value of ew idividual ad discard old idividual by maitaiig the fitess criteria of idividual. If populatio reaches to stoppig criteria or reach best idividual or populatio has coverged tha fiish = true. */ Ed Ed The basic steps of geetic algorithm a show i this step: Fig 2. Flow chart of geetic algorithm 133 Iteratioal Joural of Computer Systems, ISSN-( ), Vol. 03, Issue 02, February, 2016

4 Geetic Algorithm has basically three operators used for populatio to geerate ew offsprig. Iitializatio is the very first operator of geetic algorithm, it creates a iitial populatio of chromosomes, at the begiig of executio. Selectio of populatio is radom i iitializatio. Selectio operator is a process to select two chromosome from the populatio for reproductio. There should be a selectio mechaism, how these chromosomes will be selected. Maily expectatio is to select, such chromosomes that gives the better idividual. So, selectig such chromosomes at higher probability will produce better populatio after each iteratio of algorithm. Selectio must be balaced by maitaiig the diversity of populatio eeded for exploratio. So, too strog selectio ad so weak selectio will reach to slow evolutio. Roulette- Wheel, Rak-based, Touramet, Uiform ad Elitism is the classic selectio method i GA.[Goldberg89], [Hollad92]. Crossover is a very importat process to geerate ew idividual. Crossover probability should be more tha mutatio probability to get better idividual. It is a very practical method of sharig the iformatio betwee two chromosomes. I GAs operator, crossover is most valuable feature especially where buildig blocks (i.e. schemas) exchage is ecessary [Arabas94]. Its implemetatio ad represetatio is closely related to problem domai or problem depedet. Sigle - poit crossover is most importat crossover operator. I this type of operator positio is chose by radomly ad elemet of two parets before ad after mutually exchaged to produce a better idividual. Mutatio is a process to trap the local optima ad pruig o dead state. Its probability is always less tha crossover to give better outcome. Mutatio operator alters oe or more bit value i the chromosomes to ehace the structural probability. Mutatio operator play the best role to protect the populatio agaist pre-mature covergece at ay particular area of the etire search space[mitchell96]. It works oly o oe chromosome at a time ot more tha oe like i crossover. Most commo methods of mutatio are as follow: 1. Bit-flip mutatio: chromosome s bit value is chaged with a mutatio probability. 2. Uiform-mutatio: bit select radomly ad chage its value. Evaluate fuctio or fitess fuctio is also called objective fuctio, it calculates the quality of cadidate solutio. Based o fitess fuctio, measuremet of sigle chromosome to rest of the populatio. This fuctio gives the value of specific chromosome. It is ot ecessary that it will reach to its fitess value. The fitess value is typically obtaied by a trasformatio fuctio called scalig ad it is worthwhile to simplify the evaluatio fuctio as much as possible because the evaluatio process itself has bee foud to be very expesive due to the time ad resources it cosumes [Arabas94]. Upo completio of crossover ad mutatio operatio, there will be origial paret populatio ad ew idividual populatio. A fitess fuctio determies which of these parets ad offsprig will survive i ext geeratio. These operatios are iterated util the expected goal is achieved. V. PROPOSED APPROACH To geerate appropriate test data for testig process. We will have to follow these steps: I. Draw the sequece diagram. II. Covert the sequece diagram ito sequece graph. For every coditioal message two edges takes place. Oe edge for true coditio ad aother edge for false coditio. III. Geerate set of path from sequece diagram with the itet to cover every brach of graph. Suppose some loop occurs i the diagram, it becomes very difficult ad puzzlig. So we give our best to try to fid critical path i graph usig the stack weight assigmet approach by this algorithm: Algorithm: 1. For every ode of graph i =1.; 2. By DFS approach, Push ode of graph o stack. 3. Determie smax of stack( the maximum size); 4. For = 1 to smax, assig weight w=smax-k to each ode of graph, where smax is maximum size of stack ad k is path followed by odes of graph. 5. For each decisio ode d. 6. Assig the same weight to brachig odes. 7. Updates loops by Isertig the ext eighbor ode of brachig odes. 8. Ed IV. Fitess value of each ode is calculatig of graph by usig additio of flow of iformatio ad poppig operatio require to a ode. Flow of iformatio is determied by usig this equatio: Flow of iformatio = icomig (a) * outgoig (b) Icomig meas how may edges are isertig ito a ode ad outgoig meas how may edges are leavig a ode. Fitess Value = Stack based weight approach + Flow of iformatio 134 Iteratioal Joural of Computer Systems, ISSN-( ), Vol. 03, Issue 02, February, 2016

5 V. Selectio of chromosome bits or test data depeds upo coditioal odes of graph. VI. Calculate the fitess value of each possible path that is followed by coditioal odes of graph. VII. Now, probability of selectio for each path is calculated by Roulette wheel selectio : Pi= F(xi) / F(xi) After probability, calculate cumulative probability Ci for each path: Ci = Pi VIII. Geerate radom umber for each test-data. IX. To select the chromosomes determie value of colum N where eed to fid how may test data umber that has cumulative probability is greater tha radom umber. X. The value of matig pool colum is determiig umber of times a test-data appear i N colum. XI. Select the correspodig chromosome or test data that has higher value appear i N colum. XII. Pair-wise sigle poit crossover is applied ad select those child that has maximum fitess value. The probability of crossover operator is 0.8. Crossover is carried out oly if the radom umber is less tha 0.8 otherwise mutatio operator s applied. XIII. Bit-flip mutatio is applied to iterchagig of sigle bit i test-data or chromosome. XIV. Recalculate the fitess value of ew geeratio. XV. Repeat this process util maximum fitess value is reached or all paths are covered i graph or o stoppig criteria is met. 7. If the patiet becomes ok after ext appoitmet, the patiet ca leave, otherwise ca take appoitmet agai. 8. If o eed of appoitmet ay more, the the appoitmet will be available for ext the patiet. Sequece diagram is costructed accordig to these steps. I this diagram, patiet, receptioist, doctor ad urse play the role of objects, they will exchage the messages amog themselves for givig ad takig olie appoitmets. Sequece diagram show i figure 3. Further, Sequece diagram is coverted ito sequece graph as show i figure 4. : Patiet : Receptioist : Doctor : Nurse Take Appoitmet Check Appoitmet Caot meet Cosult Doctor Check Patiet VI. CASE STUDY I this sectio, we study a approach by usig sequece diagram of o-lie appoitmet i hospital. I Olie appoitmet user will have to follow this step: 1. The patiet requests for appoitmet. 2. The receptioist checks the appoitmet, appoitmet is available or ot accordig to doctor s schedule. 3. If appoitmet is ot available, the system geerate message ad we ca t take the appoitmet. 4. If appoitmet is available, the the user ca cosult to the doctor. If patiet has a mior problem, the doctor suggests some prescriptio. 5. If the patiet has a major problem, the doctor checks his or her record. 6. Accordig to the patiet s record, the doctor suggests more prescriptio ad gives appoitmet agai. Patiet Ok Patiet eed more treatmet Check Patiet Record Patiet OK If ot OK appoit agai Treat agai Leave Fig.3 Sequece diagram of o-lie appoitmet 135 Iteratioal Joural of Computer Systems, ISSN-( ), Vol. 03, Issue 02, February, 2016

6 Fig 4. Sequece graph of olie-appoitmet. Now critical path is determie by stack weight assigmet approach as show below i this table: Table 1. Critical path is determied Node Path followed by ode, k Stack size, smax Weight= smax-k , , , , , ,12, , Now complexity of each ode is determied by usig this table: Table 2. Complexity of each ode calculated Node Poppig operatio, a Iformati o Flow, b Fitess value= a+b *1= ,8,6,4 1*2=2 13,10,8, *1= *2= *1= *1= *1= *2= *1= *2= ,3 1*1=1 7,4 12 7,5,3 2*2=4 11,9, *1= *1=1 2 Iitial possible populatios are: 1000, 1010, 1011, 1111, ad The path 1,2,3,4,6,7,8,9,10,12,13,14 is followed by the 1000 chromosome ad correspodig fitess value is =99. The ext chromosome 1010 follow the path 1,2,3,4,6,7,8,9,10,11,13,14 ad correspodig fitess value is =95. The chromosome 1011 follow the path is 1,2,3,4,5,12,13,14 ad correspodig fitess value is =72. The chromosome 1001 follow the path is 1,2,5,12,13,14 ad correspodig fitess value is =50. The chromosome 0000 follow the path is 1, 2, 3, 4, 6, 7,8 14 ad correspodig fitess value is =76. The chromosome 1111 follow the path 1,2,3,4,6,7,8.9,10,12 ad correspodig fitess value is =89. Selectio of ew geeratio are show i tables where, X is test data, F(X) is fitess value if test data, Pi is probability, Ci is cumulative probability, S is Selectio, C is Crossover ad M is Mutatio. Table 1. Fitess value of iitial populatio S. No. X F(x) Pi Ci R Iteratioal Joural of Computer Systems, ISSN-( ), Vol. 03, Issue 02, February, 2016

7 S.No. Table 2. New geeratio selectio Selectio Crossov er poit Crossov er Mutatio F(x ) Table 7.Fitess Value of iitial Populatio S.No. X F(X) Pi Ci R Table3. Fitess Value of iitial populatio S.No X F(X) Pi Ci R S. N Table 8. New Geeratio Selectio Selecti o Crossover poit Crossover Mutatio F (x) S. o. Table 4. New Geeratio Selectio Selectio Crossove r poit Crossove r Mutatio F ( X) S.No S. No. Table 5. Fitess Value of iitial populatio X F(X) Pi Ci R Table 6.New Geeratio Selectio Selectio Crossove r poit Crossove r Mutatio F ( X) After 8 th iteratio as show i table 8, we fid test data 1010 has highest fitess value 85 amog all of them. So path correspodig to this chromosome is 1,2,3,4,6,7,8,9,10,12,13 tested first. This paper makes a efforts, to exted the previous work that is also related to test data geeratio by activity ad state chart diagram usig prioritizatio geetic algorithm. I this paper, we adopt sequece diagram for test-data geeratio with compariso to activity diagram. Sequece diagram is very coveiet, easy to draw ad uderstad ad gives fast result tha activity diagram. Sequece diagram has most challegig features to gives us all details i.e. order of message betwee objects, assig resposibilities ad timer. With the help of sequece diagram, chagig ca be made very easily ad efficietly with well uderstadig. Naïve user ca makes the correctio easily i real time eviromet. Sequece diagram is oe of the popular tha others UML diagrams because it is the most formal level of refiemet. So oe ca say that sequece diagram is more acceptable tha the activity or the state chart diagram. Besides i this article, selectio of test data for ext geeratio is based Roulette Wheel Selectio ( compariso betwee cumulative probability ad radom umber geeratio) which help i reducig the iteratios of tables. VII. CONCLUSION This paper presets the test data geeratio by usig UML sequece diagram. Geetic algorithm is used for selectio of those test data that have highest fitess value. Roulette Wheel Selectio is used to select ext test data. Stack based weight approach is used to calculate critical path i graph. Geetic Algorithm techique also helps i icreasig the software testig efficiecy ad GA also useful to solve trivial problem. Operators (mutatio ad crossover) are the best to pruig the populatio ad give best idividual. I future, we try our best to fid more coveiet way to make easy i geeratio of test data ad test cases. Operators of geetic algorithm that ca apply o 137 Iteratioal Joural of Computer Systems, ISSN-( ), Vol. 03, Issue 02, February, 2016

8 software testig ad help i improvig the more testig efficiecy. REFERENCES [1] R. Blaco, J.Tuya ad B. Adeso-Díaz, Automated test data geeratio usig scatter-search approach, Iformatio ad Software techology, vol. 51, Issue 4, (2009), pp [2] Xathakis S, Ellis C,Skourlas C, Le Gall A, Applicatio of Geetic algorithms to Software Testig. I 5th Iteratioal Coferece o Software Egieerig ad its Applicatios pp [3] T. Blickle, L. Thiele, A Compariso of Selectio Schemes used i Geetic Algorithms. TIK-Report, Zurich, [4] B. N. Biswal, S. S. Barpada ad D. P. Mohapatra, Iteratioal Joural of Computer Applicatios, vol. 1, Issue 14, (2010). [5] Bo Zhag, Che Wag, Automatic Geeratio of Test Data for Path Testig by Adaptive Geetic Simulated Aealig Algorithm, IEEE, 2011, pp [6] M. A. Ahmed, I. Hermadi, Geetic Algorithm based multiple paths test data geerator, Computer ad operatios Research (2007). [7] Parvee Raja Srivastava, Tai-hoo Kim, Applicatio of Geetic Algorithm i Software Testig, Iteratioal Joural of Software egieerig ad its Applicatio, Vol. 3, No.4, October 2009, pp [8] Sageeta Sabharwal, Ritu Sibal, Chayaika Sharma, Prioritizatio of test cases scearios derived from activity diagram usig geetic algorithm, ICCCT, IEEE, 2010, pp [9] Sageeta Sabharwal et al., Applyig Geetic algorithm for Prioritizatio of test cases Sceario derived from UML diagrams, Iteratioal joural of computer sciece, Vol.8, Issue 3, No.2, May [10] Sulta H. Alijahdali et al, The Limitatio of Geetic Algorithm i Software Testig, pp [11] V. Mary Sumalatha, G.S.V.P. Raju, Object Orieted Test Cases Geeratio Techiques usig Geetic Algorithms, Iteratioal Joural of Computer Applicatios Vol. 61- No.20, Jauary 2013, pp Iteratioal Joural of Computer Systems, ISSN-( ), Vol. 03, Issue 02, February, 2016

An Improved Shuffled Frog-Leaping Algorithm for Knapsack Problem

An Improved Shuffled Frog-Leaping Algorithm for Knapsack Problem A Improved Shuffled Frog-Leapig Algorithm for Kapsack Problem Zhoufag Li, Ya Zhou, ad Peg Cheg School of Iformatio Sciece ad Egieerig Hea Uiversity of Techology ZhegZhou, Chia lzhf1978@126.com Abstract.

More information

Ones Assignment Method for Solving Traveling Salesman Problem

Ones Assignment Method for Solving Traveling Salesman Problem Joural of mathematics ad computer sciece 0 (0), 58-65 Oes Assigmet Method for Solvig Travelig Salesma Problem Hadi Basirzadeh Departmet of Mathematics, Shahid Chamra Uiversity, Ahvaz, Ira Article history:

More information

Τεχνολογία Λογισμικού

Τεχνολογία Λογισμικού ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Τεχνολογία Λογισμικού, 7ο/9ο εξάμηνο 2018-2019 Τεχνολογία Λογισμικού Ν.Παπασπύρου, Αν.Καθ. ΣΗΜΜΥ, ickie@softlab.tua,gr

More information

Task scenarios Outline. Scenarios in Knowledge Extraction. Proposed Framework for Scenario to Design Diagram Transformation

Task scenarios Outline. Scenarios in Knowledge Extraction. Proposed Framework for Scenario to Design Diagram Transformation 6-0-0 Kowledge Trasformatio from Task Scearios to View-based Desig Diagrams Nima Dezhkam Kamra Sartipi {dezhka, sartipi}@mcmaster.ca Departmet of Computig ad Software McMaster Uiversity CANADA SEKE 08

More information

Data diverse software fault tolerance techniques

Data diverse software fault tolerance techniques Data diverse software fault tolerace techiques Complemets desig diversity by compesatig for desig diversity s s limitatios Ivolves obtaiig a related set of poits i the program data space, executig the

More information

ISSN (Print) Research Article. *Corresponding author Nengfa Hu

ISSN (Print) Research Article. *Corresponding author Nengfa Hu Scholars Joural of Egieerig ad Techology (SJET) Sch. J. Eg. Tech., 2016; 4(5):249-253 Scholars Academic ad Scietific Publisher (A Iteratioal Publisher for Academic ad Scietific Resources) www.saspublisher.com

More information

Τεχνολογία Λογισμικού

Τεχνολογία Λογισμικού ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Τεχνολογία Λογισμικού, 7ο/9ο εξάμηνο 2018-2019 Τεχνολογία Λογισμικού Ν.Παπασπύρου, Αν.Καθ. ΣΗΜΜΥ, ickie@softlab.tua,gr

More information

Goals of this Lecture Activity Diagram Example

Goals of this Lecture Activity Diagram Example Goals of this Lecture Activity Diagram Example Object-Orieted Aalysis ad Desig - Fall 998 Preset a example activity diagram Ð Relate to requiremets, use cases, ad class diagrams Also, respod to a questio

More information

Structuring Redundancy for Fault Tolerance. CSE 598D: Fault Tolerant Software

Structuring Redundancy for Fault Tolerance. CSE 598D: Fault Tolerant Software Structurig Redudacy for Fault Tolerace CSE 598D: Fault Tolerat Software What do we wat to achieve? Versios Damage Assessmet Versio 1 Error Detectio Iputs Versio 2 Voter Outputs State Restoratio Cotiued

More information

Copyright 2016 Ramez Elmasri and Shamkant B. Navathe

Copyright 2016 Ramez Elmasri and Shamkant B. Navathe Copyright 2016 Ramez Elmasri ad Shamkat B. Navathe CHAPTER 19 Query Optimizatio Copyright 2016 Ramez Elmasri ad Shamkat B. Navathe Itroductio Query optimizatio Coducted by a query optimizer i a DBMS Goal:

More information

EE 459/500 HDL Based Digital Design with Programmable Logic. Lecture 13 Control and Sequencing: Hardwired and Microprogrammed Control

EE 459/500 HDL Based Digital Design with Programmable Logic. Lecture 13 Control and Sequencing: Hardwired and Microprogrammed Control EE 459/500 HDL Based Digital Desig with Programmable Logic Lecture 13 Cotrol ad Sequecig: Hardwired ad Microprogrammed Cotrol Refereces: Chapter s 4,5 from textbook Chapter 7 of M.M. Mao ad C.R. Kime,

More information

A SOFTWARE MODEL FOR THE MULTILAYER PERCEPTRON

A SOFTWARE MODEL FOR THE MULTILAYER PERCEPTRON A SOFTWARE MODEL FOR THE MULTILAYER PERCEPTRON Roberto Lopez ad Eugeio Oñate Iteratioal Ceter for Numerical Methods i Egieerig (CIMNE) Edificio C1, Gra Capitá s/, 08034 Barceloa, Spai ABSTRACT I this work

More information

An Estimation of Distribution Algorithm for solving the Knapsack problem

An Estimation of Distribution Algorithm for solving the Knapsack problem Vol.4,No.5, 214 Published olie: May 25, 214 DOI: 1.7321/jscse.v4.5.1 A Estimatio of Distributio Algorithm for solvig the Kapsack problem 1 Ricardo Pérez, 2 S. Jös, 3 Arturo Herádez, 4 Carlos A. Ochoa *1,

More information

Introduction. Nature-Inspired Computing. Terminology. Problem Types. Constraint Satisfaction Problems - CSP. Free Optimization Problem - FOP

Introduction. Nature-Inspired Computing. Terminology. Problem Types. Constraint Satisfaction Problems - CSP. Free Optimization Problem - FOP Nature-Ispired Computig Hadlig Costraits Dr. Şima Uyar September 2006 Itroductio may practical problems are costraied ot all combiatios of variable values represet valid solutios feasible solutios ifeasible

More information

3D Model Retrieval Method Based on Sample Prediction

3D Model Retrieval Method Based on Sample Prediction 20 Iteratioal Coferece o Computer Commuicatio ad Maagemet Proc.of CSIT vol.5 (20) (20) IACSIT Press, Sigapore 3D Model Retrieval Method Based o Sample Predictio Qigche Zhag, Ya Tag* School of Computer

More information

1 Enterprise Modeler

1 Enterprise Modeler 1 Eterprise Modeler Itroductio I BaaERP, a Busiess Cotrol Model ad a Eterprise Structure Model for multi-site cofiguratios are itroduced. Eterprise Structure Model Busiess Cotrol Models Busiess Fuctio

More information

Evaluation of Different Fitness Functions for the Evolutionary Testing of an Autonomous Parking System

Evaluation of Different Fitness Functions for the Evolutionary Testing of an Autonomous Parking System Evaluatio of Differet Fitess Fuctios for the Evolutioary Testig of a Autoomous Parkig System Joachim Wegeer 1 ad Oliver Bühler 2 1 DaimlerChrysler AG, Research ad Techology, Alt-Moabit 96 a, D-10559 Berli,

More information

COSC 1P03. Ch 7 Recursion. Introduction to Data Structures 8.1

COSC 1P03. Ch 7 Recursion. Introduction to Data Structures 8.1 COSC 1P03 Ch 7 Recursio Itroductio to Data Structures 8.1 COSC 1P03 Recursio Recursio I Mathematics factorial Fiboacci umbers defie ifiite set with fiite defiitio I Computer Sciece sytax rules fiite defiitio,

More information

GE FUNDAMENTALS OF COMPUTING AND PROGRAMMING UNIT III

GE FUNDAMENTALS OF COMPUTING AND PROGRAMMING UNIT III GE2112 - FUNDAMENTALS OF COMPUTING AND PROGRAMMING UNIT III PROBLEM SOLVING AND OFFICE APPLICATION SOFTWARE Plaig the Computer Program Purpose Algorithm Flow Charts Pseudocode -Applicatio Software Packages-

More information

Python Programming: An Introduction to Computer Science

Python Programming: An Introduction to Computer Science Pytho Programmig: A Itroductio to Computer Sciece Chapter 1 Computers ad Programs 1 Objectives To uderstad the respective roles of hardware ad software i a computig system. To lear what computer scietists

More information

Fuzzy Rule Selection by Data Mining Criteria and Genetic Algorithms

Fuzzy Rule Selection by Data Mining Criteria and Genetic Algorithms Fuzzy Rule Selectio by Data Miig Criteria ad Geetic Algorithms Hisao Ishibuchi Dept. of Idustrial Egieerig Osaka Prefecture Uiversity 1-1 Gakue-cho, Sakai, Osaka 599-8531, JAPAN E-mail: hisaoi@ie.osakafu-u.ac.jp

More information

A New Morphological 3D Shape Decomposition: Grayscale Interframe Interpolation Method

A New Morphological 3D Shape Decomposition: Grayscale Interframe Interpolation Method A ew Morphological 3D Shape Decompositio: Grayscale Iterframe Iterpolatio Method D.. Vizireau Politehica Uiversity Bucharest, Romaia ae@comm.pub.ro R. M. Udrea Politehica Uiversity Bucharest, Romaia mihea@comm.pub.ro

More information

Optimization for framework design of new product introduction management system Ma Ying, Wu Hongcui

Optimization for framework design of new product introduction management system Ma Ying, Wu Hongcui 2d Iteratioal Coferece o Electrical, Computer Egieerig ad Electroics (ICECEE 2015) Optimizatio for framework desig of ew product itroductio maagemet system Ma Yig, Wu Hogcui Tiaji Electroic Iformatio Vocatioal

More information

Computers and Scientific Thinking

Computers and Scientific Thinking Computers ad Scietific Thikig David Reed, Creighto Uiversity Chapter 15 JavaScript Strigs 1 Strigs as Objects so far, your iteractive Web pages have maipulated strigs i simple ways use text box to iput

More information

Research Article Genetic Programming for Automating the Development of Data Management Algorithms in Information Technology Systems

Research Article Genetic Programming for Automating the Development of Data Management Algorithms in Information Technology Systems Advaces i Software Egieerig Volume 2012, Article ID 893701, 14 pages doi:10.1155/2012/893701 Research Article Geetic Programmig for Automatig the Developmet of Data Maagemet Algorithms i Iformatio Techology

More information

Image Segmentation EEE 508

Image Segmentation EEE 508 Image Segmetatio Objective: to determie (etract) object boudaries. It is a process of partitioig a image ito distict regios by groupig together eighborig piels based o some predefied similarity criterio.

More information

CS 683: Advanced Design and Analysis of Algorithms

CS 683: Advanced Design and Analysis of Algorithms CS 683: Advaced Desig ad Aalysis of Algorithms Lecture 6, February 1, 2008 Lecturer: Joh Hopcroft Scribes: Shaomei Wu, Etha Feldma February 7, 2008 1 Threshold for k CNF Satisfiability I the previous lecture,

More information

Dynamic Programming and Curve Fitting Based Road Boundary Detection

Dynamic Programming and Curve Fitting Based Road Boundary Detection Dyamic Programmig ad Curve Fittig Based Road Boudary Detectio SHYAM PRASAD ADHIKARI, HYONGSUK KIM, Divisio of Electroics ad Iformatio Egieerig Chobuk Natioal Uiversity 664-4 Ga Deokji-Dog Jeoju-City Jeobuk

More information

CSC 220: Computer Organization Unit 11 Basic Computer Organization and Design

CSC 220: Computer Organization Unit 11 Basic Computer Organization and Design College of Computer ad Iformatio Scieces Departmet of Computer Sciece CSC 220: Computer Orgaizatio Uit 11 Basic Computer Orgaizatio ad Desig 1 For the rest of the semester, we ll focus o computer architecture:

More information

Chapter 1. Introduction to Computers and C++ Programming. Copyright 2015 Pearson Education, Ltd.. All rights reserved.

Chapter 1. Introduction to Computers and C++ Programming. Copyright 2015 Pearson Education, Ltd.. All rights reserved. Chapter 1 Itroductio to Computers ad C++ Programmig Copyright 2015 Pearso Educatio, Ltd.. All rights reserved. Overview 1.1 Computer Systems 1.2 Programmig ad Problem Solvig 1.3 Itroductio to C++ 1.4 Testig

More information

Outline. Research Definition. Motivation. Foundation of Reverse Engineering. Dynamic Analysis and Design Pattern Detection in Java Programs

Outline. Research Definition. Motivation. Foundation of Reverse Engineering. Dynamic Analysis and Design Pattern Detection in Java Programs Dyamic Aalysis ad Desig Patter Detectio i Java Programs Outlie Lei Hu Kamra Sartipi {hul4, sartipi}@mcmasterca Departmet of Computig ad Software McMaster Uiversity Caada Motivatio Research Problem Defiitio

More information

Keywords Software Architecture, Object-oriented metrics, Reliability, Reusability, Coupling evaluator, Cohesion, efficiency

Keywords Software Architecture, Object-oriented metrics, Reliability, Reusability, Coupling evaluator, Cohesion, efficiency Volume 3, Issue 9, September 2013 ISSN: 2277 128X Iteratioal Joural of Advaced Research i Computer Sciece ad Software Egieerig Research Paper Available olie at: www.ijarcsse.com Couplig Evaluator to Ehace

More information

Optimization of Multiple Input Single Output Fuzzy Membership Functions Using Clonal Selection Algorithm

Optimization of Multiple Input Single Output Fuzzy Membership Functions Using Clonal Selection Algorithm Optimizatio of Multiple Iput Sigle Output Fuzzy Membership Fuctios Usig Cloal Selectio Algorithm AYŞE MERVE ACILAR, AHMET ARSLAN Computer Egieerig Departmet Selcuk Uiversity Selcuk Uiversity, Eg.-Arch.

More information

BOOLEAN MATHEMATICS: GENERAL THEORY

BOOLEAN MATHEMATICS: GENERAL THEORY CHAPTER 3 BOOLEAN MATHEMATICS: GENERAL THEORY 3.1 ISOMORPHIC PROPERTIES The ame Boolea Arithmetic was chose because it was discovered that literal Boolea Algebra could have a isomorphic umerical aspect.

More information

Copyright 2016 Ramez Elmasri and Shamkant B. Navathe

Copyright 2016 Ramez Elmasri and Shamkant B. Navathe Copyright 2016 Ramez Elmasri ad Shamkat B. Navathe CHAPTER 26 Ehaced Data Models: Itroductio to Active, Temporal, Spatial, Multimedia, ad Deductive Databases Copyright 2016 Ramez Elmasri ad Shamkat B.

More information

Administrative UNSUPERVISED LEARNING. Unsupervised learning. Supervised learning 11/25/13. Final project. No office hours today

Administrative UNSUPERVISED LEARNING. Unsupervised learning. Supervised learning 11/25/13. Final project. No office hours today Admiistrative Fial project No office hours today UNSUPERVISED LEARNING David Kauchak CS 451 Fall 2013 Supervised learig Usupervised learig label label 1 label 3 model/ predictor label 4 label 5 Supervised

More information

Analysis Metrics. Intro to Algorithm Analysis. Slides. 12. Alg Analysis. 12. Alg Analysis

Analysis Metrics. Intro to Algorithm Analysis. Slides. 12. Alg Analysis. 12. Alg Analysis Itro to Algorithm Aalysis Aalysis Metrics Slides. Table of Cotets. Aalysis Metrics 3. Exact Aalysis Rules 4. Simple Summatio 5. Summatio Formulas 6. Order of Magitude 7. Big-O otatio 8. Big-O Theorems

More information

Lecture Notes 6 Introduction to algorithm analysis CSS 501 Data Structures and Object-Oriented Programming

Lecture Notes 6 Introduction to algorithm analysis CSS 501 Data Structures and Object-Oriented Programming Lecture Notes 6 Itroductio to algorithm aalysis CSS 501 Data Structures ad Object-Orieted Programmig Readig for this lecture: Carrao, Chapter 10 To be covered i this lecture: Itroductio to algorithm aalysis

More information

SOFTWARE usually does not work alone. It must have

SOFTWARE usually does not work alone. It must have Proceedigs of the 203 Federated Coferece o Computer Sciece ad Iformatio Systems pp. 343 348 A method for selectig eviromets for software compatibility testig Łukasz Pobereżik AGH Uiversity of Sciece ad

More information

Małgorzata Sterna. Mateusz Cicheński, Mateusz Jarus, Michał Miszkiewicz, Jarosław Szymczak

Małgorzata Sterna. Mateusz Cicheński, Mateusz Jarus, Michał Miszkiewicz, Jarosław Szymczak Małgorzata Stera Mateusz Cicheński, Mateusz Jarus, Michał Miszkiewicz, Jarosław Szymczak Istitute of Computig Sciece Pozań Uiversity of Techology Pozań - Polad Scope of the Talk Problem defiitio MP Formulatio

More information

Lecture 18. Optimization in n dimensions

Lecture 18. Optimization in n dimensions Lecture 8 Optimizatio i dimesios Itroductio We ow cosider the problem of miimizig a sigle scalar fuctio of variables, f x, where x=[ x, x,, x ]T. The D case ca be visualized as fidig the lowest poit of

More information

Pseudocode ( 1.1) Analysis of Algorithms. Primitive Operations. Pseudocode Details. Running Time ( 1.1) Estimating performance

Pseudocode ( 1.1) Analysis of Algorithms. Primitive Operations. Pseudocode Details. Running Time ( 1.1) Estimating performance Aalysis of Algorithms Iput Algorithm Output A algorithm is a step-by-step procedure for solvig a problem i a fiite amout of time. Pseudocode ( 1.1) High-level descriptio of a algorithm More structured

More information

Octahedral Graph Scaling

Octahedral Graph Scaling Octahedral Graph Scalig Peter Russell Jauary 1, 2015 Abstract There is presetly o strog iterpretatio for the otio of -vertex graph scalig. This paper presets a ew defiitio for the term i the cotext of

More information

Improvement of the Orthogonal Code Convolution Capabilities Using FPGA Implementation

Improvement of the Orthogonal Code Convolution Capabilities Using FPGA Implementation Improvemet of the Orthogoal Code Covolutio Capabilities Usig FPGA Implemetatio Naima Kaabouch, Member, IEEE, Apara Dhirde, Member, IEEE, Saleh Faruque, Member, IEEE Departmet of Electrical Egieerig, Uiversity

More information

Python Programming: An Introduction to Computer Science

Python Programming: An Introduction to Computer Science Pytho Programmig: A Itroductio to Computer Sciece Chapter 6 Defiig Fuctios Pytho Programmig, 2/e 1 Objectives To uderstad why programmers divide programs up ito sets of cooperatig fuctios. To be able to

More information

Chapter 5. Functions for All Subtasks. Copyright 2015 Pearson Education, Ltd.. All rights reserved.

Chapter 5. Functions for All Subtasks. Copyright 2015 Pearson Education, Ltd.. All rights reserved. Chapter 5 Fuctios for All Subtasks Copyright 2015 Pearso Educatio, Ltd.. All rights reserved. Overview 5.1 void Fuctios 5.2 Call-By-Referece Parameters 5.3 Usig Procedural Abstractio 5.4 Testig ad Debuggig

More information

Service Oriented Enterprise Architecture and Service Oriented Enterprise

Service Oriented Enterprise Architecture and Service Oriented Enterprise Approved for Public Release Distributio Ulimited Case Number: 09-2786 The 23 rd Ope Group Eterprise Practitioers Coferece Service Orieted Eterprise ad Service Orieted Eterprise Ya Zhao, PhD Pricipal, MITRE

More information

EFFICIENT MULTIPLE SEARCH TREE STRUCTURE

EFFICIENT MULTIPLE SEARCH TREE STRUCTURE EFFICIENT MULTIPLE SEARCH TREE STRUCTURE Mohammad Reza Ghaeii 1 ad Mohammad Reza Mirzababaei 1 Departmet of Computer Egieerig ad Iformatio Techology, Amirkabir Uiversity of Techology, Tehra, Ira mr.ghaeii@aut.ac.ir

More information

Goals of the Lecture UML Implementation Diagrams

Goals of the Lecture UML Implementation Diagrams Goals of the Lecture UML Implemetatio Diagrams Object-Orieted Aalysis ad Desig - Fall 1998 Preset UML Diagrams useful for implemetatio Provide examples Next Lecture Ð A variety of topics o mappig from

More information

Improving Template Based Spike Detection

Improving Template Based Spike Detection Improvig Template Based Spike Detectio Kirk Smith, Member - IEEE Portlad State Uiversity petra@ee.pdx.edu Abstract Template matchig algorithms like SSE, Covolutio ad Maximum Likelihood are well kow for

More information

Memetic Algorithm: Hybridization of Hill Climbing with Selection Operator

Memetic Algorithm: Hybridization of Hill Climbing with Selection Operator Iteratioal Joural of Soft Computig ad Egieerig (IJSCE) ISSN: 2231-2307, Volume-3, Issue-2, May 2013 Memetic Algorithm: Hybridizatio of Hill Climbig with Selectio Operator Rakesh Kumar, Sajay Tyagi, Maju

More information

Assignment Problems with fuzzy costs using Ones Assignment Method

Assignment Problems with fuzzy costs using Ones Assignment Method IOSR Joural of Mathematics (IOSR-JM) e-issn: 8-8, p-issn: 9-6. Volume, Issue Ver. V (Sep. - Oct.06), PP 8-89 www.iosrjourals.org Assigmet Problems with fuzzy costs usig Oes Assigmet Method S.Vimala, S.Krisha

More information

Operating System Concepts. Operating System Concepts

Operating System Concepts. Operating System Concepts Chapter 4: Mass-Storage Systems Logical Disk Structure Logical Disk Structure Disk Schedulig Disk Maagemet RAID Structure Disk drives are addressed as large -dimesioal arrays of logical blocks, where the

More information

n Learn how resiliency strategies reduce risk n Discover automation strategies to reduce risk

n Learn how resiliency strategies reduce risk n Discover automation strategies to reduce risk Chapter Objectives Lear how resiliecy strategies reduce risk Discover automatio strategies to reduce risk Chapter #16: Architecture ad Desig Resiliecy ad Automatio Strategies 2 Automatio/Scriptig Resiliet

More information

Exact Minimum Lower Bound Algorithm for Traveling Salesman Problem

Exact Minimum Lower Bound Algorithm for Traveling Salesman Problem Exact Miimum Lower Boud Algorithm for Travelig Salesma Problem Mohamed Eleiche GeoTiba Systems mohamed.eleiche@gmail.com Abstract The miimum-travel-cost algorithm is a dyamic programmig algorithm to compute

More information

6.854J / J Advanced Algorithms Fall 2008

6.854J / J Advanced Algorithms Fall 2008 MIT OpeCourseWare http://ocw.mit.edu 6.854J / 18.415J Advaced Algorithms Fall 2008 For iformatio about citig these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.415/6.854 Advaced Algorithms

More information

CIS 121 Data Structures and Algorithms with Java Spring Stacks, Queues, and Heaps Monday, February 18 / Tuesday, February 19

CIS 121 Data Structures and Algorithms with Java Spring Stacks, Queues, and Heaps Monday, February 18 / Tuesday, February 19 CIS Data Structures ad Algorithms with Java Sprig 09 Stacks, Queues, ad Heaps Moday, February 8 / Tuesday, February 9 Stacks ad Queues Recall the stack ad queue ADTs (abstract data types from lecture.

More information

Cubic Polynomial Curves with a Shape Parameter

Cubic Polynomial Curves with a Shape Parameter roceedigs of the th WSEAS Iteratioal Coferece o Robotics Cotrol ad Maufacturig Techology Hagzhou Chia April -8 00 (pp5-70) Cubic olyomial Curves with a Shape arameter MO GUOLIANG ZHAO YANAN Iformatio ad

More information

Pattern Recognition Systems Lab 1 Least Mean Squares

Pattern Recognition Systems Lab 1 Least Mean Squares Patter Recogitio Systems Lab 1 Least Mea Squares 1. Objectives This laboratory work itroduces the OpeCV-based framework used throughout the course. I this assigmet a lie is fitted to a set of poits usig

More information

Data Structures and Algorithms. Analysis of Algorithms

Data Structures and Algorithms. Analysis of Algorithms Data Structures ad Algorithms Aalysis of Algorithms Outlie Ruig time Pseudo-code Big-oh otatio Big-theta otatio Big-omega otatio Asymptotic algorithm aalysis Aalysis of Algorithms Iput Algorithm Output

More information

Digital Microfluidic Biochips Online Fault Detection Route Optimization Scheme Chuan-pei XU and Tong-zhou ZHAO *

Digital Microfluidic Biochips Online Fault Detection Route Optimization Scheme Chuan-pei XU and Tong-zhou ZHAO * 2018 Iteratioal Coferece o Commuicatio, Network ad Artificial Itelligece (CNAI 2018) ISBN: 978-1-60595-065-5 Digital Microfluidic Biochips Olie Fault Detectio Route Optimizatio Scheme Chua-pei XU ad Tog-zhou

More information

Recursive Procedures. How can you model the relationship between consecutive terms of a sequence?

Recursive Procedures. How can you model the relationship between consecutive terms of a sequence? 6. Recursive Procedures I Sectio 6.1, you used fuctio otatio to write a explicit formula to determie the value of ay term i a Sometimes it is easier to calculate oe term i a sequece usig the previous terms.

More information

Evolutionary Hybrid Genetic-Firefly Algorithm for Global Optimization

Evolutionary Hybrid Genetic-Firefly Algorithm for Global Optimization Iteratioal Joural of Computatioal Egieerig & Maagemet, Vol. 6 Issue, May ISSN (Olie): -789 www..org Evolutioary Hybrid Geetic-Firefly Algorithm for Global Optimizatio 7 Shaik Farook, P. Sagameswara Raju

More information

Analysis of Documents Clustering Using Sampled Agglomerative Technique

Analysis of Documents Clustering Using Sampled Agglomerative Technique Aalysis of Documets Clusterig Usig Sampled Agglomerative Techique Omar H. Karam, Ahmed M. Hamad, ad Sheri M. Moussa Abstract I this paper a clusterig algorithm for documets is proposed that adapts a samplig-based

More information

Chapter 4. Procedural Abstraction and Functions That Return a Value. Copyright 2015 Pearson Education, Ltd.. All rights reserved.

Chapter 4. Procedural Abstraction and Functions That Return a Value. Copyright 2015 Pearson Education, Ltd.. All rights reserved. Chapter 4 Procedural Abstractio ad Fuctios That Retur a Value Copyright 2015 Pearso Educatio, Ltd.. All rights reserved. Overview 4.1 Top-Dow Desig 4.2 Predefied Fuctios 4.3 Programmer-Defied Fuctios 4.4

More information

Algorithms for Disk Covering Problems with the Most Points

Algorithms for Disk Covering Problems with the Most Points Algorithms for Disk Coverig Problems with the Most Poits Bi Xiao Departmet of Computig Hog Kog Polytechic Uiversity Hug Hom, Kowloo, Hog Kog csbxiao@comp.polyu.edu.hk Qigfeg Zhuge, Yi He, Zili Shao, Edwi

More information

Fast Fourier Transform (FFT) Algorithms

Fast Fourier Transform (FFT) Algorithms Fast Fourier Trasform FFT Algorithms Relatio to the z-trasform elsewhere, ozero, z x z X x [ ] 2 ~ elsewhere,, ~ e j x X x x π j e z z X X π 2 ~ The DFS X represets evely spaced samples of the z- trasform

More information

Harris Corner Detection Algorithm at Sub-pixel Level and Its Application Yuanfeng Han a, Peijiang Chen b * and Tian Meng c

Harris Corner Detection Algorithm at Sub-pixel Level and Its Application Yuanfeng Han a, Peijiang Chen b * and Tian Meng c Iteratioal Coferece o Computatioal Sciece ad Egieerig (ICCSE 015) Harris Corer Detectio Algorithm at Sub-pixel Level ad Its Applicatio Yuafeg Ha a, Peijiag Che b * ad Tia Meg c School of Automobile, Liyi

More information

CMSC Computer Architecture Lecture 11: More Caches. Prof. Yanjing Li University of Chicago

CMSC Computer Architecture Lecture 11: More Caches. Prof. Yanjing Li University of Chicago CMSC 22200 Computer Architecture Lecture 11: More Caches Prof. Yajig Li Uiversity of Chicago Lecture Outlie Caches 2 Review Memory hierarchy Cache basics Locality priciples Spatial ad temporal How to access

More information

Variance as a Stopping Criterion for Genetic Algorithms with Elitist Model

Variance as a Stopping Criterion for Genetic Algorithms with Elitist Model Fudameta Iformaticae 120 (2012) 145 164 145 DOI 10.3233/FI-2012-754 IOS Press Variace as a Stoppig Criterio for Geetic Algorithms with Elitist Model Diabadhu Bhadari, C. A. Murthy, Sakar K. Pal Ceter for

More information

2D Isogeometric Shape Optimization considering both control point positions and weights as design variables

2D Isogeometric Shape Optimization considering both control point positions and weights as design variables 1 th World Cogress o tructural ad Multidiscipliary Optimizatio May 19-24, 213, Orlado, Florida, UA 2D Isogeometric hape Optimizatio cosiderig both cotrol poit positios ad weights as desig variables Yeo-Ul

More information

Bayesian approach to reliability modelling for a probability of failure on demand parameter

Bayesian approach to reliability modelling for a probability of failure on demand parameter Bayesia approach to reliability modellig for a probability of failure o demad parameter BÖRCSÖK J., SCHAEFER S. Departmet of Computer Architecture ad System Programmig Uiversity Kassel, Wilhelmshöher Allee

More information

Baan Tools User Management

Baan Tools User Management Baa Tools User Maagemet Module Procedure UP008A US Documetiformatio Documet Documet code : UP008A US Documet group : User Documetatio Documet title : User Maagemet Applicatio/Package : Baa Tools Editio

More information

An Efficient Algorithm for Graph Bisection of Triangularizations

An Efficient Algorithm for Graph Bisection of Triangularizations A Efficiet Algorithm for Graph Bisectio of Triagularizatios Gerold Jäger Departmet of Computer Sciece Washigto Uiversity Campus Box 1045 Oe Brookigs Drive St. Louis, Missouri 63130-4899, USA jaegerg@cse.wustl.edu

More information

. Written in factored form it is easy to see that the roots are 2, 2, i,

. Written in factored form it is easy to see that the roots are 2, 2, i, CMPS A Itroductio to Programmig Programmig Assigmet 4 I this assigmet you will write a java program that determies the real roots of a polyomial that lie withi a specified rage. Recall that the roots (or

More information

What are Information Systems?

What are Information Systems? Iformatio Systems Cocepts What are Iformatio Systems? Roma Kotchakov Birkbeck, Uiversity of Lodo Based o Chapter 1 of Beett, McRobb ad Farmer: Object Orieted Systems Aalysis ad Desig Usig UML, (4th Editio),

More information

Bezier curves. Figure 2 shows cubic Bezier curves for various control points. In a Bezier curve, only

Bezier curves. Figure 2 shows cubic Bezier curves for various control points. In a Bezier curve, only Edited: Yeh-Liag Hsu (998--; recommeded: Yeh-Liag Hsu (--9; last updated: Yeh-Liag Hsu (9--7. Note: This is the course material for ME55 Geometric modelig ad computer graphics, Yua Ze Uiversity. art of

More information

Lecture 1: Introduction and Strassen s Algorithm

Lecture 1: Introduction and Strassen s Algorithm 5-750: Graduate Algorithms Jauary 7, 08 Lecture : Itroductio ad Strasse s Algorithm Lecturer: Gary Miller Scribe: Robert Parker Itroductio Machie models I this class, we will primarily use the Radom Access

More information

How do we evaluate algorithms?

How do we evaluate algorithms? F2 Readig referece: chapter 2 + slides Algorithm complexity Big O ad big Ω To calculate ruig time Aalysis of recursive Algorithms Next time: Litterature: slides mostly The first Algorithm desig methods:

More information

IMP: Superposer Integrated Morphometrics Package Superposition Tool

IMP: Superposer Integrated Morphometrics Package Superposition Tool IMP: Superposer Itegrated Morphometrics Package Superpositio Tool Programmig by: David Lieber ( 03) Caisius College 200 Mai St. Buffalo, NY 4208 Cocept by: H. David Sheets, Dept. of Physics, Caisius College

More information

Basic allocator mechanisms The course that gives CMU its Zip! Memory Management II: Dynamic Storage Allocation Mar 6, 2000.

Basic allocator mechanisms The course that gives CMU its Zip! Memory Management II: Dynamic Storage Allocation Mar 6, 2000. 5-23 The course that gives CM its Zip Memory Maagemet II: Dyamic Storage Allocatio Mar 6, 2000 Topics Segregated lists Buddy system Garbage collectio Mark ad Sweep Copyig eferece coutig Basic allocator

More information

Modeling a Software Architecture. Paolo Ciancarini

Modeling a Software Architecture. Paolo Ciancarini Modelig a Software Architecture Paolo Ciacarii Ageda Describig software architectures Architectural frameworks Models based o architectural laguages Models based o UML Mai architectural views 2 Why documet

More information

Lecture 28: Data Link Layer

Lecture 28: Data Link Layer Automatic Repeat Request (ARQ) 2. Go ack N ARQ Although the Stop ad Wait ARQ is very simple, you ca easily show that it has very the low efficiecy. The low efficiecy comes from the fact that the trasmittig

More information

Running Time. Analysis of Algorithms. Experimental Studies. Limitations of Experiments

Running Time. Analysis of Algorithms. Experimental Studies. Limitations of Experiments Ruig Time Aalysis of Algorithms Iput Algorithm Output A algorithm is a step-by-step procedure for solvig a problem i a fiite amout of time. Most algorithms trasform iput objects ito output objects. The

More information

Chapter 3 Classification of FFT Processor Algorithms

Chapter 3 Classification of FFT Processor Algorithms Chapter Classificatio of FFT Processor Algorithms The computatioal complexity of the Discrete Fourier trasform (DFT) is very high. It requires () 2 complex multiplicatios ad () complex additios [5]. As

More information

Heuristic Approaches for Solving the Multidimensional Knapsack Problem (MKP)

Heuristic Approaches for Solving the Multidimensional Knapsack Problem (MKP) Heuristic Approaches for Solvig the Multidimesioal Kapsack Problem (MKP) R. PARRA-HERNANDEZ N. DIMOPOULOS Departmet of Electrical ad Computer Eg. Uiversity of Victoria Victoria, B.C. CANADA Abstract: -

More information

Evaluation scheme for Tracking in AMI

Evaluation scheme for Tracking in AMI A M I C o m m u i c a t i o A U G M E N T E D M U L T I - P A R T Y I N T E R A C T I O N http://www.amiproject.org/ Evaluatio scheme for Trackig i AMI S. Schreiber a D. Gatica-Perez b AMI WP4 Trackig:

More information

Running Time ( 3.1) Analysis of Algorithms. Experimental Studies. Limitations of Experiments

Running Time ( 3.1) Analysis of Algorithms. Experimental Studies. Limitations of Experiments Ruig Time ( 3.1) Aalysis of Algorithms Iput Algorithm Output A algorithm is a step- by- step procedure for solvig a problem i a fiite amout of time. Most algorithms trasform iput objects ito output objects.

More information

Analysis of Algorithms

Analysis of Algorithms Aalysis of Algorithms Iput Algorithm Output A algorithm is a step-by-step procedure for solvig a problem i a fiite amout of time. Ruig Time Most algorithms trasform iput objects ito output objects. The

More information

Appendix D. Controller Implementation

Appendix D. Controller Implementation COMPUTER ORGANIZATION AND DESIGN The Hardware/Software Iterface 5 th Editio Appedix D Cotroller Implemetatio Cotroller Implemetatios Combiatioal logic (sigle-cycle); Fiite state machie (multi-cycle, pipelied);

More information

1 Graph Sparsfication

1 Graph Sparsfication CME 305: Discrete Mathematics ad Algorithms 1 Graph Sparsficatio I this sectio we discuss the approximatio of a graph G(V, E) by a sparse graph H(V, F ) o the same vertex set. I particular, we cosider

More information

Redundancy Allocation for Series Parallel Systems with Multiple Constraints and Sensitivity Analysis

Redundancy Allocation for Series Parallel Systems with Multiple Constraints and Sensitivity Analysis IOSR Joural of Egieerig Redudacy Allocatio for Series Parallel Systems with Multiple Costraits ad Sesitivity Aalysis S. V. Suresh Babu, D.Maheswar 2, G. Ragaath 3 Y.Viaya Kumar d G.Sakaraiah e (Mechaical

More information

Chapter 10. Defining Classes. Copyright 2015 Pearson Education, Ltd.. All rights reserved.

Chapter 10. Defining Classes. Copyright 2015 Pearson Education, Ltd.. All rights reserved. Chapter 10 Defiig Classes Copyright 2015 Pearso Educatio, Ltd.. All rights reserved. Overview 10.1 Structures 10.2 Classes 10.3 Abstract Data Types 10.4 Itroductio to Iheritace Copyright 2015 Pearso Educatio,

More information

An Efficient Algorithm for Graph Bisection of Triangularizations

An Efficient Algorithm for Graph Bisection of Triangularizations Applied Mathematical Scieces, Vol. 1, 2007, o. 25, 1203-1215 A Efficiet Algorithm for Graph Bisectio of Triagularizatios Gerold Jäger Departmet of Computer Sciece Washigto Uiversity Campus Box 1045, Oe

More information

What are we going to learn? CSC Data Structures Analysis of Algorithms. Overview. Algorithm, and Inputs

What are we going to learn? CSC Data Structures Analysis of Algorithms. Overview. Algorithm, and Inputs What are we goig to lear? CSC316-003 Data Structures Aalysis of Algorithms Computer Sciece North Carolia State Uiversity Need to say that some algorithms are better tha others Criteria for evaluatio Structure

More information

Arithmetic Sequences

Arithmetic Sequences . Arithmetic Sequeces COMMON CORE Learig Stadards HSF-IF.A. HSF-BF.A.1a HSF-BF.A. HSF-LE.A. Essetial Questio How ca you use a arithmetic sequece to describe a patter? A arithmetic sequece is a ordered

More information

DATA STRUCTURES. amortized analysis binomial heaps Fibonacci heaps union-find. Data structures. Appetizer. Appetizer

DATA STRUCTURES. amortized analysis binomial heaps Fibonacci heaps union-find. Data structures. Appetizer. Appetizer Data structures DATA STRUCTURES Static problems. Give a iput, produce a output. Ex. Sortig, FFT, edit distace, shortest paths, MST, max-flow,... amortized aalysis biomial heaps Fiboacci heaps uio-fid Dyamic

More information

Copyright 2016 Ramez Elmasri and Shamkant B. Navathe

Copyright 2016 Ramez Elmasri and Shamkant B. Navathe Copyright 2016 Ramez Elmasri ad Shamkat B. Navathe CHAPTER 18 Strategies for Query Processig Copyright 2016 Ramez Elmasri ad Shamkat B. Navathe Itroductio DBMS techiques to process a query Scaer idetifies

More information

Neuro Fuzzy Model for Human Face Expression Recognition

Neuro Fuzzy Model for Human Face Expression Recognition IOSR Joural of Computer Egieerig (IOSRJCE) ISSN : 2278-0661 Volume 1, Issue 2 (May-Jue 2012), PP 01-06 Neuro Fuzzy Model for Huma Face Expressio Recogitio Mr. Mayur S. Burage 1, Prof. S. V. Dhopte 2 1

More information

New Results on Energy of Graphs of Small Order

New Results on Energy of Graphs of Small Order Global Joural of Pure ad Applied Mathematics. ISSN 0973-1768 Volume 13, Number 7 (2017), pp. 2837-2848 Research Idia Publicatios http://www.ripublicatio.com New Results o Eergy of Graphs of Small Order

More information