Skip to content

CS608 - Software Verification and Validation

7 Topics 15 Posts
  • 0 Votes
    3 Posts
    234 Views
    zaasmiZ

    @zaasmi said in CS608 GDB 1 Solution and Discussion:

    @zaasmi said in CS608 GDB 1 Solution and Discussion:

    Regression Testing

    Regression Testing is a type of testing that is done to verify that a code change in the software does not impact the existing functionality of the product. This is to make sure the product works fine with new functionality, bug fixes or any change in the existing feature. Previously executed test cases are re-executed in order to verify the impact of change.

    An effective regression strategy, save organizations both time and money. As per one of the case study in banking domain, regression saves up to 60% time in bug fixes(which would have been caught by regression tests) and 40% in money

  • 0 Votes
    4 Posts
    964 Views
    aftab sadiqA

    Suppose ABC Software Company is assigned a project by Islamabad Capital Territory (ICT) police. The software company has experienced testers in its fleet. The task is to develop an Internet of Things (IoT) based application for traffic monitoring in the capital with solid documentation utilizing incomplete requirement documents. With short deadline, the test cases need to be automated using any of the following two options for improving the quality of the end product.

    Scripted Testing
    Exploratory Testing
    Justify your selection of either testing technique in the given scenario with logical arguments

  • 0 Votes
    1 Posts
    147 Views
    No one has replied
  • 0 Votes
    1 Posts
    101 Views
    No one has replied
  • 0 Votes
    2 Posts
    319 Views
    zareenZ

    @zareen said in CS608 Assignment 3 Solution and Discussion:

    There are a few conditions for enrollment and marking of attendance. Students are required to perform Use Case Testing for the following tasks.

    Solution:

    Scenario Steps Description A: Actor Enrollment S: System 1 S: Enroll employee 2 S: Scan fingerprint 3 S: ID allocated Attendance 4 A: Scan fingerprint 5 S: Validate fingerprint 6 S: Attendance marked 7 A: Password entered 8 S: Attendance marked Extensions 4a Fingerprint not marked S: Display message and ask for re-try fingerprint 4b Fingerprint not marked for specific reason A: ID and password entered S: Attendance marked 7a Invalid Password - 3 times Close application

    ______________________End Solution

    Ideas Solution:
    Process Area: Software Verification Software Verification process area is more concerned with the engineering/programming aspects of the project with the purpose to ensure that the final product is error free and selected work products/components meet their specified requirements. Verification does not
    Page | 31 evaluate usefulness of the system instead verification is concerned with whether the system is well-engineered, error-free, and so on. So verification is more concerned with building the product right way. Software verification includes testing, design analysis, inspections and code reviews. The major goals for these process areas are as under:
    ● Prepare for Verification: Preparation for verification is conducted.
    ● Verify Selected Work Products: Selected work products are verified against their specified requirements. P.Example of Software Verification Continuing with the same example, QA team will verify that all requirements are being fulfilled and each part of the software is working properly. For example, in this case Sample Requirements
    ● Admin (Employee) should be able to login
    ● Employee should be able to register another employee ¡n the organization
    ● Employee should be able to mark the attendance on daily basis
    Figure 1: Continuous Audit Implementation Steps U.Audit Types There are three (3) types of audits and these, along with brief explanation, are as follows:
    ● First Party Audits: These are often described as internal audits. Someone from the organization itself audits a process to measure compliance and/or effectiveness.
    ● Second Party Audits: This is an external audit where the audit is being performed on supplier by a customer or by a contracted organization on behalf of a customer with the intention to ensure that the supplier is meeting contract specification.
    ● Third Party Audit: this is also an external audit and it’s performed by an audit organization independent of supplier-customer relationship. V.Audit Roles and Responsibilities Audit team includes a certified lead auditor who leads the audit activities and a team of 2 to 3 members supporting the lead in performing audit. Each member is equipped with right attitude and skills to measure the process results and performing the process audit to ensure compliance. Further in tough scenarios, domain experts become a part of this team to deal with the technicalities of such scenarios. W.CMMI Appraisals Appraisal is defined as a process to collect, review and analyzes data to measure performance or compliance level. The collected data is then compared with the desired or standard data to identify the gap between the actual and desired, if any with the main purpose of measuring the effectiveness of the framework or process. CMMI appraisals provide ratings that accurately reflect the capability level or maturity level of the processes in use. X.Process Reviews Process reviews are frequently carried out in the organizations to measure the effectiveness of the process and to ensure that it is being completely followed. The frequency of process audit depends upon many factors but usually it’s biannual or quarterly or on need basis. The process reviews also helps in identifying the required actions to improve the process results. Those required action may vary based on the results and it can be related to change/update in process objectives or design, training of stakeholders, technological advancement and many others. Y.Review Policy Every organization has its own review policy but the literature is full of best practices to be followed while conducting review. The fact remains same, the process is useless without review as no environment is static and no requirements are static. The current condition is best described with the word dynamic or constantly changing and so must be the process to get desired results. Through review policy, organizations define what to review and when to review. Z. Bench marking for Process Review There are many common issues the modern era organizations face today but the prospects of those issues or the circumstances might vary based on multiple factors. Bench marking is the referencing to those common problems. For any issue, organization adopts the model of another organization that went through, more or less, same condition and developed a successful solution to it. Adopting the already developed solution after some amendments saves an organization a lot of time and efforts. Besides this, organization can use the best practices, with some modification, available in literature or research journals.

  • 0 Votes
    2 Posts
    918 Views
    zareenZ

    Solution:

    Following are the conditions for successful task completion.
    a. PNG file format
    b. File size less than 40KB
    c. Image resolution 300x300
    d. File must be selected
    Profile picture will be uploaded provided all of the mentioned conditions are satisfied. Following is the Decision Table for the given scenario. Conditions Case 1 Case 2 Case 3 Case 4 Case 5 Case 6 Case 7 Case 8 Format PNG PNG PNG PNG PNG PNG PNG PNG Size Less than 40KB Less than 40KB Less than 40KB Less than 40KB Greater or equal to 40KB Greater or equal to 40KB Greater or equal to 40KB Greater or equal to 40KB Resolution 300x300 300x300 Not 300x300 Not 300x300 300x300 300x300 Not 300x300 Not 300x300 File Selected Yes No Yes No Yes No Yes No Output Picture Uploaded Error Message Error Message Error Message Error Message Error Message Error Message Error Message Conditions Case 9 Case 10 Case 11 Case 12 Case 13 Case 14 Case 15 Case 16 - - - - - - - - - Format Not PNG Not PNG Not PNG Not PNG Not PNG Not PNG Not PNG Not PNG Size Less than 40KB Less than 40KB Less than 40KB Less than 40KB Greater or equal to 40KB Greater or equal to 40KB Greater or equal to 40KB Greater or equal to 40KB Resolution 300x300 300x300 Not 300x300 Not 300x300 300x300 300x300 Not 300x300 Not 300x300 File Selected Yes No Yes No Yes No Yes No Output Error Message Error Message Error Message Error Message Error Message Error Message Error Message Error Message
  • 0 Votes
    2 Posts
    912 Views
    zareenZ

    Solution:
    Q. 1 Answer

    S.No. Activities Performed Static V. OR Dynamic V. 1 Business requirements analysis (Candidates CNIC No, family tree) Static verification 2 Analyzing design requirements (For example, number of times a person visits abroad) Static verification 3 System analysis and integration requirements with NADRA’s record Static verification 4 Examining any legacy system in the given domain Static verification 5 Different modules Implementation Static verification 6 Code debugging Dynamic validation 7 Integration testing Dynamic validation 8 Peer reviews Static verification

    Q. 2 Write the names of any 10 factors that determine the quality of software?
    Answer

    Correctness Usability Integrity Reliability Accuracy Efficiency Maintainability Testability Flexibility Interface facility (interoperability) Re-usability Transferability (portability) Extensibility Readability Performance Efficiency Scalability Accessibility Platform Compatibility Security