[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-seo-316723-105":3,"detail-sidebar-cat-0-en-105":81,"doc-detail-316723-en":130},{"code":4,"msg":5,"data":6},0,"ok",{"site_id":7,"language":8,"slug":9,"title":10,"keywords":11,"description":12,"schema_data":13,"social_meta":74,"head_meta":76,"extra_data":78,"updated_unix":80},105,"en","validation-of-quality-requirements-through-requirements-based-testing-with-semi-formalised-model-doctor-of-philosophy","Validation of Quality Requirements Through Requirements-Based Testing with Semi-Formalised Model - Doctor of Philosophy","","Software quality depends on defining and validating requirements, yet natural-language requirements remain flexible, ambiguous, and prone to misinterpretation. Such requirement defects can cause incorrectness, incompleteness, and inconsistency, ultimately yielding defective software that stakeholders may reject. The study develops an automated approach to validate requirement quality using Requirements-Based Testing with a semi-formalized model, generating abstract tests from Essential Use Cases and Essential User Interfaces and providing tool support, patterns, templates, and collaborative validation features.",{"@graph":14,"@context":73},[15,34,56],{"@type":16,"itemListElement":17},"BreadcrumbList",[18,23,27,31],{"item":19,"name":20,"@type":21,"position":22},"https://docshare.wps.com","Home","ListItem",1,{"item":24,"name":25,"@type":21,"position":26},"https://docshare.wps.com/document/","Document",2,{"item":28,"name":29,"@type":21,"position":30},"https://docshare.wps.com/document/research-report/","Research & Report",3,{"item":32,"name":10,"@type":21,"position":33},"https://docshare.wps.com/document/validation-of-quality-requirements-through-requirements-based-testing-with-semi-formalised-model-doctor-of-philosophy/316723/",4,{"url":32,"name":10,"@type":35,"image":36,"author":41,"headline":10,"publisher":44,"fileFormat":47,"inLanguage":8,"description":12,"dateModified":48,"datePublished":49,"encodingFormat":47,"isAccessibleForFree":50,"interactionStatistic":51},"DigitalDocument",{"url":37,"@type":38,"width":39,"height":40},"https://docshare.wps.com/thumbnails/validation-of-quality-requirements-through-requirements-based-testing-with-semi-formalised-model-doctor-of-philosophy/316723.png","ImageObject",300,407,{"name":42,"@type":43},"Miles","Person",{"url":19,"name":45,"@type":46},"DocShare","Organization","application/pdf","2026-10-31","2026-09-20",true,{"@type":52,"interactionType":53,"userInteractionCount":55},"InteractionCounter",{"@type":54},"ViewAction",9,{"@type":57,"mainEntity":58},"FAQPage",[59,65,69],{"name":60,"@type":61,"acceptedAnswer":62},"Why are requirement validation and software quality difficult in natural-language requirements?","Question",{"text":63,"@type":64},"Natural-language requirements are flexible and can be confusing, leading to misinterpretation. This results in requirement errors such as incorrectness, incompleteness, and inconsistency.","Answer",{"name":66,"@type":61,"acceptedAnswer":67},"What is the main objective of the proposed study?",{"text":68,"@type":64},"To develop an automated approach that validates the quality of software requirements using Requirements-Based Testing with a semi-formalized model.",{"name":70,"@type":61,"acceptedAnswer":71},"How does the approach support generating and validating tests?",{"text":72,"@type":64},"It generates abstract tests by integrating Requirements-Based Testing with semi-formalized models, including Essential Use Cases and Essential User Interface, supported by pattern libraries and a tool called TestMEReq.","https://schema.org",{"og:url":32,"og:type":75,"og:title":10,"og:site_name":45,"og:description":12},"article",{"robots":77,"canonical":32},"index,follow",{"doc_id":79,"site_id":7},316723,1790716143,{"code":4,"msg":82,"data":83},"success",[84,88,92,96,101,106,111,115,119,122,126],{"id":22,"doc_module":4,"doc_module_name":25,"category_name":85,"show_sort_weight":86,"slug":87},"Story & Novel",90,"story-novel",{"id":26,"doc_module":4,"doc_module_name":25,"category_name":89,"show_sort_weight":90,"slug":91},"Literature",80,"literature",{"id":33,"doc_module":4,"doc_module_name":25,"category_name":93,"show_sort_weight":94,"slug":95},"Exam",70,"exam",{"id":97,"doc_module":4,"doc_module_name":25,"category_name":98,"show_sort_weight":99,"slug":100},5,"Comic",60,"comic",{"id":102,"doc_module":4,"doc_module_name":25,"category_name":103,"show_sort_weight":104,"slug":105},6,"Technology",50,"technology",{"id":107,"doc_module":4,"doc_module_name":25,"category_name":108,"show_sort_weight":109,"slug":110},7,"Healthcare",40,"healthcare",{"id":112,"doc_module":4,"doc_module_name":25,"category_name":29,"show_sort_weight":113,"slug":114},8,30,"research-report",{"id":55,"doc_module":4,"doc_module_name":25,"category_name":116,"show_sort_weight":117,"slug":118},"Religion & Spirituality",20,"religion-spirituality",{"id":117,"doc_module":4,"doc_module_name":25,"category_name":120,"show_sort_weight":117,"slug":121},"World Cup","world-cup",{"id":123,"doc_module":4,"doc_module_name":25,"category_name":124,"show_sort_weight":123,"slug":125},10,"Lifestyle","lifestyle",{"id":127,"doc_module":4,"doc_module_name":25,"category_name":128,"show_sort_weight":97,"slug":129},19,"General","general",{"code":4,"msg":82,"data":131},{"doc_id":79,"user_id":132,"nickname":42,"user_avatar":133,"doc_module":4,"category_id":112,"category_name":29,"doc_title":10,"doc_description":12,"doc_content":134,"file_id":135,"file_url":136,"file_type":137,"file_size":138,"view_count":55,"is_deleted":4,"is_public":22,"is_downloadable":22,"audit_status":22,"page_count":139,"language":140,"language_code":8,"site_id":7,"html_lang":8,"table_of_contents":141,"faqs":142,"seo_title":143,"seo_description":12,"update_tm":144,"read_time":99,"preview_page_count":4},13056703019404,"https://ap-avatar.wpscdn.com/davatar_29158cc5080c5b710cf443261637dec0","VALIDATION OF QUALITY REQUIREMENTS THROUGH REQUIREMENTS-BASED TESTING WITH SEMI-FORMALISED  \nMODEL  \nNOR AIZA BINTI MOKETAR  \nDOCTOR OF PHILOSOPHY  \nFaculty of Information and Communication Technology  \nVALIDATION OF QUALITY REQUIREMENTS THROUGH REQUIREMENTS-BASED TESTING WITH SEMI-FORMALISED  \nMODEL  \nNor Aiza binti Moketar  \nDoctor of Philosophy  \nVALIDATION OF QUALITY REQUIREMENTS THROUGH REQUIREMENTSBASED TESTING WITH SEMI-FORMALISED MODEL  \nNOR AIZA BINTI MOKETAR  \nA thesis submitted  \nin fulfillment of the requirements for the degree ofDoctor of Philosophy  \nFaculty of Information and Communication Technology  \nUNIVERSITI TEKNIKAL MALAYSIA MELAKA  \nDECLARATION  \nI declare that this thesis entitled “Validation of Quality Requirements through Requirements-Based Testing with Semi-formalised Model” is the result of my own research except as cited in the references. The thesis has not been accepted for any degree and is not concurrently submitted in candidature of any other degree.  \nSignature : ……………………………  \nName : Nor Aiza Binti Moketar  \nDate :    \nAPPROVAL  \nI hereby declare that I have read this thesis and in my opinion this thesis is sufficient in term of scope and quality for the award of Doctor of Philosophy.  \nSignature : .…………………………………………...  \nSupervisor Name : Assoc. Prof. Dr. Massila Binti Kamalrudin  \nDate :    \nDEDICATION  \nI dedicate this thesis to  \nMy husbandMuhamad Hafiz, my children Nur Hani Sufia and Umar Hariz, my beloved parent, my parent-in-law, my brothers, and sisters.  \nABSTRACT  \nThe usage of software system and applications has increased massively to fulfill various kind of purpose for organization, business and individual. In this case, high quality software system and application are required to ensure it provides the intended functionalities. To achieve quality software system and application, a good quality of requirements needs to be defined and validated. However, it is difficult to accomplish due to the flexibility of natural language requirements that can be confusing and easily misinterpreted. This can lead to requirements-related problems such as incorrectness, incompleteness and inconsistency.These errors in requirements will produce defective software that can lead to undesirable and non-acceptance by stakeholders. Therefore, it is crucial for the software requirements to fulfill basic quality attributes such as correctness, completeness, and consistency (3Cs) . Motivated from these problems, the main objective of this studyis to develop an automated approach to validate the quality of requirements through Requirements-Based Testing methodology with semi-formalized model. This studyproposes a new automated approach to assist the requirements engineer and clientstakeholders to validate the quality of requirements. For this, we generate abstract tests by integratingRequirements-based Testing (RBT) methodology and rapid prototyping with semi-formalized models:Essential Use Cases (EUCs) and Essential User Interface (EUI).Next, we have developed pattern libraries to support the automatic extraction of abstract tests from the EUC model. They are test requirements pattern library and testcase pattern library. Here, an automated tool support called TestMEReq is also developed to realize the approach. The test-authoring template to assist requirements engineer to write accurate tests is also developed. Then, a real-time collaborative approachis also integrated with the tool to encourage users’ involvement in the validation process as well as to support better communication and collaboration among stakeholders. Finally, a comprehensive evaluation of the approach, comprising experiments of correctness test and usability test were conducted. In summary, the findings of the evaluations show that our approach can contribute to the body of knowledge of requirements engineering especially in enhancing the quality of requirements at the earliest stage. It is found that the approach is able to enhance th","cbCaioeIwH3ia5fG","https://ap.wps.com/l/cbCaioeIwH3ia5fG","pdf",240671,24,"English","# Abstract\n## Automated validation approach\n## Generated abstract tests\n## Tool support, templates, and collaboration\n## Evaluation results","[{\"question\":\"Why are requirement validation and software quality difficult in natural-language requirements?\",\"answer\":\"Natural-language requirements are flexible and can be confusing, leading to misinterpretation. This results in requirement errors such as incorrectness, incompleteness, and inconsistency.\"},{\"question\":\"What is the main objective of the proposed study?\",\"answer\":\"To develop an automated approach that validates the quality of software requirements using Requirements-Based Testing with a semi-formalized model.\"},{\"question\":\"How does the approach support generating and validating tests?\",\"answer\":\"It generates abstract tests by integrating Requirements-Based Testing with semi-formalized models, including Essential Use Cases and Essential User Interface, supported by pattern libraries and a tool called TestMEReq.\"}]","Validation of Quality Requirements Through Requirements-Based Testing with Semi-Formalised Model - Doctor of Philosophy | PDF",1789921977]