| Center for Software Dependability |
| |
| Introduction |
Center for Software Dependability (CSD) is a research group at Mohammad Ali Jinnah University, Islamabad, Pakistan founded in June, 2003. CSD comprises of three faculty members and 18 graduate students. The group has been working in diverse areas within the domain of Software Dependability, with focus on Software Reliability, Formal Methods, Model Driven Architecture, and Software Testing.
|
Faculty Members |
| |
Dr. Aamer Nadeem
Assistant Professor
Head Center for Software Dependability
Formal Methods, Model and Specification based Testing, Testing of Object-Oriented Software |
Irum Rauf
Lecturer
Model Driven Architecture for Service Oriented Architectures |
Tabinda Waheed
Lecturer
Executable UML, UML Action Semantics, Model-based Testing, MDA |
Collaborations |
Center for software Dependability (CSD) looks forward to collaborating with people of similar interests from all over the world. We believe that diversity in ideas comes with diversity in places.
CSD has current collaborations with the following distinguished people:
|
| Research |
Center for Software Dependability (CSD) focuses on following topics within the domain of software dependability. Current research focuses on:
- Formal Methods & Safety Critical Systems
- Model Based Testing
- Model Driven Architecture
- Software Dependability (Typically Reliability and Safety Aspects)
- Software Testing
- Aspect Oriented Paradigm and Programming
- Testing of polymorphic behavior of a software
- MDA and Service Oriented Architecture
- Executable UML
Our research is aimed towards:
- Developing novel techniques and tools for enhanced software testing
- Providing a formal foundation towards software testing
- Developing novel techniques for testing of Aspect-Oriented Programs
|
| Publications |
Quratulann Farooq, Muhammad Zohaib Z. Iqbal, Zafar Malik, Aamer Nadeem, "An Approach for Selective State-Machine based Regression Testing", To appear in Proceedings of 3rd Workshop on Advances in Model Based Testing (A-MOST),2007 |
| |
Atifa Ali, Aamer Nadeem, Muhammad Zohaib Z. Iqbal, Muhammad Usman, "Regression Testing based on UML Design Models", accepted for publication at the 13th IEEE Pacific Rim Dependability Conference (PRDC, 2007), Australia, December 2007 |
| |
Najla Raza, Aamer Nadeem, Muhammad Zohaib Z. Iqbal, "An Automated Approach to System Testing based on Scenarios and Operations Contracts", accepted for publication at the IEEE Quality of Software International Conference (QSIC, 2007), USA, October 2007 |
Publication Archives |
|
| Projects |
| Till this date, CSD has the following projects as an outcome of their research. These are: |
| |
| SCOTEM
State COllaboration TEst Model or SCOTEM is a testing model, which is used to generate test paths. Collaboration diagrams with selected transitions of state charts are used to generate the intermediate model SCOTEM. |
| |
| SCOOTER
State COllabOration Testing EnviRonment (SCOOTER) is the automation tool for the State COllaboration TEst Model (SCOTEM). The automated testing environment builds a test model from the UML Collaboration and State-chart diagrams (obtained as UML [XMI]). The test model is then used to generate and execute a set of test-sequences based on a specified coverage criterion. SCOOTER supports a number of coverage criteria defined for SCOTEM. SCOOTER is developed in Java and supports XMI v1.3. |
| |
| ETINMAN
TinMan is a test derivation and management tool developed at the University of Queensland, Australia. The tool supports the test template framework and is based on Object-Z specification. The eTinMan (enhanced TinMan) project enhances the TinMan tool by allowing the testing strategies to be formally specified in Z and given as input to the tool. This allows the tester to choose a test case generation strategy from the strategies available in the tool's repository. The eTinMan has been implemented in Java language. |
| |
| FATOMAAAG
FATOMAAAG is a "FAult-TOlerant Multi-Agent Architecture based on Antecedence Graphs". The architecture uses causal message logging and antecedence graphs to provide fault-tolerance in a multi-agent system. The failed agent is recovered by other agents using their own antecedence graphs. The recovery approach is based on Manetho Protocol (Elnozahy, 1992) and provides an effective approach for fault-tolerance in multi-agent systems. A tool has also been established which provides a proof-of-concept evaluation of the architecture. |
