公开(公告)号：US10380008B2

公开(公告)日：2019-08-13

申请号：US15156223

申请日：2016-05-16

Applicant: Microsoft Technology Licensing, LLC

Inventor： Rui Wang ,  Yuchen Zhou ,  Shuo Chen ,  Shaz Qadeer ,  Yuri Gurevich

IPC: G06F11/36 ,  G06F8/73 ,  G06F21/55 ,  H04L29/06

Abstract: A framework is described herein for identifying implicit assumptions associated with an SDK and its accompanying documentation (e.g., dev guide). An implicit assumption is information that is not expressly stated in the documentation, but which would be useful in assisting an application developer in building an application. The framework also describes a systematic approach for identifying one or more vulnerability patterns based on the identified implicit assumptions. An application developer may run a test on an application that is being developed to ensure that it does not have any deficiency which matches a vulnerability pattern.

公开(公告)号：US10255153B2

公开(公告)日：2019-04-09

申请号：US15331670

申请日：2016-10-21

Applicant: MICROSOFT TECHNOLOGY LICENSING, LLC

Inventor： Narayanan Ganapathy ,  Shaz Qadeer ,  Akash Lal

IPC: G06F11/00 ,  G06F11/263 ,  G06F11/22

Abstract: In various embodiments, methods and systems for testing failover and recovery are provided. Systematic testing of a distributed system is performed, where the systematic testing probabilistically determines a processing order of events to effectuate system states for the plurality of state machines. An iteration of the systematic testing tests one the system states and includes sending a termination message to a state machine; receiving a termination acknowledgment message, the termination message causing the state machine to halt at the state and event of the state machine for the system state; and instantiating a recovery state machine. The recovery state machine is instantiated with a same state and same role as the halted state machine. Results of the systematic testing are verified against an expected outcome, the results being generated by running the distributed system with the instantiated recovery state machine for each iteration of the systematic testing.