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.

Abstract: A method of measuring performance of a computerized system is provided. A test component integrated in a client application module is configured to generate an application specific workflow to be delivered to a computing environment of one or more computing devices for measuring the performance of the computerized system. The integrated test component of the client application module is executed to deliver the application specific workflow to a server system in the computing environment. Performance data is collected based on at least one response received from the computing environment to measure the performance of the computerized system.

Abstract: A system for providing automatic resource resizing is provided. The system may be configured to maintain a plurality of virtual machine instances. The system may be further configured to receive a request to execute a program code and allocate computing resources for executing the program code on one of the virtual machine instances. The amount of resources allocated for executing the program code may be specified by the request and adjusted as needed.

Abstract: A server device may communicate with a user device by engaging in a telephone call with the user device, by providing a webpage to the user device, or in another way. The user device may communicate a request to the server device for a particular web service, such as a mapping service, a banking service, technical support, customer service, etc., and the server device may communicate the request to an instant access device that may cause the user device to instantly access the web service, whether by automatically downloading and installing a mobile application with the web service or by automatically accessing a web page. In some implementations, the instant access device may authenticate the user device in order to provide the user device with access to the web server.

Abstract: A first component of a graph-based program specification includes an output control port. A second component includes an input control port and an input data port. A third component includes an output data port. The output control port is connected to the input control port, and the output data port is connected to the input data port. The first component includes control code that when executed causes the output control port to provide, to the input control port, at least one of suppression information or invocation information. The second component includes control code that when executed causes a computing system configured by the graph-based program specification to begin processing data received at the input data port in response to the invocation information if no suppression information is received at the input control port before the invocation information is received at the input control port.

Abstract: Duplicate bug report detection using machine learning algorithms and automated feedback incorporation is disclosed. For each set of bug reports, a user-classification of the set of bug reports as including duplicate bug reports or non-duplicate bug reports is identified. Also for each set of bug reports, correlation values corresponding to a respective feature, of a plurality of features, between bug reports in the set of bug reports is identified. Based on the user-classifications and the correlation values, a model is generated to identify any set of bug reports as including duplicate bug reports or non-duplicate bug reports. The model is applied to classify a particular bug report and a candidate bug report as duplicate bug reports or non-duplicate bug reports.

Abstract: A terminal, a vehicle, and a method for controlling the same are disclosed, which can perform a remote service mode upon receiving a Firmware Over The Air (FOTA) update notification message during a standby mode, and at the same time can download only the update file needed for the update function, such that power consumption can be reduced in the standby mode. When the standby mode is switched to a normal mode, the embodiments can update the corresponding software using the downloaded file, such that the number of update non-execution times caused by non-reception of the update notification message can be minimized. The embodiments can automatically access the server at a predetermined time during a normal mode so as to confirm the presence or absence of software to be updated, and can update the confirmed software, such that the embodiments can also normally update another software package.

Abstract: A technique for synthesizing tests from a Web service document includes locating at least one parameter for at least one client to server function call in a Web service document. Client validation constraints for the at least one parameter are discovered. Server validation constraints for the at least one parameter in the Web service document are discovered. At least one range for the at least one parameter that will be accepted by the server and not be accepted by the client is discovered. Tests using parameter values from the discovered at least one range are synthesized.

Abstract: A system, method and computer program product for installing a computer program within a computerized system of a car, the method comprising: installing a computer program on an emulator comprising a multiplicity of sub systems, each emulating a car sub system; executing a scenario from a scenario library, thereby activating at least one of the sub systems until a stopping criteria has been met; monitoring inputs and outputs transmitted to or received from any of the sub systems; and subject to said executing being completed successfully, installing the computer program on one or more car sub systems.

Abstract: The described technology is directed towards generating related templated files based on a set of data associated with to another class registered with a document system. These files may be edited into a source code file, a document file and a test file for any derived class. At runtime, which may include the runtime execution of the object based upon the test file, an object based upon the source code file is instantiated. Part of the object (e.g., a function) may be validated during the runtime based upon validation information in the document file.

Abstract: Technical solutions are described for facilitating a first computer program product to communicate with a second computer program product. The first computer program product invokes an application programming interface (API) function from an API of the second computer program product, where the first computer program product and the second computer program product use distinct programming languages. The solutions described herein initiate a record corresponding to the API function and invoke an interpreter that calls the API function in the second programming language. Upon receiving, from the interpreter, an indication that the API function has completed execution, result of the execution are obtained from the record and returned to the first computer program product.

Abstract: Optimizing deployment of a modular application in a runtime environment is provided. The optimizing includes: deploying application modules of the modular application, each application module having a module manifest and at least one application module having parts for execution, one or more module manifests include one or more references to parts of another application module, and parts required for execution of the application, the deploying is according to the module manifest; executing the modular application; determining that at least one deployed application module has no parts executing in the runtime environment; and adapting the module manifest so that the determined at least one deployed application module will not be deployed as part of the modular application in future deployments.

Abstract: Examples of techniques for setting a stack pattern breakpoint for a COBOL program are disclosed. In one example implementation according to aspects of the present disclosure, a computer-implemented method may include providing a static program control flow view of a plurality of COBOL paragraphs of the COBOL program. The method may further include enabling a user to select the stack pattern using the static program control flow view of the plurality of COBOL paragraphs of the COBOL program. The method may also include setting, by a processing device, the stack pattern breakpoint in source code of the COBOL program using information from a compiler compiling the COBOL program to create a pseudo-stack that can be operated on by a debugger to evaluate stack pattern conditions for the plurality of COBOL paragraphs.

Abstract: A method for translating instructions for a processor. The method includes accessing a guest instruction and performing a first level translation of the guest instruction using a first level conversion table. The method further includes outputting a resulting native instruction when the first level translation proceeds to completion. A second level translation of the guest instruction is performed using a second level conversion table when the first level translation does not proceed to completion, wherein the second level translation further processes the guest instruction based upon a partial translation from the first level conversion table. The resulting native instruction is output when the second level translation proceeds to completion.

Abstract: In an approach to test automation of an application under test which interacts with one or more native stock applications, a computer identifies one or more native stock applications on a mobile computing device. The computer then dumps a view hierarchy for each of the one or more native stock applications. The computer generates, based, at least in part, on the view hierarchy, a template table for each of the one or more native stock applications.

Abstract: A computer-implemented system for generating test cases and/or test procedures to verify software having a nonlinear arithmetic constraint over a Real number range. The system includes a translator that receives, as input, software specification models for the software to be verified. The translator is configured to generate, as output, a plurality of SMT formulas that are semantically equivalent to the software specification models. The system includes an analytical engine pool that receives, as input, the plurality of SMT formulas from the translator and analyzes the plurality of SMT formulas, and generates, as output, test case data for each of the plurality of SMT formulas determined to be satisfiable. The system includes a post-processor that receives, as input, the test case data from the analytical engine pool and generates, as output, the test cases and/or test procedures for the software to be verified based on the test case data.

Abstract: An embodiment of the present invention provides a point of sale (POS) application development method and a cloud server, which are configured to realize development and deployment of an application through the cloud server so as to shorten the development cycle of the POS application. The method of the embodiment of the present invention includes: by a cloud server, receiving and saving application project data transmitted from a web client; by the cloud server, processing the application project data and obtaining an application package; by the cloud server, performing signature processing for the application package and obtaining a signed application package; by the cloud server, transmitting the signed application package to a POS so that the POS realizes an corresponding application based on the signed application package. Another embodiment of the present invention further provides a cloud server.

Abstract: The programming notebook system, methods, and user interfaces described herein provide software developers with enhanced tools by which a programming notebook workflow and session history associated with code cells in a programming notebook may be tracked and maintained. As a developer progresses through a development workflow, the developer can select an option to save a program code card representing some or all of the program code cell inputs. A card editor user interface may present an aggregated listing of all program code the developer has provided across multiple code cells during the current session which the developer can edit, refine, and/or comment. The card editor may also allow the developer to add associated user interface code to display a UI component associated with the program code card, and allow the developer to add a description and tags for the card so that the card can be searched for and reused.

Abstract: The described technology is directed towards having document files (e.g., a JSON object) associated with objects of a computer program. The document files may include validation information that is used during runtime to validate one or more parts of the object via validation code such as a validation function. For example, a function of an object may have one validation function that during runtime validates whether the input parameter(s) are valid (their types and/or values are correct), and another validation function that during runtime validates whether the return values from the function are valid. Also described is processing the document files into more easily readable documentation, e.g., without any source code.

Abstract: Systems, computer program products, and methods are described herein for discovery of software operable on a computing device. Embodiments access a computing device to determine at least one tool or application downloaded or installed on the computing device; determine, based on the determined at least one tool or application downloaded or installed on the computing device, at least one new tool or application to download or install on the computing device; and present the at least one new tool or application to a user of the computing device.