OS、プログラミング言語、ネットワーク通信プロトコル、データベースなどソフトウェアを動かすための基本的なプラットフォームが、仕様に適合しているかどうかを確認する検証試験 (verification test)。OSの国際規格の一つであるPOSIXでは、 NIST が適合試験のソースコードを公開している。自動車用OSの国際規格OSEKでは、MODISTARC (Methods and tools for the validation of OSEK/VDX based distributed architectures) がある。TOPPERS OSでは、TTSP (TOPPERS Test Suite Package) というテスト環境を提供し適合テスト等を実施しやすくしている。プラットフォームの適合試験を実施せずに、アプリケーションソフトウェアの試験を実施すると、プラットフォーム仕様の変化に対応できていないことがある。
仕様通りに動いているか、試験仕様に基づいて確認する試験を検証試験 (verification test)、エンドユーザーの意図通りに動いているかどうかを確認する試験を妥当性確認試験 (validation test) という。
ストレステストは、ソフトウェアシステムに対して高い負荷を与え、処理の低下・抜け、データの破壊、発熱など致命的な問題が、どういう条件で発生するかを試験する。ストレステストを行うことで、高い負荷が加わっている状況でしか発生しない不具合や、発生確率の低い欠陥、著しい性能の低下を発見することがある。性能試験の一部として実施し、対応可能な付加の仕様を確かめることがある。
性能試験は、ソフトウェアシステムの性能を測り、必要な性能が出ることを確かめる試験である。入力をどれだけ受付けるか、どれだけの出力が可能か。通信経路数・通信速度、処理件数などプログラム単体では問題が発生しなくても、通信、データベース、入出力 (I/O)、同時に起動するソフトウェアなどの高負荷、長時間使用などの条件下では性能が低下することがある。性能を確認する試験は、システムの性能に影響を与えないように測定する必要があるため、OSやミドルウェアなどでは性能を測定する効率的な計測方法を提供していることもある。性能試験は、単体試験から実施する場合と統合試験から実施する場合とがある。過負荷に対する性能試験をストレステストという。
機能試験は、規定した機能を果たすかどうかを試す。関数であれば、規定した引数を与えると、想定した戻り値を返すブラックボックス試験が機能試験に相当し、単体試験の一部である。適合試験、単体試験は、機能試験を主とするが、性能試験を含むことがある。
プログラムを実際に動かしてみて行うテストを動的テストと呼び、プログラムを実際に動かしてみることなくソースコードやオブジェクトコードを検証する作業を静的テストと呼ぶ。静的テストには、ツールを用いた静的コード解析の他に、人手で行うコードレビュー、ウォークスルー、インスペクションなどがある。多くの場合、意識されることはないが、コンパイラまたはプリコンパイラはソースコードを静的にテストする。
全豪オープンで前年夏からの休養から復帰。2回戦でガエル・モンフィスを破り、同一選手との通算成績15勝0敗を記録。3回戦でアルベルト・ラモス＝ビノラスをストレートで破るが、4回戦で韓国の若手鄭現に6-7(4), 5-7, 6-7(3)でストレート負けを喫した。右肘の手術で再び一時的な休養に入り、復帰後のBNPパリバ・オープン、マイアミ・オープンではダニエル太郎、ブノワ・ペールでそれぞれ初戦敗退。欧州クレーコートシーズンでも早期敗退が目立ったものの、後半には復調が見られる成績となった。BNLイタリア国際では準々決勝で錦織圭を破り1年ぶりのマスターズ準決勝進出。準決勝では第1シードラファエル・ナダルとの対戦で、1セット目をタイブレークに持ち込む激戦としたがストレートで敗れた。第20シードとして出場した全仏オープンでは、第13シードロベルト・バウティスタ・アグートらに勝利し9年連続の準々決勝進出を成し遂げたもののマルコ・チェッキナートに敗れた。一時、世界ランキング22位まで落ちる。クイーンズ・クラブ選手権ではノーシードでの出場となったが、2回戦では第2シードのグリゴール・ディミトロフを6-4,6-1で圧倒、決勝でマリン・チリッチに敗れたものの準優勝。第12シードとして迎えたウィンブルドン選手権では、2年連続で準々決勝に進出。第24シード錦織圭に13連勝を成し遂げ、2016年全米オープン以来のグランドスラム準決勝に進出。準決勝では、世界ランキング1位・第2シードのナダルとの5時間以上に渡る接戦を6-4,3-6,7-6(9),3-6,10-8で制し決勝進出。そのまま世界ランキング8位・第8シードのケビン・アンダーソンを6-2,6-2,7-6(4)のストレートで下し、ウィンブルドン4度目の優勝、グランドスラム13度目の優勝で復活を印象付けた。ウエスタン・アンド・サザン・オープンでは決勝でフェデラーを6-4,6-4で下し、６度目の決勝戦で初優勝を飾る。これにより男子シングルス史上初キャリアゴールデンマスターズ（マスターズ9大会全制覇）を達成した。全米オープンでは第6シードでの出場。順調に勝ち上がり、準決勝では、4年前の同大会準決勝で苦杯を嘗めさせられた錦織圭を6-3，6-4，6-2のストレートで下しリベンジを達成するとともに対錦織戦の連勝を14に伸ばし決勝進出。決勝はナダルの棄権により勝ち上がったフアン・マルティン・デル・ポトロを6-3，7-6(4)，6-3のストレートで下し、全米3回目、グランドスラム通算14回目の優勝を飾った。上海マスターズでは一度もブレークされることなく４度目の優勝を飾った。全盛期の強さを取り戻し、強烈なサーブ力も加わり、第２のジョコビッチ時代を予感させる圧倒劇だった。パリマスターズは決勝でカレン・ハチャノフに敗れ準優勝に終わり、連勝は22でストップ。ATPワールドツアー・ファイナルも決勝でアレクサンダー・ズべレフに敗れ準優勝だった。3年ぶり5度目の年間最終ランキング１位に輝いた。