Open Source Java Software for Windows

Handle GPIB devices with a simple GPIB-USB-Adapter. This includes hardware, software for a PIC18F2550, Windows-Testsoftware

translate social network

Advance_PCT is a pre-processing technique, that simplifies the complex boolean expression present in a C program. It identifies the boolean expression and creates equivalent conditional branches with an empty body. These additional statements along with original program supplied into test executor to improve test data. It ensures that each atomic conditions have been invoked at least once true and once false. It is done to achieve higher MC/DC, because according to the definition of MC/DC it is required to achieve 100% condition coverage, which was not possible due to short-circuit evaluation by the compiler, due to which MC/DC was low and inadequate. This code transformation technique resolves the problem. It has applied Quince-McCluskey simplification technique to resolve complexness of predicate and then applying the method of inserting empty nested if-else conditional statements.

[目的] ① 各種整数関数の計算。 主に 約数関数d(n) 約数の総和σ(n) オイラーのφ関数φ(n) メビウス関数μ(n) nまでの素数の個数 n番目の素数 (以下2つは検討中) を計算し、表にまとめる。 ②(プログラムからの目的) 使用プログラムの精度向上。 つまり ・計算時間の短縮 ・プログラムそのものの正確性向上 ・大きな値での計算を可能にするアルゴリズム ③(数学からの目的) ①で作成した表から、一定の仮説(推論)を立てる →(可能ならば)証明可能性の検証 →一つの「定理」へ

Eva TechSoft Projects Description