News Column

Researchers Submit Patent Application, "Static Analysis of Computer Software Applications Having a Model-View-Controller Architecture", for Approval

August 21, 2014



By a News Reporter-Staff News Editor at Computer Weekly News -- From Washington, D.C., VerticalNews journalists report that a patent application by the inventors HAVIV, Yinnon A. (Beerotaim, IL); TRIPP, Omer (Bronx, NY); Weisman, Omri (Tel Aviv, IL), filed on March 26, 2014, was made available online on August 7, 2014.

The patent's assignee is International Business Machines Corporation.

News editors obtained the following quote from the background information supplied by the inventors: "The Model-View-Controller (MVC) design architecture is a computer software application design architecture in which those elements of a computer software application that present data to an application user or receive input from the user (i.e., the 'user interface' or 'presentation layer'), referred to as the application 'view', are separated from those elements of the application that access stored data and process and transform data (i.e., the 'business logic layer' or 'domain layer'), referred to as the application 'model'. In the MVC architecture, a 'controller' determines when control of the application during its execution is passed to a view element or a model element.

"Static analysis is often performed on computer software application source code to identify issues such as logic errors and security vulnerabilities. However, traditional static analysis techniques do not provide sufficiently precise results for MVC-based applications where the controller logic is external to the application source code, as the controller logic is either approximated in an overly-conservative manner, thereby creating invalid control-flow paths between the model and the view layers, or an under-approximation is used, in which case certain valid flows are simply ignored."

As a supplement to the background information on this patent application, VerticalNews correspondents also obtained the inventors' summary information for this patent application: "Method, system and computer program product embodiments of the invention are provided for preparing a computer software application for static analysis, including identifying a control flow within a model portion of a computer software application having a model-view-controller architecture, where the control flow passes a value to a controller portion of the computer software application, analyzing a declarative specification of the controller portion of the computer software application to identify a view to which the controller portion passes control based on the value, and synthesizing a method within the computer software application, where the method calls the view.

BRIEF DESCRIPTION OF THE DRAWINGS

"The invention will be understood and appreciated more fully from the following detailed description taken in conjunction with the appended drawings in which:

"FIG. 1 is a simplified conceptual illustration of a system for static analysis of computer software applications, constructed and operative in accordance with an embodiment of the invention;

"FIG. 2 is a simplified flowchart illustration of an exemplary method of operation of the system of FIG. 1, operative in accordance with an embodiment of the invention;

"FIG. 3 (consists of FIG. 3A and 3B) is a simplified example of model and controller portions of a computer software application useful in understanding the method of FIG. 2;

"FIG. 4 is a simplified flowchart illustration of an exemplary method of operation of the system of FIG. 1, operative in accordance with an alternative embodiment of the invention;

"FIG. 5 (consists of FIG. 5A and 5B) is a simplified example of model and controller portions of a computer software application useful in understanding the method of FIG. 4; and

"FIG. 6 is a simplified block diagram illustration of an exemplary hardware implementation of a computing system, constructed and operative in accordance with an embodiment of the invention."

For additional information on this patent application, see: HAVIV, Yinnon A.; TRIPP, Omer; Weisman, Omri. Static Analysis of Computer Software Applications Having a Model-View-Controller Architecture. Filed March 26, 2014 and posted August 7, 2014. Patent URL: http://appft.uspto.gov/netacgi/nph-Parser?Sect1=PTO2&Sect2=HITOFF&u=%2Fnetahtml%2FPTO%2Fsearch-adv.html&r=242&p=5&f=G&l=50&d=PG01&S1=20140731.PD.&OS=PD/20140731&RS=PD/20140731

Keywords for this news article include: Software, International Business Machines Corporation.

Our reports deliver fact-based news of research and discoveries from around the world. Copyright 2014, NewsRx LLC


For more stories covering the world of technology, please see HispanicBusiness' Tech Channel



Source: Computer Weekly News


Story Tools






HispanicBusiness.com Facebook Linkedin Twitter RSS Feed Email Alerts & Newsletters