Browsing by Subject "Computer software -- Verification."

Now showing items 1-7 of 7

    • An Application of Association Rule Mining to Unit Test Selection 

      Gunderson, Karl Nils (North Dakota State University, 2013)
      Appropriate selection of unit tests during the software development process is vital when many unit tests exist. The developer may be unfamiliar with some tests and non-obvious relationships between application code and ...

    • Automated Tool for Software Requirements Inspection 

      Amaran, Pradeep (North Dakota State University, 2011)
      The software inspection process is a very cost effective method of identifying defects in documents produced during the software life cycle, leading to higher quality software with lower field failures. Manual inspections ...

    • Enterprise Resource Planning Metamodel Test Pattern 

      Syed, Naveed Ahmed (North Dakota State University, 2015)
      Enterprise Resource Planning (ERP) system is a complex distributed software solution that costs millions of dollars to implement. Upgrading an ERP metamodel subsystem introduces critical risks in the functionality of all ...

    • Evaluating the Usability of Collaboration Tool for Software Inspection Process 

      Kasireddy, Mounisha (North Dakota State University, 2019)
      To develop a good software product, the first and foremost step to master is creating complete and accurate software requirements specification document. Requirements documents are created from through research and are ...

    • A Software Tool to Facilitate Automate Creation of Virtual Inspection Teams and Inspection Performance Evaluation 

      Lu, Zhou (North Dakota State University, 2016)
      Software inspection in the early phase of software development is proven to be an effective method to help developer to detect and fix defects in software requirement. It can improve the quality of software requirement, ...

    • SPIN Model Checker for MACT 

      Somavarapu, Murali Krishna (North Dakota State University, 2013)
      The SPIN (Simple PROMELA Interpreter) model checker is a verification system used to check high-level models of concurrent systems and improve the overall system’s performance. The SPIN model checker takes the PROMELA model ...

    • Using Learning Styles of Software Professionals to Improve Their Inspection Performance: An Empirical Study 

      Singh, Abhinav (North Dakota State University, 2016)
      In the IT industry, good requirements specification plays a vital role in software projects success. Researches revealed that early detection of faults in a requirements document saves significant amount of rework. To ...