Professional verification and testing at a reasonable price

About Company

Other Information

• The definition of Verification...

In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.

Read More

• The definition of Software testing...

Software Testing is the process used to help identify the correctness, completeness, security, and quality of developed computer software. Testing is a process of technical investigation, performed on behalf of stakeholders, that is intended to reveal quality-related information about the product with respect to the context in which it is intended to operate. This includes, but is not limited to, the process of executing a program or application with the intent of finding errors. Quality is not an absolute; it is value to some person. With that in mind, testing can never completely establish the correctness of arbitrary computer software; testing furnishes a 'criticism' or comparison that compares the state and behaviour of the product against a specification. An important point is that software testing should be distinguished from the separate discipline of Software Quality Assurance (SQA), which encompasses all business process areas, not just testing.

Read More

• Areas of expertise

Beaudry Test and Verification has over 20 years of experience in measurement, test and automation development in the Telecom, Security and Nuclear fields.

• Tools and Knowledge

NI LabVIEW

NI TestStand

TCL/PERL

PHP

TCP I/P communication protocol

Windows

Unix

SQL

MySQL

Visual Studio

MS Office

C++ (editing/understanding code)

C (editing/understanding code)

C# (editing/understanding code)