Bu hikaye 3 yıldan fazla bir süre önce yaşandı, bu yüzden "ticari sır" damgasını güvenle kaldırabiliyorum ve ayrıntılarını internette dile getirebiliyorum.
Rusya Federasyonu Savunma Bakanlığı'nın mali kontrol departmanından meslektaşlarımız, yazılımın incelenmesi talebiyle şirketimizle temasa geçti - " Uçuş acil durum simülasyon standı" Savunma Bakanlığı'ndaki meslektaşlarının derhal yazılımda bir sorun olduğundan şüphelendiklerini ve neyle uğraştıklarını ve bunun hükümet sözleşmesinde açıklanan paraya değip değmediğini anlamak için bağımsız bir uzman değerlendirmesi yapmaya karar verdiklerini söylemeliyim. Ve hükümet sözleşmesi şaka değildi; projenin toplam maliyeti yaklaşık 20 milyon rubleydi!

İlk veri:
Çalışma için flash medyaya toplam 2.252.414.699 byte hacimli dosyalar alındı. Medyanın kökü iki dizin içeriyordu: FltRec02; SM-AS 2006.

İncelenen bilgisayardaki işletim sistemi: Microsoft Windows XP Professional.
Bir dizindeki dosyaların analizi FltRec02
Dosya boyutu: 472.899 bayt.

Sunulan tüm dosyalar arasında yalnızca bir tanesi önyüklenebilir - FLTREC02.exe başlatılamaz.

Bir dizindeki dosyaların analizi SM-AS 2006
Dövüşçü As II

Dizin boyutu: 2.251.941.800 bayt.

Önyükleme dosyası FIGHTACE.exe

Dosyayı başlattıktan sonra, Şekilde gösterilen pencere ekranda belirir. 2

Halihazırda girilmiş bir güvenlik "anahtarının" varlığı (Şekil 3'teki vurguya bakın), yazılım ürününün "korsan" kökenini gösterir!

Programı "oynat" modunda kurup başlattıktan sonra, kullanıcının resmi üreticinin (Microsoft) sunucusuna kaydolması gerekir.

İçinde " eğitim“Eğitim modu” kullanıcının önünde açılır, bkz. 5 ve 6

Sonuç: Çalışmaya konu olan yazılım, Microsoft Corp. tarafından geliştirilen ve 1999 yılında piyasaya sürülen Fighter Ace II adıyla “Bilgisayar Oyunları - Simülasyonlar” sınıfına aittir.

Yazılım ürününün "korsan" kökeni dikkate alındığında maliyeti yaklaşık 70 ruble.

Microsoft Uçuş Simülatörü 2002

Önyükleme dosyaları FLTSIM98.exe, FS2000.exe, FS2002.exe

Bu dosyalar, “Uçuş Acil Durum Simülasyon Standı” ekran koruyucusunun altında gizlenen “Microsoft Flight Simulator 2002” programını başlatır. ZAO "ХХХХХХ" şirketi kendisini geliştirici olarak tanıtarak telif hakkını ihlal etti!

Yazılım ürününün yasal menşei hakkında herhangi bir bilgi bulamadık!

Önyükleme dosyası FSUNINSTALL.exe

Önyükleme dosyası FSEDIT.exe

Sonuç: İncelenen yazılım, geliştiricisi Microsoft Corp. olan, yayın yılı 2002 olan, adı “Microsoft Flight Simulator 2002” olan “Bilgisayar Oyunları - Simülatörler” sınıfına aittir.

Yazılım ürününün maliyeti, "korsan" kökeni ve açılış ekranını tasarlama maliyeti (Şekil 7) dikkate alındığında yaklaşık 200 ruble'dir.

Toplamda, incelemeye sunulan yazılımın toplam maliyeti yaklaşık 270 ruble.

İnceleme sonucunda Savunma Bakanlığı çalışanlarına soruşturma yürütmek üzere askeri savcılık ve karşı istihbaratla iletişime geçmeleri önerildi!

Yazılım incelemesi, nihai amacı bir yazılım ürününün tamlığını/tamlığını doğrulamak olan bir çalışmadır.

Yazılım incelemesinin görevleri şunları içerir:

• Teknik şartname gerekliliklerine uygunluğun kontrol edilmesi (işlevsellik, verimlilik, güvenilirlik vb.)
• Planlanan donanım ve yazılım altyapısının doğru çalışması
• Operasyonel belgelerin eksiksizliğinin kontrol edilmesi
• Bir yazılım ürününün deneme veya endüstriyel işletmeye uygulanmaya hazır olup olmadığının kontrol edilmesi

Yazılım inceleme süreci açık düzenleme gerektirir. Tüm süreç birkaç aşamaya ayrılabilir:

• Yüklenicinin çalışanları tarafından geliştirmenin belirli aşamalarında gerçekleştirilen dahili yazılım incelemesi
• Ürünün uygulamaya hazır olma derecesini belirlemek amacıyla müşteri personelinin katılımıyla ekipman üzerinde gerçekleştirilen yazılım kabul muayenesi

Proje ekibi bünyesinde yazılım incelemesi, uygulayıcı firmanın benimsediği yönetmeliklere uygun olarak gerçekleştirilir. Harici bir inceleme gerçekleştirirken genellikle aşağıdaki standartlara göre yönlendirilirler:

• GOST RISO/IEC 12207-99,
• GOST R ISO/IEC 12119-2000,
• GOST RISO/IEC 14764-2002,
• GOST R ISO/IEC'DEN 16326-2002'ye,
• GOST R ISO/IEC 15408-2002

Kabul testi aşamasında bir belge hazırlanır: Ürün kalitesinin niceliksel göstergelerini ve test yöntemlerini belirleyen Test Programı ve Metodolojisi. Tüm belge gereksinimlerinin karşılandığını doğrulamak için test miktarını en aza indirme perspektifinden bir program geliştirilmektedir.

Yazılım inceleme programı ve metodolojisi aşağıdaki bölümleri içermelidir (RD 50-34.698-90 OTOMATİK SİSTEMLER, BELGE İÇERİĞİ İÇİN GEREKSİNİMLER'e göre):

• nesnenin tanımı ve amacı
• hangi geliştirmenin gerçekleştirildiğine dayalı belgelerin listesi (sözleşme)
• sınavın amacı
• doğrulanması gereken teknik spesifikasyonun gereksinimleri ve sınırlamalarının listesi
• Yazılımın bütünlüğünü teknik belgelere uygun olarak test etmek için bir program ve teknik şartnamenin tüm bölümlerini kontrol etmek için bir test planı (geliştirme sürecinde ek gereksinimler belirlenirse, bunlar için belgeleri gösteren ayrı bir senaryo hazırlanır) hangi değişikliklerin yapıldığı esas alınarak)
• sınav programının her bölümü için test edilen özelliklere, test koşullarına, testleri otomatikleştirmek için kullanılan araçlara, test sonuçlarını işlemeye ve değerlendirmeye yönelik yöntemlere ilişkin tüm kavramlar.

Yazılım inceleme programı ve metodolojisi üzerinde geliştiriciler ve Müşteri ile anlaşmaya varılır.

Yazılım inceleme sürecinde aşağıdaki göstergeler kontrol edilir:

• farklı ölçü birimlerindeki yazılım boyutu (işlev sayısı, programdaki satırlar, disk belleği boyutu vb.);
• sistem çalışma süresi;
• işgücü verimliliği
• hata sayısı ve başarısızlık sayısı

Yazılım paketinin kullanım talimatları da belirtilen tüm modlarda kontrol edilir ve ayarlanır.

Kabul testleri sırasında yazılım incelemesi Müşteri standında gerçekleştirilir. Yazılımın kurulumu ve standların hata ayıklaması, geliştiricilerin temsilcileri tarafından gerçekleştirilir.

Yazılım incelemesi sırasında otomatik test araçlarının kullanımına izin verilir.

Yazılım incelemesinin sonucu Test Raporuna kaydedilir. Protokol şunları içermelidir:

• sınav tarihi ve yeri
• incelemenin yapıldığı belgelerin listesi
• uzman komisyonunun oluşumu
• teknik spesifikasyonların gerekliliklerine uygunluk açısından değerlendirmeleri ile birlikte genelleştirilmiş test sonuçları
• Test sonuçları ve yazılım ürününün deneme/endüstriyel çalışmaya aktarılmaya hazır olup olmadığına ilişkin sonuçlar.

Yazılım incelemesi sırasında gereksinimleri değiştirme ihtiyacı belirlenirse, her iki tarafın mutabakatı ile teknik özelliklerde ayarlamalara izin verilir. Orijinal gereksinimlerden sapmalar içeren bir yazılım paketini kabul etmek de mümkündür. Aynı zamanda kabul edilen varsayımlar yazılım inceleme protokolüne kaydedilir.

Teknik şartnamede belirtilen şartlardan sapmalar, yazılımın hedeflerine ulaşmasını önemli ölçüde etkiliyorsa program revizyon için iade edilir. Muayene protokolü yeniden testin süresini kaydeder.

Adli yazılım ve bilgisayar incelemesi, yazılımlara ilişkin uzman araştırmasının gerçekleştirilmesi amacıyla yapılmaktadır.

Öğe Bu inceleme, bilgi ve bilgisayar teknolojisi, programlama ve algoritmalaştırma alanındaki özel bilgilere dayanarak oluşturulan bilgisayar programlarının oluşturulması, kullanılması veya dağıtımıyla ilgili bir ceza, hukuk veya tahkim davasıyla ilgili olgular ve koşullar olarak tanımlanabilir.

Bilgisayar teknolojisinin insan faaliyetinin tüm alanlarında çalışmasını kontrol etmeyi mümkün kılan yazılımın kullanılması, bu yeni nesnelerin mahkeme ve soruşturma çıkarları doğrultusunda incelenmesi görevini ortaya çıkarmıştır. Bilgisayar programları oluşturulurken üç aşamadan geçer: algoritma, programın kaynak kodu ve programın kendisi. Buna dayanarak, genel nesneler Adli yazılım ve bilgisayar incelemesi programların çalıştırılabilir modülleri, paketleri, algoritmaları ve kaynak kodlarıdır. Tür nesneleri Temel olarak aynı temel prensibe sahiptirler; tek fark, bir yazılım ürününün bu enkarnasyonlarının programlamanın belirli alanlarıyla ilişkili olarak değerlendirilmesidir.

Günümüzde yazılım ve bilgisayar uzmanlığı türleri aşağıdakileri içermektedir: çeşitler Adli muayeneler:

• - sistem yazılımının incelenmesi;
• - web sunucusu hizmetlerinin incelenmesi;
• - sistem güvenliğinin yazılım ve bilgisayar incelemesi;
• - veritabanlarının ve veri bankalarının yazılım ve bilgisayar incelemesi.

Bu bölüm, uzmanların yalnızca genel programlama teorisinde değil, aynı zamanda birçok farklı alanda da bilgi sahibi olma ihtiyacına dayanmaktadır. Her şeyden önce bu, yalnızca bireysel işletim sistemlerinin değil, aynı zamanda parçalarının da özelliklerine ilişkin araçlar ve derinlemesine bilgi ile ilgilidir.

Bugün çözüldü görevler yazılım ve bilgisayar uzmanlığı şunlardır:

• - orijinal programın (kurulum sürümü) ve bilgisayar sistemi veri depolama ortamındaki kopyasının ayrı ayrı tanımlanması;
• - ortak özelliklere dayalı olarak yazılımın grup ilişkisinin kurulması;
• - programın belirli özelliklerinin tanımlanması, daha sonra yazarlığının belirlenmesine olanak sağlanması;
• - daha sonra incelenen bilgisayar sisteminin bilgi desteği ile ilişkinin tanımlanmasını mümkün kılan programın belirli özelliklerinin tanımlanması;
• - daha sonra incelenen bilgisayar sisteminin donanımıyla olan ilişkinin ortaya çıkarılmasını mümkün kılan programın belirli özelliklerinin belirlenmesi;
• - inceleme için sunulan bilgi ve yazılım ürünlerinde sahtecilik belirtilerinin belirlenmesi;
• - işletim sisteminin temel özelliklerinin belirlenmesi;
• - işlevsel özelliklerin yanı sıra yazılım ayarlarının, kurulum zamanının (makine ortamına kurulum) tanımlanması ve incelenmesi;
• - bir yazılım nesnesinin gerçek durumunun, karşılık gelen dosyaların bileşiminin, parametrelerinin (hacim, oluşturulma tarihi, nitelikler), bilgi giriş/çıkış yöntemlerinin, standart parametrelerden herhangi bir sapmanın varlığının veya yokluğunun belirlenmesi (için) örneğin belgelenmemiş işlevler);
• - bir yazılım ürününün algoritmasının teşhisi (hem bir yazılım ürünü hem de bir grafik veya metin dosyası biçiminde sunulur);
• - bir yazılım ürününün (algoritma) geliştirilmesinde kullanılan araç türlerinin belirlenmesi;
• - yazılım ürünü tarafından desteklenen donanım ve yazılım platformlarının türlerinin oluşturulması;
• - programın başlangıç ​​durumunun belirlenmesi (örneğin, ilk kurulum sırasında) ve sonraki olası değişikliklerin (güncellemeler, kompozisyon değişiklikleri) belirlenmesi;
• - yazılımın özelliklerini ve durumunu değiştirmek için hedeflerin ve koşulların belirlenmesi (herhangi bir işlevin kasıtlı olarak değiştirilmesi, belirli bir donanım ortamı için yapılandırma);
• - programda değişikliklerin nasıl yapıldığının belirlenmesi (örneğin, kötü amaçlı yazılımların etkisi, yazılım ortamı hataları, yetkisiz erişim);
• - programın özelliklerinin ve durumunun, işlenen verilerde (hizmet ve sistem dosyalarının içeriğine göre) görüntülenmesiyle, destekleyici donanım tarafından belirlenmesi;
• - yazılımın işleyişinin ve dinamiğinin sonuçlarına dayanarak olay mekanizmasının yapısının belirlenmesi;
• - Bir bilgisayar sistemi kullanıcısının yazılımla ilgili eylemleri ile bunların sonuçları arasında nedensel bir ilişki kurmak.

Çoğu zaman, yazılım ve bilgisayar incelemesine izin verilirken aşağıdaki gereksinimler konur: sorular:

• - Sunulan yazılımın genel özellikleri nelerdir, hangi bileşenlerden (yazılım) oluşur?
• - Yazılımda sahtecilik belirtileri var mı?
• - İki yazılım ürününün tek bir kaynağı var mı (bir yazılım ürünü için telif hakkı oluştururken)?
• - Yazılım ürününün bünyesinde geliştiricisinin ve/veya sahibinin ayrıntıları var mı ve varsa bunlar nelerdir?
• - Yazılımın genel işlevsel amacı nedir?
• - Bu yazılım bir bilgisayar sisteminin donanımına hangi gereksinimleri getiriyor?
• - Belirli bir yazılım aracının sunulan donanım ve yazılım sistemiyle uyumluluğu nedir?
• - Bu yazılım belirli bir işlevsel sorunu çözmek için mi kullanılıyor?
• - Yazılımın gerçek durumu nedir ve bireysel (belirli) işlevlerin uygulanmasındaki performansı nedir?
• - Yazılımın yetkisiz erişime ve kopyalamaya karşı koruyucu yetenekleri (yazılım, donanım ve yazılım) var mı?
• - Yazılımın koruyucu yetenekleri nasıl düzenlenmiştir?
• - Bu yazılımın genel algoritması nedir?
• - Bu yazılımı geliştirmek için hangi yazılım araçları (programlama dilleri, derleyiciler, standart kütüphaneler) kullanıldı?
• - Programın kaynak metinleri (kodları) depolama ortamında mevcut mu?
• - programda yapılan değişiklikler hangi eylemlere izin veriyor?
• - Yazılımın kullanım kronolojisi nedir (kurulumundan başlayarak)?
• - Belirli bir yazılım aracının daha fazla kullanılmasının sonuçları nelerdir?

Yazılım ve bilgisayar adli biliminin çarpıcı bir örneği, yazılım ürünlerinin sahtecilik belirtileri açısından incelenmesi ve yazılım ürünleri için tek bir menşe kaynağının oluşturulmasıdır. Bu sorun, bir yazılım ürününün yazarlığının belirlenmesi çerçevesinde çözülmektedir.

Örneğin mahkeme, vatandaş V. tarafından yazılan yazılım ürünleri ile BBZZ şirketi tarafından dağıtılan yazılım ürününün tam bir eşleşmesini sağlamak için devlet dışı bir uzman kuruluşa inceleme yapılmasına karar verdi. Araştırma için gr. V.'ye programın bir listesi sunuldu ve ticaret şirketi çalıştırılabilir modülü sundu. Doğru karşılaştırma için uzmanlar nesneleri tek bir forma getirdi. Daha sonra yapılan araştırmalar sonucunda programların aynı çalışma algoritmasına, aynı bilgi giriş ve çıkış biçimlerine sahip olduğu ve ayrıca aynı programlama dilinde yazıldığı ancak ekran formlarında ufak bir farklılık olduğu tespit edildi. Sonuç olarak uzmanların bunun aynı yazılım ürünü olduğuna dair kesin bir sonuca varmaları mümkün olmadı. Ancak bunların tek bir kökene sahip oldukları açıkça tespit edilmiştir.

Veya, örneğin A şirketi, kurumsal yönetim yazılım paketinin kurulumu ve devreye alınmasına ilişkin sözleşmenin zorla feshedilmesi talebiyle T şirketine karşı tahkim mahkemesinde dava açtı. A şirketinin yönetimine göre, sistemin bir sonraki bloğunun (depo, muhasebe, personel yönetimi vb.) T şirketi tarafından devreye alınmasına bağlı olarak hizmetler için ödeme aşamalı olarak yapılıyordu. Ancak ilk aşamanın tamamlanmasının ardından firmalar arasında bir anlaşmazlık tutanağı imzalanması ve buna dayanarak A şirketinin ilk aşama için ödeme yapmasına rağmen T şirketi belirlenen süre içerisinde eksiklikleri gidermedi ve ayrıca sözleşmede belirlenen diğer tüm son tarihleri ​​de kaçırdık. T. Şirketi bu temelde sözleşmeyi feshetmeyi reddetti ve ürünlerin işletmeye alınmasının belirlenen programa uygun olarak gerçekleştirildiğini savundu.

Mahkeme, A şirketinde kurulu olan yazılım ve bilgisayar sisteminin, sözleşmeye eklenen teknik dokümantasyonun (projenin teknik şartnamesi) ve sözleşmenin kendisinin incelendiği bir yazılım ve bilgisayar incelemesi yapılmasını emretti. Araştırmaya dayanarak, devreye alma sürecinde yazılımı belirli bir kullanıcının ihtiyaçlarına göre uyarlama koşullarının büyük ölçüde ihlal edildiği ve beyan edilen blokların işleyişi olmadan bir takım gerekli yazılım ayarlarının yapılmadığı tespit edildi. imkansız.

şirketin haberleriMoskova Şehri Emtia Uzmanlığı Bürosu 4 Mayıs 1936'da kuruldu. O zamandan bu yana Büro'nun uzmanları bir milyondan fazla inceleme gerçekleştirdi. Büronun hem kurumsal müşteriler hem de bireyler arasında tartışmasız yetkisi vardır.

Bağımsız muayene incelemeleriMGBTE şirketi her tür mülk için yüksek kalite ve titizlikle uzman değerlendirme hizmetleri sunmakta olup iş ortakları arasında mükemmel bir üne sahiptir.

Otomatik muayene örnekleriBu bölümdeki makaleleri okuduktan sonra, Moskova Şehir Emtia Sınavları Bürosu'nun yetkili uzmanları tarafından gerçekleştirilen otomotiv muayenelerinin tüm çeşitliliğini kendi gözlerinizle görebileceksiniz.

Teknik spesifikasyonlara uygunluk için yazılım uzmanlığı

Sınavın amacı:Şartnamenin gerekliliklerine ve koşullarına uygunluğunu belirlemek için yazılımın incelenmesi.

Araştırma bölümü

İncelemenin yapılabilmesi için çalışma süresince XXX LLC'nin yerel ağında kurulu olan “...” yazılımına erişim sağlanmıştır.

Yazılım "...", şirketin müşterilerinin birleşik bir veritabanını korumak ve yönetmek için tasarlanmış bir sistemdir: tam satış döngüsü, projeler, pazarlama ve müşteri hizmetleri.

Tablo 1 - Teknik ve fonksiyonel özelliklerin test edilmesinin sonuçları

*******************************************************************************************************************************************************

Çözüm

Sözleşme konusuna göre yazılımın Lisans Sözleşmesi Ek 1'de belirtilen tüm teknik ve işlevsel özelliklere uygun olduğu tespit edilmiştir.

Bu hikaye 3 yıldan fazla bir süre önce yaşandı, bu yüzden "ticari sır" damgasını güvenle kaldırabiliyorum ve ayrıntılarını internette dile getirebiliyorum.
Rusya Federasyonu Savunma Bakanlığı'nın mali kontrol departmanından meslektaşlarımız, yazılımın incelenmesi talebiyle şirketimizle temasa geçti - " Uçuş acil durum simülasyon standı" Savunma Bakanlığı'ndaki meslektaşlarının derhal yazılımda bir sorun olduğundan şüphelendiklerini ve neyle uğraştıklarını ve bunun hükümet sözleşmesinde açıklanan paraya değip değmediğini anlamak için bağımsız bir uzman değerlendirmesi yapmaya karar verdiklerini söylemeliyim. Ve hükümet sözleşmesi şaka değildi; projenin toplam maliyeti yaklaşık 20 milyon rubleydi!

İlk veri:
Çalışma için flash medyaya toplam 2.252.414.699 byte hacimli dosyalar alındı. Medyanın kökü iki dizin içeriyordu: FltRec02; SM-AS 2006.

İncelenen bilgisayardaki işletim sistemi: Microsoft Windows XP Professional.
Bir dizindeki dosyaların analizi FltRec02
Dosya boyutu: 472.899 bayt.

Sunulan tüm dosyalar arasında yalnızca bir tanesi önyüklenebilir - FLTREC02.exe başlatılamaz.

Bir dizindeki dosyaların analizi SM-AS 2006
Dövüşçü As II

Dizin boyutu: 2.251.941.800 bayt.

Önyükleme dosyası FIGHTACE.exe

Dosyayı başlattıktan sonra, Şekilde gösterilen pencere ekranda belirir. 2

Halihazırda girilmiş bir güvenlik "anahtarının" varlığı (Şekil 3'teki vurguya bakın), yazılım ürününün "korsan" kökenini gösterir!

Programı "oynat" modunda kurup başlattıktan sonra, kullanıcının resmi üreticinin (Microsoft) sunucusuna kaydolması gerekir.

İçinde " eğitim“Eğitim modu” kullanıcının önünde açılır, bkz. 5 ve 6

Sonuç: Çalışmaya konu olan yazılım, Microsoft Corp. tarafından geliştirilen ve 1999 yılında piyasaya sürülen Fighter Ace II adıyla “Bilgisayar Oyunları - Simülasyonlar” sınıfına aittir.

Yazılım ürününün "korsan" kökeni dikkate alındığında maliyeti yaklaşık 70 ruble.

Microsoft Uçuş Simülatörü 2002

Önyükleme dosyaları FLTSIM98.exe, FS2000.exe, FS2002.exe

Bu dosyalar, “Uçuş Acil Durum Simülasyon Standı” ekran koruyucusunun altında gizlenen “Microsoft Flight Simulator 2002” programını başlatır. ZAO "ХХХХХХ" şirketi kendisini geliştirici olarak tanıtarak telif hakkını ihlal etti!

Yazılım ürününün yasal menşei hakkında herhangi bir bilgi bulamadık!

Önyükleme dosyası FSUNINSTALL.exe

Önyükleme dosyası FSEDIT.exe

Sonuç: İncelenen yazılım, geliştiricisi Microsoft Corp. olan, yayın yılı 2002 olan, adı “Microsoft Flight Simulator 2002” olan “Bilgisayar Oyunları - Simülatörler” sınıfına aittir.

Yazılım ürününün maliyeti, "korsan" kökeni ve açılış ekranını tasarlama maliyeti (Şekil 7) dikkate alındığında yaklaşık 200 ruble'dir.

Toplamda, incelemeye sunulan yazılımın toplam maliyeti yaklaşık 270 ruble.

İnceleme sonucunda Savunma Bakanlığı çalışanlarına soruşturma yürütmek üzere askeri savcılık ve karşı istihbaratla iletişime geçmeleri önerildi!