Model-based integration testing technique using formal finite state behavioral models for component-based software

Model-based integration testing technique using formal finite state behavioral models for component-based software

Many issues and challenges could be identified when considering integration testing of Component-Based Software Systems (CBSS). Consequently, several research have appeared in the literature, aimed at facilitating the integration testing of CBSS. Unfortunately, they suffer from a number of drawbacks...

Saved in:

書目詳細資料
主要作者:	Ahmed, Abubakar Elsafi Ali
格式:	Thesis
語言:	English
出版:	2017
主題:	QA75 Electronic computers Computer science
在線閱讀:	http://eprints.utm.my/id/eprint/81754/1/AbubakarElsafiAliPFC2017.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Fuzzy based component reusability evaluation approach to support component based software development
由: Ismail, Suryani
出版: (2017)

Cost-effective model-based test case generation and prioritization for software product line
由: Sulaiman, Rabatul Aduni
出版: (2020)

A model of software component interactions using the call graph technique
由: Nooraini, Ismail
出版: (2013)

Automated model-driven testing of service-oriented software
由: Harun, Muhammad Firdaus
出版: (2009)

A Framework For Dynamic Updating In Component-based Software Systems
由: Mohammed Alhazbi , Saleh
出版: (2009)

Collaborative model for preparing formal software specification document /
由: Sullabi, Mohamed Ahmed
出版: (2008)

A document based traceability model for test management
由: Ami, Azri
出版: (2017)

A software traceability approach to support requirement based test coverage analysis
由: Omar, Siti Faizah
出版: (2013)

Software testing process
由: Razmara, Pegah
出版: (2009)

Online modules: novel model in serial-based method of software copy protection
由: Hakimi, Ahmad Ghadiri
出版: (2013)

Cloud enterprise resource planning development model based on software factory approach
由: Dzulkafli, Abd Jalil
出版: (2018)

A process based approach software certification model for agile and secure environment
由: Mohamed, Shafinah Farvin Packeer
出版: (2015)

Relationship-based software attributes prioritization model for digital library sustainable development targets
由: Salleh, Masrina Akmal
出版: (2022)

Optimizing the selection of architecture for component-based system
由: Saed, Adil Ali Abdelaziz
出版: (2013)

Model-based semi-automated test case generation approach using UML diagrams
由: Mohamed Ali, Hussam Mohamed Bashir
出版: (2019)

Social media and knowledge integration based emergency response performance model
由: Saeed Fadul, Naglaa Abdel Lateef
出版: (2019)

Test Models for Software Testing
由: Ab. Ghani, Masnita
出版: (2005)

Software process for integrated pattern oriented analysis and design (POAD) and component oriented programming (COP) on embedded real-time systems
由: Bau, Simba
出版: (2008)

Automatic model - based test case generation for uml diagrams using tree travelsal algorithm
由: Oluwatolani, Oluwagbemi
出版: (2016)

Mesopyme-IEMA software process evaluation model for small and medium software industries
由: Basha, Imran
出版: (2014)

Modelling and implementation business processes using UML state machine for web - based information systems
由: Serenkov, Andrey
出版: (2009)

Managing software evolution through midleware and policy-based software adaptation framework
由: Awang, Nor Hazilawati
出版: (2015)

Traceability approach for managing changes involving software testing artefacts
由: Mohd. Yusop, Othman
出版: (2017)

Component model for agent pattern-oriented design (AgentPOD) framework
由: Ismail, Maizatul Akmam
出版: (2010)

Architecture based framework for dynamic software adaptation
由: Elias, Hidayah
出版: (2007)

An adaptive maintenance process model for open source software
由: Imtihan, Muhammad Rofi
出版: (2009)

A preliminary study of software trace ability reference model using feature modeling
由: Abdullah, Muhammad Irsyad
出版: (2007)

Applying model based testing approach in electric vehicle charging system : MyEV charging system case study
由: Azlan, Atiqah
出版: (2015)

Formal Specification Language for Vehicular Ad-Hoc Networks
由: Maythem Kamal , Abbas, et al.
出版: (2009)

Measuring usability for application software using the quality in use integration measurement model
由: M Katy, Abdoasslam Hatab
出版: (2016)

A dimension-based information security culture model for information security policy compliance behavior in Malaysian public universities
由: Akhyari, Nasir
出版: (2019)

Software installation formal assessment routine (SIFAR) /
由: Galoh Rashidah Haron
出版: (2006)

Usability of semi-formal and formal methods integration : empirical assessments /
由: Rozilawati Razali
出版: (2008)

Policy-based managers coordination for self-adaptive software approach
由: Mansor Hamed, Abdelhamid Abdelhadi
出版: (2013)

Ontology-based conceptual model for quality assurance in higher education
由: Ali, Sedig Ahmed Babikir
出版: (2019)

Component Based Object Recognition System
由: Yan, Sze Hon
出版: (2007)

A hybrid testing approach for test case generation of web based functional requirements
由: Ali, Sina
出版: (2013)

Learning software user interface design model for children with cerebral palsy
由: Sulaiman, Nuraini Hidayah
出版: (2015)

Hybrid search-based and string similarity-based prioritization technique for regression testing
由: Kamil Riadz, Muhammad Irsyad
出版: (2022)

Hybrid dragonfly algorithm with neighbourhood component analysis and gradient tree boosting for crime rates modelling
由: Khairuddin, Alif Ridzuan
出版: (2021)

Services hosted by the Perpustakaan Sultan Abdul Samad, Universiti Putra Malaysia with Cooperation MySyL Group