Participating 
     Organizations 
  Research   
     Topics 
  People 
   

formalWARE 
    results  

  Overview 
  Publications 
  Presentations 
  Tools   
  Methods 
  Examples   
  Training 

formalWARE  
  information  

  Events 
  Index  
  Links   
  Contacts

His M.Sc. thesis research focuses on automated software component testing with emphasis on the mathematical complexity of algorithm and component testing. The time complexity of a software components depends on the algorithms used in the component as well as the accessed data structures. Test suites can characterized in terms of particular combinations of algorithms and data structures (e.g., "binary search" algorithm in combination with "red-black" trees). Using other characteristics of a test suite (e.g., different times of repetitions or different size of component), methods such as "Linear Regression" or "Curve Fit" may be used to obtain the formula that represent the testing data. This formula may then used to verify that the time complexity matches the intended time complexity of the combination. 

In formalWARE, his work is to creat some containers that can simulate the standard components created in Hughes. Also, some test suites will be run on both containers. After each testing case, comparing the Hughes' conatainer and simulating containter will help to check if the standard container works as it supposed to.   

.