liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Model-Based Diagnosis of Software Functional Dependencies
Linköping University, Department of Computer and Information Science.
2010 (English)Independent thesis Advanced level (degree of Master (Two Years)), 30 credits / 45 HE creditsStudent thesis
Abstract [en]

Researchers have developed framework for diagnosis analysis that are called “Model Based Diagnosis Systems”. These systems are very general in scope, covers a wide range of malfunctions uncovering and identifying repair measures. This thesis is an effort to diagnose complex and lengthy static source code. Without executing source code discrepancies can only be identified by finding procedural dependencies.

With respect to modern programming languages, many software bugs arise due to logical erroneous calculations or miss handling of data structures. Modern Integrated Development Environments (IDE) like Visual Studio, J-Builder and Eclipse etc are strong enough to analyze and parse static text code to identify syntactical and type conversion errors. Some of IDE’s can automatically fix such kind of errors or provide different possible suggestions to developer.

In this thesis we have analyzed and extracted functional dependencies of source code. This extracted information can increase programmer’s understanding about code when they are extremely large or complex. By modeling this information into a model system, reduces time to debug the code in case of any failure. This increases productivity in terms of software development and in debugger skills as well. The main contribution of this thesis is the use of model based diagnosis techniques on software functional dependency graphs and charts.

Keywords: Model Based Diagnosis Systems, Integrated Development Environments, Procedural Dependencies, Erroneous calculations, Call graphs, Directed graph markup language.

Place, publisher, year, edition, pages
2010. , 68 p.
Keyword [en]
Software Engineering and Management
National Category
Software Engineering
URN: urn:nbn:se:liu:diva-58580ISRN: LIU-IDA/LITH-EX-A—10/029—SEOAI: diva2:343803
2010-06-21, Donald Knuth, Building B, First Floor (Level 3), Linköping University, Sweden, 10:00 (English)
Available from: 2010-08-16 Created: 2010-08-16 Last updated: 2010-08-16Bibliographically approved

Open Access in DiVA

fulltext(1886 kB)268 downloads
File information
File name FULLTEXT01.pdfFile size 1886 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Ayaz, Muhammad
By organisation
Department of Computer and Information Science
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 268 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 278 hits
ReferencesLink to record
Permanent link

Direct link