Software Engineering Research Paper Summery A UML-Based Approach to System Testing

Note : This is only own words summery of above paper

...................................................................................................................................................................

Along the base of specification system testing is concerned with testing an integral arrangement. In OOP, UML development means that system test requirements are derived from UML analysis artifacts such as use cases, their conforming sequence and collaboration diagrams, class diagrams. We are working to hold up the derivation of functional system test requirements, that all changed test cases, test driver once we have detailed design data. We discussed testability and automation issues, as the final goal is to support system testing activities with the high skill tool. TOTEM (Testing Object-orienTed systems with the unified Modeling language) functional test methodology, drive test requirements  from early artifacts produced at the final stage of analysis stage.

Authors: Briand, Lionel and Labiche, Yvan

.................................................................................................

Read More

Software Engineering Static Analysis Implementation in Automated test Generation its code flowchart

Static Analysis 

code step 1 : suppose we have code like this 

int twic (int v) {

return 2*v;

}

void testme (int x  int y) {

z= twic(y);

if (z==x) {

if(x>y+10) {

error}

}

}

Step 2 : Make a flow graph of the program 

Step 3: Write them into mathematically form

after step 2 you have to write your diagram into math form like

suppose  sign like your code

$(sigma type sign) : {x->xo  y->yo}       path condition Pc : true

if yes    $ : {x->xo  y->yo   z->2*yo}                   (pc : true)^(2*yo=xo)

if false  $ : {x->xo  y->yo   z->2*yo}                   (pc : true)^(2*yo!=xo)

Inner loop if True

$ : {x->xo  y->yo   z->2*yo}                   (pc : true)^(2*yo=xo)^xo>yo+10

Inner loop if False

$ : {x->xo  y->yo   z->2*yo}                   (pc : true)^(2*yo=xo)^xo<=yo+10

at the end valuse after solution 

xo=2

yo=1

and hence .

Contact Me for any help 

cheers !

              

Read More