Identifying State Transitions and their Functions in Source Code

2006 ◽  
Author(s):  
N. Walkinshaw ◽  
K. Bogdanov ◽  
M. Holcombe
Keyword(s):  
Source Code ◽  
State Transitions

scholarly journals Development a mathematical model for the software security testing first stage

2021 ◽  
Vol 3 (2 (111)) ◽  
pp. 24-34
Author(s):  
Serhii Semenov ◽  
Zhang Liqiang ◽  
Cao Weiling ◽  
Viacheslav Davydov
Keyword(s):  
Mathematical Model ◽  
Source Code ◽  
State Transitions ◽  
Second Phase ◽  
Security Testing ◽  
Software Safety ◽  
Safety Testing ◽  
Security Compliance ◽  
Gert Network ◽  
Selection Of

This paper reports an analysis of the software (SW) safety testing techniques, as well as the models and methods for identifying vulnerabilities. An issue has been revealed related to the reasoned selection of modeling approaches at different stages of the software safety testing process and the identification of its vulnerabilities, which reduces the accuracy of the modeling results obtained. Two steps in the process of identifying software vulnerabilities have been identified. A mathematical model has been built for the process of preparing security testing, which differs from the known ones by a theoretically sound choice of the moment-generating functions when describing transitions from state to state. In addition, the mathematical model takes into consideration the capabilities and risks of the source code verification phase for cryptographic and other ways to protect data. These features generally improve the accuracy of modeling results and reduce input uncertainty in the second phase of software safety testing. An advanced security compliance algorithm has been developed, with a distinctive feature of the selection of laws and distribution parameters that describe individual state-to-state transitions for individual branches of Graphical Evaluation and Review Technique networks (GERT-networks). A GERT-network has been developed to prepare for security testing. A GERT-network for the process of checking the source code for cryptographic and other data protection methods has been developed. A graphic-analytical GERT model for the first phase of software safety testing has been developed. The expressions reported in this paper could be used to devise preliminary recommendations and possible ways to improve the effectiveness of software safety testing algorithms

Automated discovery of state transitions and their functions in source code

2008 ◽  
Vol 18 (2) ◽  
pp. 99-121 ◽  
Author(s):  
Neil Walkinshaw ◽  
Kirill Bogdanov ◽  
Shaukat Ali ◽  
Mike Holcombe
Keyword(s):  
Source Code ◽  
State Transitions ◽  
Automated Discovery

Macroorganisation and flexibility of thylakoid membranes

2019 ◽  
Vol 476 (20) ◽  
pp. 2981-3018 ◽  
Author(s):  
Petar H. Lambrev ◽  
Parveen Akhtar
Keyword(s):  
Light Harvesting ◽  
Current Knowledge ◽  
Three Dimensional ◽  
Photosynthetic Apparatus ◽  
Dynamic Responses ◽  
State Transitions ◽  
Photochemical Quenching ◽  
Light Harvesting Complex ◽  
Complex Ii ◽  
Light Harvesting Complex Ii

Abstract The light reactions of photosynthesis are hosted and regulated by the chloroplast thylakoid membrane (TM) — the central structural component of the photosynthetic apparatus of plants and algae. The two-dimensional and three-dimensional arrangement of the lipid–protein assemblies, aka macroorganisation, and its dynamic responses to the fluctuating physiological environment, aka flexibility, are the subject of this review. An emphasis is given on the information obtainable by spectroscopic approaches, especially circular dichroism (CD). We briefly summarise the current knowledge of the composition and three-dimensional architecture of the granal TMs in plants and the supramolecular organisation of Photosystem II and light-harvesting complex II therein. We next acquaint the non-specialist reader with the fundamentals of CD spectroscopy, recent advances such as anisotropic CD, and applications for studying the structure and macroorganisation of photosynthetic complexes and membranes. Special attention is given to the structural and functional flexibility of light-harvesting complex II in vitro as revealed by CD and fluorescence spectroscopy. We give an account of the dynamic changes in membrane macroorganisation associated with the light-adaptation of the photosynthetic apparatus and the regulation of the excitation energy flow by state transitions and non-photochemical quenching.

Hysteresis in spectral state transitions – a challenge for theoretical modeling

2005 ◽  
Vol 432 (1) ◽  
pp. 181-187 ◽  
Author(s):  
E. Meyer-Hofmeister ◽  
B. F. Liu ◽  
F. Meyer
Keyword(s):  
Theoretical Modeling ◽  
State Transitions ◽  
Spectral State

SISTEM INFORMASI MANAJEMEN PENGARSIPAN BERBASIS FRAMEWORK CODE IGNITER UNTUK MENTERTIBKAN PELAYANAN SURAT MENYURAT

2019 ◽  
Vol 2 (1) ◽  
pp. 1-16
Author(s):  
Nana Suarna
Keyword(s):  
Source Code ◽  
Web Based

Seiring waktu, jumlah surat dalam sebuah perusahaan semakin hari makin banyak, sehingga muncul permasalahan dalam mengelolanya administrasi suarat, baik ketika dalam pencatatan surat maupun proses disposisi, serta pada saat pencarian arsip surat. Hampir sebagai besar surat yang ada di kantor-kantor masih disimpan dalam bentuk file-file yang masih bersifat manual, sehingga memungkinkan surat tersebut menunpuk, dan memerlukan waktu yang lama dalam pencarian dan pemrosesannya. Dengan dibangunnya  sistem manajemen pengarsipan bertujuan untuk mengatasi permasalahan-permasalahan tersebut di atas. Pemrograman  saat ini, baik desktop maupun web based, semakin marak  pengerjaannya menggunakan framework code igniter berbasis PHP. Framework CI memang dikembangkan untuk memudahkan dalam developing aplikasi dengan struktur  file source code-nya menggunakan pendekatan Models-Views-Controller (MVC) dan pemrograman berorientasi objek, oleh sebab itu penulis menggunakan CI dalam developing aplikasi ini. Aplikasi sistem manajemen surat dan pengarsipan ini dapat diakses dalam internal perusahaan web, yang bertujuan untuk memudahkan karyawan  dalam pengelolaan dan  mengaksesnya surat menyurat, selain itu aplikasi ini juga memberikan kemudahan dalam proses pencatatan surat,  disposisi, dan proses pencarian sehingga aplikasisi ini memiliki performa yang handal, mudah untuk di-maintenance dan dikembangkan lebih lanjut seiring perkembangan kebutuhan penggunanya.

Impact of Clone Refactoring on External Quality Attributes of Open Source Softwares

2018 ◽  
pp. 86-94
Author(s):  
Himanshi Vashisht ◽  
Sanjay Bharadwaj ◽  
Sushma Sharma
Keyword(s):  
Open Source ◽  
Internal Structure ◽  
Software Quality ◽  
Source Code ◽  
Quality Attributes ◽  
Software Component ◽  
External Quality ◽  
Code Refactoring ◽  
Observable Behaviour

Code refactoring is a “Process of restructuring an existing source code.”. It also helps in improving the internal structure of the code without really affecting its external behaviour”. It changes a source code in such a way that it does not alter the external behaviour yet still it improves its internal structure. It is a way to clean up code that minimizes the chances of introducing bugs. Refactoring is a change made to the internal structure of a software component to make it easier to understand and cheaper to modify, without changing the observable behaviour of that software component. Bad smells indicate that there is something wrong in the code that have to refactor. There are different tools that are available to identify and emove these bad smells. A software has two types of quality attributes- Internal and external. In this paper we will study the effect of clone refactoring on software quality attributes.

A practical approach on non-regular sampling and universal demosaicing of raw image sensor data

2020 ◽  
Vol 2020 (1) ◽  
pp. 91-95
Author(s):  
Philipp Backes ◽  
Jan Fröhlich
Keyword(s):  
Image Quality ◽  
Source Code ◽  
Image Sensor ◽  
Sensor Data ◽  
Color Filter ◽  
Lowpass Filter ◽  
Sampling Errors ◽  
Regular Sampling ◽  
Single Sensor ◽  
Similar Image Quality

Non-regular sampling is a well-known method to avoid aliasing in digital images. However, the vast majority of single sensor cameras use regular organized color filter arrays (CFAs), that require an optical-lowpass filter (OLPF) and sophisticated demosaicing algorithms to suppress sampling errors. In this paper a variety of non-regular sampling patterns are evaluated, and a new universal demosaicing algorithm based on the frequency selective reconstruction is presented. By simulating such sensors it is shown that images acquired with non-regular CFAs and no OLPF can lead to a similar image quality compared to their filtered and regular sampled counterparts. The MATLAB source code and results are available at: http://github. com/PhilippBackes/dFSR

JAVASCRIPT ASYNCHRONOUS PROGRAMMING

2019 ◽  
Vol 128 (2B) ◽  
pp. 5-16
Author(s):  
Tran Thanh Luong ◽  
Le My Canh
Keyword(s):  
Design Patterns ◽  
Source Code ◽  
Object Oriented ◽  
Exception Handling ◽  
Code Smells ◽  
Asynchronous Programming ◽  
Event Driven ◽  
Programming Patterns ◽  
The Impact

JavaScript has become more and more popular in recent years because its wealthy features as being dynamic, interpreted and object-oriented with first-class functions. Furthermore, JavaScript is designed with event-driven and I/O non-blocking model that boosts the performance of overall application especially in the case of Node.js. To take advantage of these characteristics, many design patterns that implement asynchronous programming for JavaScript were proposed. However, choosing a right pattern and implementing a good asynchronous source code is a challenge and thus easily lead into less robust application and low quality source code. Extended from our previous works on exception handling code smells in JavaScript and exception handling code smells in JavaScript asynchronous programming with promise, this research aims at studying the impact of three JavaScript asynchronous programming patterns on quality of source code and application.

Sign in / Sign up

Export Citation Format

Share Document