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 /

Thesis (Ph.D (Sains Komputer)) - Universiti Teknologi Malaysia, 2017

Bibliographic Details
Main Authors:	Abubakar Elsafi Ali Ahmed, 1984- , author, Dayang Norhayati Abang Jawawi, supervisor, Fakulti Komputeran
Format:
Language:	eng
Published:	Johor Bahru, Johor : Universiti Teknologi Malaysia, 2017

Similar Items

Model-based integration testing technique using formal finite state behavioral models for component-based software /
by: Abubakar Elsafi Ali Ahmed, 1984-, author 607429, et al.
Published: (2017)

Graphical component modeling tool for embedded real time software /
by: Suzila Sabil, 1982-, author, et al.

A component-oriented programming framework for developing embedded mobile robot software using PECOS model
by: Abang Jawawi, Dayang Norhayati, et al.
Published: (2006)

Evaluation of software testing tools in supporting component-based development /
by: Nur Izzah Mardhiah Zakaria, et al.
Published: (2013)

A generative reuse approach for component- based software engineering of embedded real-time system
by: Abang Jawawi, Dayang Norhayati, et al.
Published: (2007)

Cost-effective model-based test case generation and prioritization for software product line /
by: Rabatul Aduni Sulaiman, 1990-, author 633235, et al.
Published: (2020)

Cost-effective model-based test case generation and prioritization for software product line /
by: Rabatul Aduni Sulaiman, 1990-, author 633235, et al.
Published: (2020)

Software-in-the-loop testing for product testing software in label test process/
by: Tan, Chester Laurence Barcelon, 1992-, author 633538, et al.
Published: (2018)

Deployment of software analysis patterns for component-based development of embedded real-time mobile robot software /
by: 409201 Dayang Norhayati Abang Jawawi, et al.
Published: (2004)

Enhancements of PECOS embedded real-time component model for autonomous mobile robot application
by: Abang Jawawi, Dayang Norhayati, et al.
Published: (2006)

Sequential strategy for software process measurement using statistical process control /
by: Muhammad Abubakar Alhassan, 1985-, et al.
Published: (2014)

A framework for component - based reuse for autonomous mobile robot software /
by: 409201 Dayang Norhayati Abang Jawawi, et al.
Published: (2006)

A component-oriented programming framework for developing embedded mobile robot software using PECOS model /
by: Dayang Norhayati Abang Jawawi, author, et al.
Published: ([n.d)

Similarity distance measure and prioritization algorithm for test case prioritization in software product line testing
by: Abd Halim, Shahliza, et al.
Published: (2019)

An evaluation of embedded real-time component models for autonomous mobile robot software development /
by: 409201 Dayang Norhayati Abang Jawawi, et al.
Published: (2004)

A component-based approach for developing autonomous mobile robot embedded software /
by: 409201 Dayang Norhayati Abang Jawawi, et al.
Published: (2007)

A framework for component - based reuse for autonomous mobile robot software [electronic resource] /
by: 409201 Dayang Norhayati Abang Jawawi, et al.
Published: (2006)

A systematic component-based development process model using integrated marmot and pecos methods /
by: Suzila Sabil, 1982-, et al.
Published: (2010)

A component based development approach for embedded real time software with UML - RT /
by: Mohd. Zulkifli Mohd. Zaki, 1986-, author, et al.
Published: (2008)

Software defect prediction model for system testing using prior phases metrics /
by: Muhammad Dhiauddin Mohamed Suffian, 1982-, author 396320, et al.
Published: (2020)

An enhancement of slicing test algorithm for integration testing of embedded system /
by: Ahmed Sheikh Abdullahi Madey, 1986- author, et al.
Published: (2014)

Framework for component-based software engineering of embedded software in resource constrained real-time systems
by: Abg. Jawawi, Dayang Norhayati, et al.
Published: (2008)

Integrated component-based model code generation implementation steps for embedded real-time system development /
by: Mohd. Zulkifli Mohd. Zaki, 1986-, et al.
Published: (2012)

An enhancement of slicing test algorithm for integration testing of embedded system [electronic resource] /
by: Ahmed Sheikh Abdullahi Madey, 1986- author, et al.
Published: (2014)

Software process for integrated pattern oriented analysis and design (poad) and component oriented programming (COP) on embedded real-time systems /
by: 409201 Dayang Norhayati Abang Jawawi, et al.
Published: (2007)

Formalizing Reusable Software Components
by: Rich, Charles, et al.
Published: (2008)

Software testing and framework for smart climate control for mushroom house system /
by: Rooster Tumeng, 1991-, author, et al.
Published: (2014)

Branch coverage test case generation using genetic algorithm and harmony search /
by: Hosein Abedinpourshotorban, 1986-, et al.
Published: (2015)

Component-Based Formal Modeling of PLC Systems
by: Rui Wang, et al.
Published: (2013-01-01)

A review on UML-RT and UML-SPT for embedded real-time component based development /
by: Mohd. Zulkifli Mohd. Zaki, 1986-, author, et al.
Published: (2007)

Enhancement of testing technique for software product line by using bat and genetic algorithm /
by: Nur Farrahin Maidin, 1992-, author 619992, et al.
Published: (2017)

Localization of software development effort estimation based on classification of projects /
by: Vahid Khatibi Bardsiri, 1981- , author, et al.
Published: (2013)

Cost effective measures for software product line testing /
by: Rabatul Aduni Sulaiman, 1990-, author 633235, et al.
Published: (2023)

Improvement on label production software quality with test class standardization using xp technique /
by: Harvinder Kaur Rajinder Singh, author 639478, et al.
Published: (2018)

Research on component-based development for developing a healthcare information system /
by: 409201 Dayang Norhayati Abang Jawawi, et al.
Published: (2008)

Early -life cycle reuse approach for component-based software of autonomous mobile robot system /
by: Dayang Norhayati Abang Jawawi, author, et al.
Published: (2008)

Synergy between generative reuse and software product line
by: Abd. Halim, Shahliza, et al.
Published: (2006)

Hybrid and dynamic static criteria models for test case prioritization of web application regression testing /
by: Mojtaba Raeisi Nejad, 1999-, author 633485, et al.
Published: (2018)

Software process for integrated pattern oriented analysis and design (poad) and component oriented programming (cop) on embedded real-time systems /
by: Simba Bau, 1981-, et al.
Published: (2008)

Enhancement of UML-based web engineering for metamodels : homepage development case study /
by: Said, Karzan Wakil, 1982-, et al.
Published: (2013)