| 
  • If you are citizen of an European Union member nation, you may not use this service unless you are at least 16 years old.

  • You already know Dokkio is an AI-powered assistant to organize & manage your digital files & messages. Very soon, Dokkio will support Outlook as well as One Drive. Check it out today!

View
 

Minutes of Meetings

Page history last edited by Zohaib Haye 14 years, 9 months ago

23rd June 2009

 

  • Zohaib Haye  has explained automation of technique, as only a prototype tool is implemented so he is suggested to analyze about the full automation of technique and also to consider and identify the features that are not handled.

15th June 2009

  • Zohaib Haye  has explained analysis of Andrea Baruzzo's work including its limitations and advantages. For next meeting he is suggested to demonstrate the tool if available, otherwise analyze something about automation of Andrea's technique and other related tools as well as things omitted by Andrea.

 


11th May 2009

  • Zohaib Haye  has explained the "framework for computer aided UML model verification and consistency checking" by Andrea Baruzzo, 2008. Some suggestion related to different things in the presentation is given to him, which he will have to present  later.

27th April 2009

  • shafqat Hussain was advised to clearly explain the SRM so that it is understandable to the other members also

20th April 2009

  • Shafqat Hussain was advice to give a presentation on Software Reliability Models(SRMs)from Joh D Musa book i.e Software Reliabiliy Engineering.

13th April 2009

  • Shafqat Hussain gave the presentation on software reliability introduction.comments were to give the software reliability example and give the example of failure ,time and operational environment and fault forecasting overview.

30th March 2009

  • Shafaq presented the strategy for "Extracting FSM from abstract variables having multiple variables". She was asked to verify the generated FSM using values in the given set of predicates and by comparison with the invariants in pre-post conditions of the given object Z schema.Few other improvements in the presented work were also suggested to include complex expressions and set operators etc.
  • Bilal presented his proposed extension to an existing fitness function technique which has been accepted in the Artificial Intelligence Workshop (AISEW '09). He provided details about his idea, its working and a comparison with other techniques with the help of an example.

26th March 2009

  • Mahreen Ahmad gave her thesis proposal presentation on "Testing Inheritance & Polymorphism in OO software using Formal Specification". She was asked to evaluate testing techniques for Inheritance and Polymorphism, specially in context of specification based testing. Few improvements in the presentation were also suggested.
  • Shafqat Hussain gave the presentation on the first draft of software reliability modeling and was advised to present the topic so that members can understand the topic and was advised to classify the techniques according to white box or black box testing technique and also present the formulas for reliability.

9th March 2009

  • Imran gave a presentation on evaluation criteria for his survey GUI testing techniques. He was asked to study fault models for GUI and evaluate the GUI testing techniques against fault models.
  • Farzana gave a rehearsal of her thesis presentation. She had improved her presentation based on feedback given to her during her 16th February presentation. However, a few further changes were suggested to her in the presentation.
  • Zohaib presented some inconsistency types for UML models. Some of the inconsistencies were ambiguous and could not be properly explianed, for which he was advised to provide some examples.
  • Shafaq demonstrated her proposed strategy for the extraction of states and transitions from single order predicates involving relational operators, with an updation for 'equal to' and 'inequal to' operator in a given object Z schema into Finite State machine. She has been advised to include abstract predicates, complex predicates with multiple variables.

2nd March 2009

  • Sadaf presented her survey briefly and then proposed approach in detail. She described the un-handled changes that are not covered by any change identification technique so far with examples. Then she presented her approacch that how it is going to handle data member level changes that can change the runtime behavior of object-oriented program. Next she is advised to work on the implementation of her proposed work. 

23th February 2009

  • Shafaq presented her proposed strategy for the extraction of states and transitions from predicates involving inequalities in a given object Z schema into Finite State machine. Improvement is suggested by the members to include abstract predicates, inequalities and predicates with multiple variables.

16th February 2009

  • Farzana presented defence rehearsal presentation on "A configurable Fault tolerant Architecture for Component-Based Systems". She has been given healthy feedback on points that can be improved regarding presentation formatting and content. A major problem in her presentation was that there was too much text on the slides.
  • Nasir presented his proposed idea of generating UML sequence diagrams from Z specifications. However, he could not properly explain his approach, there were several quest

9th February 2009

  • Zohaib completed remaining part of his presentation on Object Constraint Language (OCL) and its syntax with examples. For next presentation, he is assigned the task to present classification of inconsistencies in UML diagrams.

4th February 2009

  • Zohaib introduced Object Contstraint Language (OCL) and its syntax in his presentation with examples. His presentation was not completed due to lack of time. He will present the remaining part in next meeting.

26th January 2009

  • Bilal presented couple of improvements in fitness function for evolutionary algorithms. He came up with few examples to prove his point and compared his ideas with other proposed approaches. His presentation can be found here Bilal-20060126.ppt
  • Shafaq presented her progress in FSM generation from formal specification. She was advised to devise an algorithm with well defined steps to automate this process.

19th January 2009

  • Farzana presented her proposed criteria for evaluation of component-based fault-tolerant architectures.

30th December 2008 

  • Nasir presented his survey on generation of UML models from formal specification. He identified evaluation parameters that were used to analyze the existing approaches. A healthy discussion was made on the criteria he chose for the evaluation and everyone participated in the discussion. Now he has been advised to polish this survey in the light of feedback given to him. 
  • Usman presented the final presentation of his thesis. In this appearance focus was on the organization and formatting of the presentation. He has been given feedback on it and he will be presenting it up-coming meetings.

22nd December 2008

  • Abdul Basit presented UML profiles for modeling real time systems. However, his focus was more on UML profiles rather than modeling of real-time systems. He was advised to stick to his topic and deliver his presentation again next week.
  • Nasir had not prepared his presentation and, therefore, could not present his survey.
  • Both Abdul Basit and Nasir were given deadline of 31st December to complete their survey.

15th December 2008

  • Sadaf presented two semantic changes at data member level in object-oriented paradigm that produce different runtime behavior. These two changes are not yet handled by any of the proposed change identification technique. She presented couple of code examples to show how these changes can produce different runtime results even though source code is not modified in the methods. She has been asked to look for few other semantic changes in object oriented paradigm. Her presentation is available here Sadaf20081215.zip

1st December 2008

  • Shafaq presented her survey of techniques for FSM Generation that she had studied. She briefly described them one by one and then evaluated them on the basis of few parameters. Everyone participated in the discussion and a healthy feedback was given to her regarding parameters she chose and values she assigned to them. Then she presented the strategy and procedure of the whole FSM generation process and her contribution that she will try to make.The presentation is available here: Shafaq20081201.ppt (66 KB)

24th November 2008

  • Zahid presented issues of data-flow anomalies in Aspect Oritend Paradigm with reference to Object Oriented Paradigm. For example he presented an anomaly of variable use which occured prior to the definition due to method overriding in a sub-class and mapped that one to aspect oriented paradigm when method is overridden in an aspect. A lot of disucssion was done and quite a few questions were raised by members. Zahid has been asked to look for the reasons and benefits of overriding methods in aspects. The presentation is available here: Zahid20081124.rar (371 KB)
  • Nasir presented his survey on generation of UML models from formal specification. He could find only four relevant approaches. There were few issues in evaluation criteria that he chose to evaluate the existing approaches. He has been asked to re-evaluate the techniques with proper parameters that are relevant to the topic and that can really point out the strengths and weaknesses of a technique.
  • Aamer delivered a lecture on verb tense consistency.

17th November 2008

  • Bilal presented his survey on fitness function techniques for evolutionary testing. The presentation had little bit about surveyed techniques and then description of parameter he chose for evaluation. He presented his analysis on the techniques at the end. A healthy discussion was done and feedback was given to him by everyone. He is now working on the survey write-up. The presentation is available here: Bilal20081117.zip

10th November 2008

  • Sadaf presented her survey on code change identification for regression testing. The survey included brief decription of the parameters she chose for evaluation. She was advised to search the tools, find out the weaknesses in the surveyed techniques and try to list down some more effective parameters. Download survey presentation here: Sadaf20081110.ppt (67 KB).
  • Abdul Basit presented real-time systems modeling with UML and profiles. He was advised to complete survey and present again. The presentation is available here: Basit20081110.ppt (253 KB)
  • Aamer delivered a lecture on English writing covering count and noncount nouns; use of articles and quantity terms with count and noncount nouns; agreement of pronouns with nouns in number and person; referencing of nouns by pronouns; subjective, objective and possessive nouns.

3rd November 2008

  • Nasir presented his survey on generation of UML models from formal specification. He could find only two relevant approaches. He was advised to search again to find more relevant work on his topic, and also to strengthen his survey by a more detailed analysis of the existing approaches.
  • Sadaf presented two approaches on semantic differencing for regression testing. She is also advised to complete her survey and present next week.
  • Aamer Nadeem delivered an introductory lecture on technical writing. This was the first in a series of lectures aimed at improving the writing skills of the CSD members.

27th October 2008

  • Nasir presented a paper on generation of UML models from B specification. He was advised to complete his survey soon and deliver a presentation on 3rd Nov. again.
  • Zohaib presented a paper on using description logics for UML consistency checking.

 

Comments (0)

You don't have permission to comment on this page.