Apakah ada pekerjaan yang dilakukan untuk mengembangkan kalkulus perbedaan dari Turing Machines (atau Bahasa Formal yang lebih sederhana)


8

Saya mencoba mengembangkan beberapa gagasan tentang perbedaan-kalkulus antara Mesin Ideal Turing ideal yang dikandung oleh pengembang (mis. Apa pun yang dimaksudkan oleh pengembang perangkat lunak), sebut saja , dan Mesin yang mewakili perangkat lunak yang sebenarnya dirancang dan diimplementasikan , katakan masing-masing dan .MIMαMβ

Secara khusus, minat saya adalah meneliti keterbatasan (karena Teorema Rice misalnya) dalam deteksi otomatis kesalahan dalam program perangkat lunak antara Bahasa yang diproses oleh mesin yang ideal, dan bahasa yang diproses oleh Mesin yang dikembangkan / diimplementasikan.

Setiap referensi ke pekerjaan sebelumnya yang bekerja dengan beberapa gagasan untuk mengeksplorasi perbedaan antara dua Mesin Turing yang ditentukan, atau pembatasan bahwa Bahasa Formal tingkat bawah akan sangat membantu dan dihargai; karena saya lebih suka mengutip daripada menulis :-).


4
Kedengarannya seperti pengujian berbasis model . Seseorang mengembangkan model sistem yang diinginkan dan kemudian menggunakan ini untuk menghasilkan tes untuk sistem yang sebenarnya.
Dave Clarke

@DaveClarke terima kasih atas referensi silang untuk pengujian berbasis model, seharusnya sudah terpikir oleh saya ada manfaat pasti untuk melihat pengujian berbasis model ... saya ingin tahu apakah saya mulai hanya dengan FSA dan membangun saya mungkin mampu memanfaatkan banyak teori yang ada pada pemodelan kesalahan. (hanya berpikir keras)
Ahmed Masud

1
Saya juga melihat teori penyempurnaan program dan kalkulus penyempurnaan. R.-J. Kembali dan J. von Wright telah mengembangkan teori ini. Dalam dunia pemrograman konkuren, ada konsep perbaikan tindakan yang terkait.
Martin Berger

@ MartinBerger terima kasih atas saran untuk melihat perbaikan tindakan. Penyempurnaan Tindakan Khusus dalam Aljabar Proses dan Masalah Keamanan dsi.unive.it/~srossi/Papers/lopstr07.pdf merupakan penemuan yang menarik!
Ahmed Masud

Pembaruan umum: Laporan teknis "Serangan Pemodelan untuk Keamanan Informasi dan Kelangsungan Hidup" oleh Moore, AP dan Ellison, RJ dan Linger, RC; memberikan dasar awal yang baik. NB Saya akhirnya dapat mengirim jawaban untuk pertanyaan saya sendiri yang berasal dari semua saran yang bagus oleh semua orang .. Apakah itu biasa?
Ahmed Masud

Jawaban:


3

Ternyata, ada beberapa pekerjaan menarik yang dilakukan ke arah ini.

Secara khusus, pada tahun 2003, Michael Howard, Jon Pincus, dan Jeannette M. Wing's Measuring Relative Attack Surface dalam proses Workshop tentang Perkembangan Lanjut dalam Keamanan Perangkat Lunak dan Sistem, Taipei, Desember 2003.

Pekerjaan lebih lanjut oleh penulis yang sama selama bertahun-tahun cukup menarik ... Bagi siapa pun yang menemukan pertanyaan saya yang menarik, Anda dapat memeriksa karya mereka di http://www.cs.cmu.edu/~pratyus/as.html .. Dan jika Anda menemukan mereka menarik, saya harap Anda akan menemukan pekerjaan saya juga menarik :)


2

Saya pikir pengecekan model perangkat lunak, dalam nada Alloy , mungkin terkait dengan apa yang Anda cari. Anda menulis model, dan juga spesifikasi yang harus dipenuhi oleh model, dan memeriksa apakah mereka terkait dengan tepat.


Paduan adalah saran yang sangat menarik :)
Ahmed Masud
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.