Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. BPTesting

BPTesting 0.9

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 3.0/5 - ‎1 ‎Undi
Muat turun

Projek Ujian Peserta BPEL Projek BPTesting mencadangkan pendekatan derivatif dan pelaksanaan ujian untuk menyerlahkan kemungkinan ketidakpadanan interoperabiliti dalam orchestrations BPEL. Ujian peserta diamalkan oleh & sebut harga;ad-hoc" suite ujian yang diperolehi oleh teknik Pemeriksaan Model. Penjanaan data untuk ujian dipandu oleh Algoritma Genetik. Pengenalan Pengkomputeran Berorientasikan Perkhidmatan adalah disiplin baru muncul yang menggalakkan dan memudahkan integrasi antara organisasi sistem perisian. Dalam isu-isu kebolehpercayaan konteks sedemikian dianggap sebagai ancaman utama untuk integrasi yang betul. Dalam tetapan ini, orchestration perkhidmatan merujuk kepada komposisi perkhidmatan yang meramalkan kehadiran pusat kawalan dan pelaksanaan (orkestrator) antara banyak perkhidmatan peserta bebas. Bahasa Pelaksanaan Proses Perkhidmatan Web-Perniagaan (BPEL untuk pendek) mempunyai peluang besar untuk menjadi standard utama untuk orchestration Perkhidmatan Web dan dari perspektif ujian membentangkan cabaran penting. Pendekatan kami menggabungkan teknik pemeriksaan model dan algoritma genetik untuk mendapatkan kes ujian yang akan digunakan untuk memeriksa tingkah laku perkhidmatan yang akan memainkan peranan dalam orkestrasi yang diberikan. Khususnya teknik algoritma genetik digunakan untuk menangani penjanaan data dan untuk mengelakkan isu-isu berkaitan letupan negeri. Pelaksanaan Memulakan borang penerangan BPEL dan satu set WSDL yang berkaitan fail rangka kerja kami dapat membina model Java yang sesuai untuk pemeriksa model Java PathFinder dan algoritma genetik untuk penjanaan data. Bentuk pelaksanaan model kita dapat mengasingkan jejak pelaksanaan dan kes ujian yang diperolehi untuk setiap peserta yang terlibat. Pelaksanaannya adalah dalam peringkat awal pembangunan tetapi kita sedang membina infrastruktur sistem yang lengkap. Sekarang hanya subset bahasa BPEL diterjemahkan dan model memerlukan beberapa pengubahsuaian manual untuk dilaksanakan. Kami akan menghargai sebarang komen, cadangan atau penglibatan mengenai projek-projek tersebut. Lihat bahagian & petikan&orang untuk kenalan.

sejarah versi

  • Versi bpt0.9 diposkan pada 2009-10-29
    Beberapa pembaikan dan pengemaskinian
  • Versi bpt0.9 diposkan pada 2009-10-29

Butiran Atur Cara

Atur Cara Berkaitan

  • msrv Percuma

    pelayan kecil untuk melaksanakan GT. M mumps berfungsi melalui rangkaian. ia menggunakan fungsi panggil masuk, disambungkan menggunakan sebutan dan mengesahkan sambungan menggunakan PAM.

  • dcpSolver Percuma

    Penyolakan untuk Masalah Pematangan Data (dcp) untuk pemanasan ujian statik dan beberapa isu bionformatik tertentu. Mengandungi kod, carta, jadual dan data ujian.

  • Snitz2phpbb convertor Percuma

    Penukar Snitz2phpbb2 - Satu set skrip untuk menukar forum Snitz ke dalam Phpbb2.

  • jCricket Percuma

    jCricket adalah pelancar aplikasi Jawa berat ringan (J2SE 1.4+). Fail Jar, sumber boleh dikonfigurasikan menggunakan fail xml. Ia juga mempunyai berat badan yang sangat ringan xml menghuraikan kemudahan. Ia hanya berjalan di

  • TM Simulator Percuma

    Simulator TM adalah Aplikasi Java/JavaFX yang menyediakan antara muka pengguna grafik untuk mengkonfigurasi dan mensimulasikan Mesin Turing. Ini adalah projek pelajar dari universiti teknikal Vienna, untuk menyokong persembah

  • slony-config Percuma

    slony-config adalah alat untuk mengkonfigurasi dan menubuhkan kluster pangkalan data PostgreSQL dengan daemon replikasi Slony-I.

  • Szczepan's Neighbourhood Router Project Percuma

    Set skrip yang direka untuk rangkaian kejiranan menggunakan sambungan seperti DSL asimetric dan penghala linux. Ia menyokong pengurusan pengguna, peraturan tembok api, mengehadkan jalur lebar, menetapkan keutamaan, merawat kh

  • Britrock's hiptop game pack Percuma

    Permainan Hiptop Britrock.Projek ini mengandungi beberapa permainan kecil untuk telefon bimbit hiptop. Permainan ini semua telah ditulis dalam jawa.

  • Oracle Monitor Percuma

    Jika anda ingin memantau pelayan Oracle anda seperti dalam & sebut harga;Pengurus Perusahaan & sebut harga; tetapi tidak begitu rumit, anda boleh menggunakan atur cara ini. Anda boleh menonton penggunaan spu pelayan a

  • Gatlet Percuma

    Gatlet - antara muka portlet untuk toolkit aplikasi grid (GAT) Matlamat projek Gatlet adalah untuk melaksanakan antara muka untuk portlet yang mengakses sumber pengkomputeran Grid melalui Toolkit Aplikasi Grid (GAT).