สินธุเป็นความพยายามที่จะให้คอลเลกชันของโปรแกรมการวิเคราะห์และการเปลี่ยนแปลงการดำเนินการใน Java เพื่อปรับแต่งและปรับตัวเข้ากับโปรแกรมจาวา สินธุมีวัตถุประสงค์เพื่อใช้เป็นร่มสำหรับ:
* คงวิเคราะห์เช่นจุดการวิเคราะห์การวิเคราะห์หลบหนีและวิเคราะห์การพึ่งพาอาศัยกัน,
* การเปลี่ยนแปลงเช่นหั่นโปรแกรมและโปรแกรมความเชี่ยวชาญผ่านการประเมินผลบางส่วนและ
* โมดูลซอฟต์แวร์ใด ๆ ที่ให้การวิเคราะห์ / การแปลงเป็นโปรแกรมเฉพาะเช่นเดอราหรือแพลตฟอร์มเช่นคราส
ในปัจจุบันมี 3 โมดูลที่เป็นส่วนหนึ่งของแม่น้ำสินธุ โมดูลอื่น ๆ ที่คาดว่าจะเพิ่มช่วงเวลา เราให้ภาพรวมของเจตนาของแต่ละโมดูลที่มีอยู่ในปัจจุบัน
สินธุเป็นโมดูลที่บ้านการดำเนินการที่เกี่ยวข้องกับขั้นตอนวิธีและโครงสร้างข้อมูลร่วมกันในการวิเคราะห์และการเปลี่ยนแปลงที่เป็นส่วนหนึ่งของหรือมีการวางแผนที่จะเป็นส่วนหนึ่งของแม่น้ำสินธุ โมดูลนี้มีความหมายที่จะติดต่อกันมากที่สุดและการวิเคราะห์การเปลี่ยนแปลงเพื่อให้เป็นกรอบในการที่การใช้งานที่แตกต่างกันของการวิเคราะห์ / แปลงสามารถรวมกันเพื่อสร้างระบบที่มีความสะดวก ดังนั้นโมดูลนี้ได้รับการปรับปรุงเมื่อการจัดเรียงใหม่ของการวิเคราะห์ / การเปลี่ยนแปลงจะดำเนินการเป็นโมดูลในแม่น้ำสินธุ อย่างไรก็ตามการดำเนินการใหม่ของการวิเคราะห์ / การเปลี่ยนแปลงจะไม่ส่งผลกระทบต่อโมดูลนี้มันจะใช้อินเตอร์เฟซที่มีอยู่
โมดูล StaticAnalyses มีวัตถุประสงค์เพื่อเป็นคอลเลกชันของการวิเคราะห์แบบคงที่เช่นการวิเคราะห์การไหลของวัตถุการวิเคราะห์หลบหนีและการพึ่งพาการวิเคราะห์ การวิเคราะห์ในโมดูลนี้ใช้อินเตอร์เฟซการใช้งานร่วมกันและจากแม่น้ำสินธุและอาจกำหนด / ให้อินเตอร์เฟซใหม่ / การใช้งานที่เฉพาะเจาะจงเพื่อการวิเคราะห์ใหม่ การวิเคราะห์ที่มีอยู่ระบุไว้ด้านล่าง
* การวิเคราะห์การไหลของวัตถุ (OFA) เป็นจุดการวิเคราะห์สำหรับ Java แต่ละเว็บไซต์จัดสรรในระบบการวิเคราะห์จะถือว่าเป็นวัตถุที่เป็นนามธรรมและการไหลผ่านระบบการติดตามเพื่อสรุปรูปแบบที่เป็นไปได้รับเมื่อทวงถามสถานที่เพื่อเปิดใช้งานการก่อสร้างโทรกราฟแม่นยำ ความแม่นยำของการวิเคราะห์จะมีการเปลี่ยนแปลงในแง่ของการไหลอ่อนไหวง่ายสำหรับตัวแปรท้องถิ่นวิธีการและวัตถุอ่อนไหวสำหรับเขตข้อมูลเช่น
วิเคราะห์หนี * คือการดำเนินการขยายการวิเคราะห์การหลบหนีที่เสนอโดยรู ธ สำหรับวัตถุประสงค์ของการรบกวนการตัดแต่งกิ่งและขอบพึ่งพาพร้อม ส่วนขยายที่อยู่ในรูปแบบของการเติมไร้รอยต่อของความเท่าเทียมมูลค่าให้กับการวิเคราะห์เพื่อปรับปรุงการตรวจสอบของเขตข้อมูลที่ขัดแย้งกันอ่าน / เขียนที่เกิดขึ้นในหัวข้อที่แตกต่างกว่าเพียงแค่การใช้ชนิดของความเท่าเทียมกันของการแสดงออกพรรคเข้าถึง การวิเคราะห์ข้อมูลยังใช้วัตถุไหล orthogonally เพื่อปรับปรุงความแม่นยำ
* การวิเคราะห์การพึ่งพิงคือชุดของการพึ่งพาอาศัยการวิเคราะห์: การควบคุมการเข้าใช้การควบคุมทางออกตามข้อมูลที่ระบุตามข้อมูลที่อ้างอิงตามรบกวนพร้อมประสานและความแตกต่างที่จำเป็นโดยการวิเคราะห์ / แปลงหั่นโปรแกรมดังกล่าวและการประเมินผลบางส่วน . การแทรกแซงและการพึ่งพาพร้อมวิเคราะห์ขึ้นอยู่กับการวิเคราะห์การหลบหนีก่อนหน้านี้ขณะที่ข้อมูลที่ใช้อ้างอิงและวิเคราะห์การพึ่งพาอาศัยกันขึ้นอยู่กับการประสานข้อมูลวัตถุและการไหลเวียนของข้อมูลการโทรกราฟคำนวณ วิเคราะห์บางคนมีระดับที่แตกต่างของความแม่นยำที่สามารถแตกต่างกันผ่านทางอินเตอร์เฟซที่กำหนดไว้อย่างดี
* การวิเคราะห์ผลกระทบด้านให้ข้อมูลผลข้างเคียงวิธีการระดับ ผู้ใช้สามารถสอบถามถ้ามีข้อโต้แย้ง / พารามิเตอร์เพื่อเรียกสถานที่ / วิธีการที่จะได้รับผลกระทบทั้งทางตรง (สมาชิกทันที) หรือทางอ้อม (สมาชิกสามารถเข้าถึงได้ซ้ำ) ในทำนองเดียวกันผู้ใช้สามารถให้เส้นทางการเข้าถึงข้อมูลที่ฝังรากข้อโต้แย้ง / พารามิเตอร์เพื่อเรียกสถานที่วิธีการ / และแบบสอบถามถ้าจุดสิ้นสุดของเส้นทางการเข้าถึงข้อมูลได้รับผลกระทบโดยการเรียก / วิธีการ
* Anlaysis การตรวจสอบคือการวิเคราะห์ที่เรียบง่ายที่มีจอแสดงผล / ข้อมูลกราฟล็อคระบบที่กำหนด
* การวิเคราะห์ล็อคปลอดภัยคือการวิเคราะห์ที่อนุรักษ์นิยมพบถ้าล็อค (ตรวจสอบ) จะไม่ถูกจัดขึ้นเรื่อย ๆ ข้อมูลนี้จะถูกใช้ร่วมกับ dependences ชั่วคราว steming สำหรับ Object.wait () และ Object.notify () / Object.notifyAll () ในฐานะที่จะทำในการพึ่งพาอาศัยกันพร้อม
* การวิเคราะห์ Atomicity ให้ข้อมูลเกี่ยวกับ atomicity ในระบบที่กำหนด การดำเนินงานปัจจุบันอาศัยอยู่กับการวิเคราะห์การหลบหนีที่จะคาดการณ์งบถ้าสามารถดำเนินการอะตอม ข้อมูลนี้จะถูกนำมาใช้ในการตรวจสอบภูมิภาคอะตอมของรหัส ข้อมูลนี้จะเป็นประโยชน์ในการใช้งานเช่นการตรวจสอบรูปแบบเพื่อลดขนาดของพื้นที่ของรัฐจึงปรับปรุงประสิทธิภาพการทำงาน
วิเคราะห์บางคนอาจจะมีขนาดใหญ่พอที่จะเป็นโมดูลของตัวเองและการวิเคราะห์ดังกล่าวของพวกเขาจะเป็นเจ้าภาพเป็นโมดูลที่แตกต่างกันในสินธุมากกว่าการบริโภคโดยโมดูลนี้
Java โปรแกรมตัดโมดูลที่มีการดำเนินงานหลักของเครื่องตัดโปรแกรม Java พร้อมกับอะแดปเตอร์ที่ให้ตัดในการใช้งานอื่น ๆ เช่นเดอราและคราส การดำเนินงานที่ถูกออกแบบมาเป็นห้องสมุดมากกว่าที่จะเป็นแอพลิเคชันที่นำมาใช้เพื่ออำนวยความสะดวกของมัน subparts หลักความเป็นอิสระของโปรแกรม; ความต้องการของโปรแกรมประยุกต์แต่ละชิ้นสามารถมีความพอใจโดยการเข้ารหัสถึงการใช้งานของอินเตอร์เฟซการโพสต์และตะขอในการใช้งานเหล่านี้ในรูปแบบที่กำหนดเองตัด
โมดูลนี้จะหนักขึ้นอยู่กับข้อมูลที่ได้รับจากการพึ่งพาการวิเคราะห์และยังเรียกร้องกราฟให้โดยผ่านระบบอินเตอร์ OFA ที่ดีที่กำหนดที่ช่วยให้การใช้งานภายนอกที่จะใช้สำหรับหั่น
การดำเนินงานของเครื่องตัดนี้จะส่งมอบให้กับ Eclipse ที่มี UI ที่ใช้งานง่ายผ่านทางปลั๊กอินเวอร์รี่
คุณสมบัติ: o
ย้อนกลับและการสร้างชิ้นไปข้างหน้า ชิ้นที่สมบูรณ์แบบ (สหภาพย้อนกลับและไปข้างหน้า
ชิ้นเริ่มต้นจากเกณฑ์ชิ้นเดียวกัน) สามารถสร้าง
* การสนับสนุนการ residualize (ตามความเหมาะสม) ชิ้นเป็นไฟล์ระดับปฏิบัติการ
* การสนับสนุนสำหรับหั่นตามบริบทผ่านชิ้นบริบทที่อุดมไปด้วยสเปคตามเกณฑ์
* การสนับสนุนในการ จำกัด ชิ้นเพื่อเป็นส่วนหนึ่งของระบบโดยข้อกำหนดขอบเขต
* การสนับสนุนเป็นอันดับเกณฑ์ชิ้นกำหนดค่าตัดและชิ้น
โมดูลทั้งหมดในการทำโครงงานสินธุใน Jimple, ตัวแทนชวากลางให้โดยเครื่องมือเขม่าจากกลุ่มสีดำในมหาวิทยาลัย McGill โมดูลในโครงการแต่ละคนจะได้สัมผัสเป็นหนึ่งหรือมากกว่าปลั๊กอิน Eclipse ถ้าข้อมูลที่ได้จะเป็นประโยชน์กับผู้ใช้และคล้อยสำหรับการบริโภคของผู้ใช้ผ่านทางอินเตอร์เฟซผู้ใช้แบบกราฟิก
วิศวกรรมซอฟต์แวร์ปรัชญา
แต่ละโมดูลในโครงการนี้จะให้เพียงแค่ฟังก์ชั่นที่จำเป็นผ่านทางอินเตอร์เฟซที่ดีที่กำหนดที่สามารถดำเนินการในการประกอบระบบที่กำหนดเองที่มีนามสกุลที่เหมาะสมที่ตอบสนองความต้องการที่เฉพาะเจาะจง ในฐานะที่เป็นอินเตอร์เฟซจะถูกแยกออกได้อย่างชัดเจนจากการดำเนินการใด ๆ การดำเนินงานภายนอกที่มีอินเตอร์เฟซที่จำเป็นสามารถนำมาใช้ร่วมกับโมดูลจากโครงการนี้
พื้นหลัง
การดำเนินงานของส่วนใหญ่ของการวิเคราะห์ได้แรงหนุนจากความต้องการของเครื่องตัดโปรแกรม Java ที่จำเป็นโดยเดอรา แต่เป็นเครื่องตัดโปรแกรมสามารถนำมาใช้นอกเดอราและการวิเคราะห์สามารถนำมาใช้เพื่อช่วยให้การเปลี่ยนแปลงอื่น ๆ เช่นโปรแกรมความเชี่ยวชาญผ่านการประเมินผลบางส่วนเราย้ายการวิเคราะห์และการแปลงเป็นโครงการใหม่ที่เรียกว่าสินธุ.
ความคิดเห็นที่ไม่พบ