MAT101 Verification and Validation Assignment

Reference no: EM133028430

MAT101 Verification and Validation - Torrens University Australia

Learning Outcome 1: Demonstrate a working knowledge of mathematical fundamentals to software engineering.

Learning Outcome 2: Apply discrete mathematics, pre-calculus, geometry and analytic geometry.

Learning Outcome 3: Utilise mathematical logic and proofs in the validation and verification of software.

Assessment Task
Solve problems using logic, proofs, and graphs to solve real world problems which model problems that software developers commonly face when writing software.

Context
This assessment provides you with the opportunity to deploy your understanding of logic, proofs, and graphs in order to solve problems that game developers, AI developers, and general software developers commonly face when writing software. These problems will demonstrate the usefulness of these concepts in software development and provide context to where they can be applied to verify logic, validate implementations, and ultimately solve complex problems. Upon completion of this assessment, you will have solved numerous unique problems common to software development which you can then use within your own software development efforts when overcoming similar problems in the future.

Instructions

Scenario

In this assessment you will undertake the role of a developer for a company specializing in writing Artificial Intelligence (AI) bots for video game applications. Your role is to validate issues with an AI bot's implementation using logical reasoning and verify fixes to the bot's AI in order to resolve the issues you identified.

The complexity and difficulty of software development often results in errors creeping into our programs despite best efforts to develop error-free code. Companies follow software quality standards to validate that they are delivering error-free software, however these standards may be incomplete subsequently resulting in issues being experienced by the end users of the software. In order to ensure that high quality standards are being met, companies must employ tools which ensure that their logic will achieve the desired specifications. This can be achieved through logical reasoning, followed by validating their implementation via testing. Read through the following scenario and address each of the

You work for a company called AI Powered Puzzles Inc. This company specializes in building Artificial Intelligence (AI) bots that generate puzzles and minigames which challenge players in video games.

AI Powered Puzzles Inc has recently finished developing an AI bot, codenamed Gygax, for a large- scale role-playing game akin to Skyrim or World of Warcraft. Within this game, Gygax is expected to create a large set of puzzles and minigames to challenge the player, such as casino-style gambling games in taverns, minigames to unlock doors, and puzzles within dungeons.

With only days before the game's releases your company is ready to ship the AI bot Gygax into the game. However, after you have playtested some of the puzzles that Gygax has created, you find that many of the challenges seem impossible to beat!

Your company scrambles to identify the minigames and puzzles that are impossible to beat and to find issues with Gygax's logic to put a halt to the generation of impossible challenges before the game is released and players are exposed to them. As the discoverer of the original issues with Gygax, the company has assigned you to lead the effort of finding the issues and fixing Gygax before the game launches.
five questions in the workbook provided.

The company wants to know the following:
1. What puzzles, challenges, and minigames are impossible to beat or have bugs in them?
2. What changes can be made to make them possible to beat and resolve the bugs?
To successfully complete this assessment, you should have a good understanding of the mathematical concepts covered in modules 5-8, specifically the concepts of logic, proofs, and graphs. The workbook contains five unique questions that are solvable using the mathematical tools provided during the subject's materials. You can access the workbook via the Assessments page on Blackboard.

Referencing

It is essential that you use appropriate APA style for citing and referencing research.

Attachment:- Verification and Validation.rar

Reference no: EM133028430

Questions Cloud

Find the dimensions of the rectangle : The area of a rectangle is 46 square inches. If the length is 4 times the width, then find the dimensions of the rectangle

Climate change adaptation and mitigation strategies : Climate Change Adaptation and Mitigation Strategies - Policy Actions - presentation of at least two impact of climate change

Potential risks faced by a hospital organization : Identify pre-change preparation activities needed to help the organization recognize the need for the change and instill a sense of urgency for the change.

Components of human resource management in education : What are the different components of Human Resource Management in Education

MAT101 Verification and Validation Assignment : MAT101 Verification and Validation Assignment Help and Solution, Torrens University Australia - Assessment Writing Service

Characteristics of a direct and linear style report : Identify the key characteristics of a direct and linear style report.

Human-centered design : Primary care through physician offices has been a mainstay pillar of the U.S. healthcare system for many years. Generationally, things are changing. Millennials

Outset of a hit selection endeavor : Why is it important to have a HIT selection plan at the outset of a HIT selection endeavor?

How does the ada affect hiring practices : How does the ADA affect hiring practices? How does an HR manager determine whether or not a job description complies with the ADA?

User Account

All Pages