企業(yè)內(nèi)控信息化實(shí)施的規(guī)范化方法分析

陳靜

【摘 要】 企業(yè)內(nèi)控信息化實(shí)施的規(guī)范化需要利用現(xiàn)代先進(jìn)信息技術(shù)將內(nèi)控的理念及制度規(guī)范、流程、措施等牢牢融合到信息系統(tǒng)中，將企業(yè)的信息系統(tǒng)改變、提升為一個(gè)集合了企業(yè)內(nèi)控需求的現(xiàn)代化信息管理平臺(tái)。領(lǐng)域分析和形式化分析方法是現(xiàn)代化的計(jì)算機(jī)軟件工程中對(duì)軟件和硬件系統(tǒng)進(jìn)行規(guī)范、解析、建模、證明的方法和技術(shù)，將其應(yīng)用在企業(yè)內(nèi)控信息化實(shí)施中可有效降低企業(yè)內(nèi)控系統(tǒng)效率低或失效的風(fēng)險(xiǎn)。

【關(guān)鍵詞】 內(nèi)控信息化實(shí)施 領(lǐng)域分析 形式化分析 業(yè)務(wù)內(nèi)控

引 言

自薩班斯法案頒布后，各國(guó)對(duì)內(nèi)控的重視程度達(dá)到了歷史高峰。人們從治理公司、完善理論、信息系統(tǒng)、執(zhí)行方法等多方面在企業(yè)內(nèi)控實(shí)施中展開了多方面的研究，但從科學(xué)技術(shù)的實(shí)施方法和手段的角度進(jìn)行研究的卻少之又少。鑒于此，本文從以下幾個(gè)方面企業(yè)內(nèi)控信息化實(shí)施的規(guī)范化方法展開論述，繼而探尋一種新的科學(xué)正確的技術(shù)與思路。

1在內(nèi)控信息化實(shí)施中的可行性

現(xiàn)代化的計(jì)算機(jī)軟件工程中對(duì)軟件系統(tǒng)及硬件系統(tǒng)進(jìn)行規(guī)范、建模的方法和技術(shù)中領(lǐng)域分析和形式化分析方法是比較有前景的。領(lǐng)域分析和形式化方法在多個(gè)領(lǐng)域已經(jīng)得到了應(yīng)用，而且。很多科學(xué)家也從數(shù)理邏輯的角度對(duì)其技術(shù)的可靠性進(jìn)行了數(shù)學(xué)證明。企業(yè)內(nèi)控是一套風(fēng)險(xiǎn)防范機(jī)制，這套風(fēng)險(xiǎn)防范措施有人工和計(jì)算機(jī)共同實(shí)施，所以需要盡快發(fā)現(xiàn)設(shè)計(jì)中的漏洞與錯(cuò)誤。領(lǐng)域分析與形式化方法作為一套成熟的技術(shù)，用在企業(yè)內(nèi)控管理中是完全可行的，也是完全可以信賴的。

領(lǐng)域分析是一種專業(yè)人員的智力活動(dòng)，所以并不需要任何特殊的應(yīng)用條件，只需要將分析的結(jié)果轉(zhuǎn)化成文本文檔即可。形式化方法所需要的計(jì)算機(jī)軟硬件條件也并不苛刻，分析人員可根據(jù)自己的熟練程度對(duì)工具和方法進(jìn)行選擇。因此，這類分析方法并不需要企業(yè)專門增加設(shè)備，只需要聘請(qǐng)少數(shù)專業(yè)人員即可，這就大大減輕了企業(yè)在經(jīng)濟(jì)上的壓力，增加了其可行性。

2在內(nèi)控信息化實(shí)施中的主要作用與意義

企業(yè)內(nèi)控信息化實(shí)施主要包括兩個(gè)階段：一是要將企業(yè)的內(nèi)控理念、制度、措施、手段等固化到信息系統(tǒng)中；二是利用信息化平臺(tái)進(jìn)行企業(yè)內(nèi)部控制。

2.1能夠盡可能早的發(fā)現(xiàn)企業(yè)管理軟件中是否存在漏洞與錯(cuò)誤。人們要用自然語言來表達(dá)將內(nèi)控和業(yè)務(wù)管理集合在一塊兒的復(fù)雜且非常巨大的管理軟件需求而沒有任何的錯(cuò)誤和漏洞，幾乎是一件不可能完成的事。而無論是對(duì)于領(lǐng)域分析來說，還是就形式化方法而言，都是科學(xué)規(guī)范的，尤其是專業(yè)分析推理的工具與技術(shù)，能夠在管理軟件的初期就洞察其可能存在的邏輯錯(cuò)誤，并在此基礎(chǔ)上進(jìn)行改正，這樣做的目的是為了盡可能減少在系統(tǒng)正式應(yīng)用以后再出現(xiàn)某些安全隱患。

2.2有效提高企業(yè)內(nèi)控系統(tǒng)的實(shí)施效率，并能夠非常方便的進(jìn)行推廣與模式復(fù)制。眾所周知，企業(yè)內(nèi)控信息化的有效落實(shí)始終離不開計(jì)算機(jī)技術(shù)的大力支持，該技術(shù)的科學(xué)使用能夠促使信息系統(tǒng)的升級(jí)與轉(zhuǎn)換為與之相匹配的管理平臺(tái)。之所以這樣說是因?yàn)楦鱾€(gè)企業(yè)都有它自身的組織結(jié)構(gòu)、業(yè)務(wù)流程等，因此無論是哪個(gè)企業(yè)都要結(jié)合自身的特點(diǎn)來設(shè)置內(nèi)控結(jié)構(gòu)，構(gòu)建一個(gè)滿足自身需求的內(nèi)控信息化管理平臺(tái)。通常情況下，通過領(lǐng)域分析以及形式化手段提供的相關(guān)技術(shù)能夠在很大程度上將因人的失誤產(chǎn)生的影響排除干凈。同時(shí)在深度剖析納入內(nèi)控范圍的活動(dòng)以后，還要采取有效措施使人工控制和通過信息化方式完成的工作保持一定的距離，結(jié)合每一個(gè)企業(yè)的實(shí)際需求構(gòu)建與之相對(duì)應(yīng)的驗(yàn)證以及模型，這樣做的目的是為了進(jìn)一步促使內(nèi)控信息化的落實(shí)更加規(guī)范，同時(shí)經(jīng)過驗(yàn)證的模型方便移植與推廣。

3在內(nèi)控信息化實(shí)施中的應(yīng)用框架

在實(shí)施企業(yè)內(nèi)控信息化之前要?jiǎng)?chuàng)設(shè)一套完整的控制制度體系，形成一本《企業(yè)內(nèi)部控制手冊(cè)》，這是政府及相關(guān)部門對(duì)控制系統(tǒng)進(jìn)行審計(jì)的重要依據(jù)，同時(shí)也是信息化得以有效落實(shí)的關(guān)鍵所在。需要特別注意的是，企業(yè)內(nèi)部控制制度體系的設(shè)置必須由專業(yè)人員來完成，而不能由計(jì)算機(jī)代替。

3.1運(yùn)用領(lǐng)域分析方法對(duì)企業(yè)內(nèi)控范圍進(jìn)行領(lǐng)域分析建模。所謂領(lǐng)域分析，實(shí)質(zhì)上是相關(guān)人員借助于領(lǐng)域分析方法特意對(duì)指定的環(huán)境、控制行動(dòng)等諸多要素進(jìn)行深度剖析，從剖析當(dāng)中發(fā)現(xiàn)問題。在此基礎(chǔ)上，從頂?shù)较聦?duì)每一個(gè)內(nèi)控系統(tǒng)都要進(jìn)行領(lǐng)域分析以及敘述，同時(shí)還要給出與之相匹配的關(guān)系。和其他系統(tǒng)分析方法進(jìn)行對(duì)比可以看到，該分析法所建立的領(lǐng)域描述模型在轉(zhuǎn)變形式化規(guī)范模型的時(shí)候比較方便，這樣可以有效減少機(jī)器自行驗(yàn)證的難度系數(shù)。

3.2對(duì)形式化推理結(jié)果進(jìn)行詳細(xì)解析，并提出所建模型中可能的風(fēng)險(xiǎn)防范的方法。站在相關(guān)理論條令的立場(chǎng)來講，深度剖析相關(guān)模型所推理的結(jié)果，并在證明期間找到模型存在的某些缺陷并進(jìn)行改正。主要包括如下三個(gè)方面： （1） 對(duì)于那些可以直接確認(rèn)的有關(guān)的內(nèi)控條例，那么它的確定過程根據(jù)它內(nèi)部建設(shè)的控制系統(tǒng)的模型來進(jìn)行實(shí)施，以保證它能夠滿足所要求的內(nèi)控目標(biāo)； （2）那么，形式化模型里一些有關(guān)的性質(zhì)沒有辦法確認(rèn)正確時(shí)，就要準(zhǔn)確找到與之相匹配的控制點(diǎn)，這樣做的目的是為了充分的體現(xiàn)出該內(nèi)控規(guī)則主要是借助于信息化方式來控制的想法是不科學(xué)的，采取人工來控制的方法才是正確的，合理的；（3） 然后，關(guān)于那些可以找到確切依據(jù)的有關(guān)的內(nèi)控條例，根據(jù)科學(xué)原理進(jìn)行合理描述，最后給出所建模型的有關(guān)的讓它變的更好一點(diǎn)的方法和途徑。

結(jié) 語

企業(yè)內(nèi)控信息化的實(shí)施是有科學(xué)依據(jù)的，是經(jīng)過多個(gè)領(lǐng)域檢驗(yàn)過的，建立在數(shù)學(xué)邏輯基礎(chǔ)上的一種科學(xué)規(guī)范的方法。可有效降低風(fēng)險(xiǎn)及人的工作強(qiáng)度，且企業(yè)并不需要很大投資。領(lǐng)域分析和形式化方法簡(jiǎn)歷起了自然語言和信息化的橋梁，希望這種新的嘗試能夠給企業(yè)帶來實(shí)際的利益，在內(nèi)控系統(tǒng)還沒有正式投入的前期階段快速找到瑕疵與缺陷，最大限度地降低企業(yè)損失的可能性，繼而從根本上提升企業(yè)內(nèi)控信息化實(shí)施的質(zhì)量。

【參考文獻(xiàn)】

[1] 李金霞.新時(shí)期企業(yè)內(nèi)控信息化實(shí)施的規(guī)范化方法探析[J].納稅，2017（35）：110.

[2] 王曉燕.現(xiàn)代企業(yè)內(nèi)控信息化體系實(shí)施的方法[J].新經(jīng)濟(jì)，2016（17）：89.

[3] 孔憲芳.探究企業(yè)內(nèi)控信息化實(shí)施的規(guī)范化方法[J].會(huì)計(jì)師，2015（11）：59-60.

[4] 陳美娟.企業(yè)內(nèi)控中信息化實(shí)施方案探究[J].企業(yè)改革與管理，2014（17）：140-141.